Explore CleverLibre Social

PhD in physics, now scientific illustrator 👩🏻‍🔬🎨 Passionate about traveling and outdoors 🌎🏕️

Twitter @laura_canil

Intermediate school teacher of Design and Innovation Technology in New Zealand.

I am pretty curious about how to use automated reasoning systems to help discover new things, use and verify old ideas, and generally make my life easier.

Current events I try to keep up on
- Math Logic community (The Journal of Symbolic Logic)
- Statistics community (JASML, AoS)
- Algebra community (JoA, JoAG, JoPaAA, SIGSAM)
- Formal Methods community (CAV/TACAS)

Passing the learning curve up to current events
- Abstract Algebra (Dummit, Foote)
- Commutative Algebra (Eisenbud)
- Algebraic Geometry (Hartshorne)
- Mathematical Logic (Mendelson)
- Model Theory (Marker)

I like to know stuff

#coding
非 orvice 的主要 fedi 账号。

Simons postdoctoral fellow at the University of California San Diego. Theoretical physicist by training, but working at the interface of microbial physiology and ecology.
@leopaccianimori.bsky.social

postdoc at Rainer Friedrich lab, co-parenting 3 little humans

8Bit Retro ReFix
www.youtube.com/c/8BitRetroReFix

A YouTube channel in hope it will help other's to keep the retro scene alive ...

The channel will mainly be things from the 8bit era . Although the repair's i do are from the 80s to present day ..

Main focus will be on Commodore & Spectrum (Oww did I just put them together lol ) .

Hope you all enjoy the videos

See you all soon

Modern alchemist turning phone battery charge into procrastination, father to REDACTED and REDACTED, Games & Software Developer, Narrative & Gameplay Designer. Overall tinkerer of anything with logic to it but I'm also a fan of Chaos. Currently pursuing an obsession with molecular biology, learning systems, long-term knowledge storage and retrieval and lots others.

Jo Middleton. #parasites & #planetaryhealth. Research Fellow at Brighton and Sussex Medical School (Primary Care & Public Health; NIHR Research Unit on #NTDs) + University of Sussex Life Sciences (EBE). Ongoing work in Papua New Guinea, Ethiopia, and the British Isles.

#PHP and #Ruby developer

Writer, former software developer, tech writer, aerospace engineer (Apollo, Viking Mars lander). Atheist and anti-theist; I try not to go on too much about that and frequetnly fail. Mostly fairly leftwing except on certain subjects; ditto about going on too much about it. Come to think of it, that bit about going on too much about stuff applies to all of the above.

#Atheist #Atheism #Democrat #ScienceFiction #Writing

female, marine geology students, learning German, support LGBTQ.

CRM databases, Microsoft tech (AD, DNS, Exchange, SQL, etc), Physics, Logic, Blues Music, Rugby Union, Political junkie, or just weird. Studying Master of Analytics.
#ActuallyAutistic #ASD2 #ADHD

stats & programming | meta-analysis & heterogeneity in (wild) Psychology

he/him

Physics geek, dev nerd, science fan. Esperantisto. Secularism, blasphemy & sarcasm. Evidence or STFU. Plant hater. Caveat lector. Enthusiastic cat and dog dad. RT≠︎👍
Slowly moving widdershins into #InfoSec

Computer Science student and habitué of knowledge in politics, technology, physics, and the cosmos. 🇵🇸

Teacher, trainer, developer.
Interested in books, tech, pets, being less wrong, and having my mind blown every now and then.

I'm also @Sundar where I'll be posting Julia tips, resources, etc.

#programming #education #training #learning #julialang #julia
#science
#webfiction
#meditation
#fedi22

He/Him.
Application Support Developer
[Avid reader, Sci-Fi Obsessed, FOSS Fan, Mountain Biker, Linux User, Online Hermit]