#MULCIA: 10 funded PhD positions on Automated Reasoning in Vienna, Austria. is.gd/8jWz4P #PhD #CompSci
12.04.2025 09:23 โ ๐ 5 ๐ 2 ๐ฌ 0 ๐ 0
Let me join.
20.01.2025 21:12 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Lean: First steps (21 - Simple induction). ~ Tariq Rashid (@rzeta0@mastodon.social). leanfirststeps.blogspot.com/2024/12/21-i... #ITP #LeanProver #Lean4 #Math
01.01.2025 13:30 โ ๐ 3 ๐ 2 ๐ฌ 0 ๐ 0
Is that a thing still being marketed?
24.11.2024 22:44 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Learn from twitter's mistakes.
12.11.2024 22:07 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Alan Turing laughed.
12.11.2024 19:04 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Git pre-commit hook session incoming?
10.11.2024 22:16 โ ๐ 2 ๐ 0 ๐ฌ 0 ๐ 0
Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Researcher in Computer Science, IRIF, Universitรฉ Paris Citรฉ.
Topics of interest: proof assistants, ITP, ATP, teaching with proof assistants.
sassy and autistic ยท i love compilers and women
hire me for OCaml dev!!
PhD student at Cornell University. Interested in #Robotics, #FormalMethods and #AI
๐งโ๐ป Senior Software Engineer at Bloomberg using C++
๐ฝ Content: https://youtube.com/c/chshersh
All opinions are my own.
Gay and has realized I sometimes can be vulgar.
๐ฎ indie tech artist
๐๏ธ I made Shader Forge & Shapes
๐ working on https://half-edge.xyz
๐ฅ shader sorceress
๐ math dork
๐ฅ rare YouTuber/streamer
๐ก ex-founder of @NeatCorp
my kids:
๐ฅช @toast.acegikmo.com
๐ฅ @salad.acegikmo.com
๐โโฌ @thor.acegikmo.com
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Like wildlife. Write code.
@ArmyOfBruce on oldsite.
Committed to a welcoming, vibrant & ๏ฌourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Coder monkey ๐ - aerospace amateur ๐
Software developer, FP, Scala, Kotlin, Java / JVM, Haskell, Rust; contributor to https://alexn.org, https://monix.io, https://typelevel.org.
๐ Bucharest, Romania
https://alexn.org/about/
TypeScript is JavaScript with types and type-checking.
Compiles down to JavaScript, runs where JavaScript runs.
enjoys music, good food, coding, and talking about them.
learning machines at employer. sbt core dev. he/him
hi, I'm amos! ๐ they/them ๐ซ open-source witch & maker of snappy videos and articles at @bearcove.eu โจ be kind, be curious
articles: https://fasterthanli.me
videos: https://youtube.com/@fasterthanlime
podcast: https://sdr-podcast.com
The job board dedicated to clojure developer jobs, i.e. job ads where companies are looking for developers that know Clojure / Clojurescript.
Find your next job at https://ClojureJobboard.com
Automated bot posting trending Rust repositories on GitHub.
Made by @pbzweihander.dev, but not curated by.
Source code: https://github.com/pbzweihander/rust-trending
A modern runtime for JavaScript and TypeScript
https://deno.com
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
