Formal Logic and PL Theory.
Post stuff about algorithm and fancy techniques.
Favourite langs: Racket, Haskell and Rust.
Currently focus on substructural logics.
@hideokojima.bsky.kojimaproductions.jp
ゲームクリエイター：僕の体の70%は映画でできている Game Creator: 70% of my body is made of movies.
@nixos-org.bsky.social
The mission of the foundation is to support the Nix ecosystem's infrastructure, and projects.
@24hoursukraine.bsky.social
Hello I’m Ram from Lviv, Ukraine. Fast, factual and reliable information about the war! Do you want to help? You can follow, repost and donate! SUPPORT ME! ☕️ buymeacoffee.com/24HoursUkraine
@youranoncentral.bsky.social
#Anonymous: Actions Not Nouns. All that exists is interaction. #BindingChaos #3E https://spookyconnections.com/
@blog.rust-lang.org.web.brid.gy
Empowering everyone to build reliable and efficient software. [bridged from https://blog.rust-lang.org/ on the web: https://fed.brid.gy/web/blog.rust-lang.org ]
@foundation.rust-lang.org.web.brid.gy
The Rust Foundation is an independent non-profit organization to steward the Rust programming language and ecosystem, with a unique focus […] [bridged from https://foundation.rust-lang.org/ on the web: https://fed.brid.gy/web/foundation.rust-lang.org ]
@jalonso.bsky.social
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain
@markhamillofficial.bsky.social
Believe in yourself! Work hard, never give up & anything's possible! OR: Kick back, relax & aim low: You'll never be disappointed...😜 I IGNORE ALL DMs!
@tbij.bsky.social
The UK’s largest not-for-profit newsroom. Exposing injustice and sparking change 💪
@cut-elimination.bsky.social
論理学、特に線形論理を研究しております。副業でアニメ研究。https://researchmap.jp/cut_elimination
@shouldhavecat.bsky.social
I want a 🐈❤!!! Starter Packs: https://bsky.app/starter-pack/did:plc:fl5ztptq45qb2qbyo2wkojjk/3le2frmto5t26
@catsofyore.bsky.social
Hi! I’m Molly Hodgdon. I live in Vermont with my beautiful FIV+ cats Fergus and Francie. Banner photo by W. Eugene Smith. Profile pic is a postcard from my collection mailed 1908. Not a bot. Not selling anything. Just a keeper of forgotten cats.
@culturecrave.co
The latest pop culture news — mostly movies, TV, video games, and social media 🎥🎮 Join our discord discord.gg/culturecrave | subscribe to our newsletter culturecrave.co 📩 | email info@culturecrave.co | Founded by @zachwilliamson.bsky.social
@racket-lang.org
Racket is... * A language-oriented programming project * a family of programming languages * a native code compiler and other tools, * a diverse community 😁 Join us at https://racket.discourse.group/ https://racket-lang.org/
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app