@rh0main.bsky.social
Security engineer working on Android, reverse-engineering & obfuscation. https://www.romainthomas.fr/ - https://obfuscator.re/ - https://lief.re
@minikanren.bsky.social
A little constraint logic programming language and associated community of researchers!
@karencampe.bsky.social
Math teacher using technology for understanding • Connecticut USA Reflections & Tangents Blog: karendcampe.wordpress.com
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL) source: export.arxiv.org/rss/cs.PL maintainer: @tmaehara.bsky.social
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c. rntz.net 🐘 @[email protected] 🐦 @arntzenius Attempting to use bsky more now that people are showing up.
@n1tx.bsky.social
Humanitarian. World traveler. Ham radio enthusiast aka KL2R. Alaskan. Former Cold Warrior, RF systems engineer. Proud to serve as a NOAA leader for two decades. Secular humanist. Committed to making the world around me a better place.
@tonofcrates.bsky.social
@duckdb.org
DuckDB is an analytical in-process SQL database management system. "DuckDB" and the DuckDB logo are registered trademarks of the DuckDB Foundation.
@physicssteve.bsky.social
EPSRC Open Fellow in quantum condensed matter theory at the University of Edinburgh. Former Research Scientist at IBM Research, Marie Sklodowska-Curie Fellow at FU Berlin, and postdocs at Collège de France, the Ecole Polytechnique and CEA Saclay. He/him.
@bobkonf.bsky.social
Our website: https://bobkonf.de Organised by @activegroupgmbh.bsky.social Also at @[email protected].
@mcy.gay
a whimsicott crawled into your compiler and got stuck call me miguel. yes! i am a furry artist! more arts: art.mcyoung.xyz writings: mcyoung.xyz comm info: mcyoung.xyz/comms 🔞: @slop.mcy.gay 📍Seattle, WA
@fabinou.bsky.social
@matt.godbolt.org
Sometime verb, real person, lover of 8-bit computers, husband & father, trying to be a kind person. #blacklivesmatter; trans rights are human rights. he/him
@aapthq.bsky.social
American Association of Physics Teachers — Strengthening Physics Education, Supporting Physics Teachers #Physics #ITeachPhysics #PhysicsTeachers #AAPTSM25 aapt.org
@hookean.bsky.social
Physics teacher PhD in positrons long ago! #ITeachPhysics https://www.youtube.com/channel/UC4y8XUOkvJX7k0ixJM3HIEg
@colinmacpherson.bsky.social
Head full of rock. 🧪⚒️🎸 Geochemist @durhamearthsci.bsky.social scot, hibee, husband, dad, reader, dog walker, typographical errer
@simonpoliakoff.bsky.social
Physics Teacher who loves demonstrations and practicals. Makes YouTube videos and free creative commons lesson resources. Website: www.teachphysics.org YouTube: www.youtube.com/@SimonPoliakoff
@optica-opn.org
Optics & Photonics News is the magazine of Optica (formerly OSA). optica-opn.org
@ifanghughes.bsky.social
Physicist interested in: Quantum mechanics; atoms, lasers and big magnets; data analysis. Author of Opticsf2f and Measurements and their Uncertainties. Cymro oddi cartre.
@microkerneldude.bsky.social
Physicist by training, computer engineer by passion Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation FACM FIEEE FTSE FRSN ML
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@simonjthompson.bsky.social
Functional programmer, writer and teacher at Kent and Eötvös Loránd Universities. Designer of the Marlowe smart contract language.
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@xorpse.ghost.sh
Program Analysis / Reverse Engineering Chief Scientist @ BINARLY Website: https://xv.ax
@pqnelson.bsky.social
Mathematician, software engineer. Obsessed with everything about proof assistants. AMS Subject Class.: 68V15, 68V20, 20Exx.
@patrickshafto.bsky.social
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll. Math! Machine learning! Cognitive Science!
@pypyproject.bsky.social
The developers of the PyPy project: a fast, compliant, open source Python interpreter. https://pypy.org/ https://github.com/pypy/pypy
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@astrokatie.com
Cosmologist, pilot, author, connoisseur of cosmic catastrophes. TEDFellow, CIFAR Azrieli Global Scholar. Domain verified through my personal astrokatie.com website. She/her. Dr. Personal account; not speaking for employer or anyone else.
@cfbolz.bsky.social
PyPy/RPython contributor. Half time teaching at Uni Düsseldorf. Works on dynamic language implementations. Love street art and art in public spaces, hiking, reading. they/them
@jryans.bsky.social
Exploring how to make programs more malleable and computing more humane | My communities: Malleable Systems, Matrix, Mozilla | He/him
@ergodicbees.bsky.social
Studying maths at the university of my house, and occasionally writing about it at https://ergodicbees.wordpress.com/
@mm-jj-nn.bsky.social
Comp. sci. prof. @ American University, Washington DC. AI researcher with miscellaneous other interests. https://www.kmjn.org/
@afreeparticle.com
High School Physics Teacher. Desmos Fellow. He/him. #iTeachPhysics #EduSky www.afreeparticle.com
@jelv.is
I like programming languages. A lot. Especially Haskell. Tools, types and functions.
@uzh-topomat.bsky.social
Research group for "Theory of Topological Matter", based at the Physics Institute of the University of Zürich.
@prologinfo.bsky.social
News, info, links, gossip, anything about Prolog, Constraint/Logic programming, Answer Set Programming, and beyond! A @llaisdy project.
@notjfmc.bsky.social
I work on http://github.com/ciao-lang/ciao, a modern Prolog system. You can also find me on http://mastodon.social/@jfmc IMDEA Software Institute & UPM