As a thank you for 1000 views of our talk: Correct Code by Construction by @paulcadman.dev and I. We have decided to write up the talk in a blog post: A taste of Coq betterprogramming.pub/a-taste-of-c... for those who prefer to consume it in a different format.
18.12.2024 09:55 — 👍 3 🔁 0 💬 0 📌 0
All things being equal, Homotopy Type Theory has less equalities between equalities.
Given (x y: a = b) you can prove x = y, because of UIP (Uniqueness of Identity Proofs) which says there is only one unique way to construct a = b.
Homotopy Type Theory does not have UIP, so ...
06.12.2024 15:13 — 👍 1 🔁 0 💬 0 📌 0
I have been fiscally responsible, but now it is time to be physically responsible and get phd.
02.12.2024 15:09 — 👍 1 🔁 0 💬 0 📌 0
#actor, #developer and #technologist. For acting resume, check https://app.spotlight.com/3814-9055-6950
I make music! Extremely detailed music! Immerse yourself into my futuristic soundscapes, I am a boundary-pushing synthwave producer at #NewRetroWave Your own music guide!
Supported by Reveal Sound!
My music
https://hyperfollow.com/Isidor
Founder of Beam it 💜 & Rust Rec 🦀⚙️
I recruit for Elixir, Erlang & Rust
Beamrec.com
Beamrecjobs.co.uk
Need help hiring? Beamrec.com/employers
Help with job hunting? Beamrec.com/employability
🇺🇦 Ukraine will stand!
Java dev from Ukraine
https://github.com/ahndmal
Chief Architect at Storj Labs (previously CTO, previously VP of Eng). He/him. 🏳️🌈
Also currently at m.olio.lol/@jt and threads.net/@jtolio. For the follower bridge - I used to be twitter.com/jtolds.
#climateemergency 🌎🔥
Indie Game Developer🎮. Developing GENO.
https://ko-fi.com/genogame.
Information is Power ⚡ https://esp.info
Game Dev - Streamer 💛 Go Make Games - https://develop.games 💜 Ferret Rescue - https://ferrets.live 💛 Business: Pirate@sidequestmedia.com
Product designer, building deck.gallery
→ senyil.com
Bearded Sr. Developer 🥑 for @AWScloud
Spreads DevOps ❤️
If there isn't a terrible dad joke, was it even a conversation?
Opinions mine, get's me into trouble.
Yes, that ~is~ was my roof.
Red wine, books, Discord engineer, San Francisco
Co-founder of ESP EskomSePush ⚡ @esp.info ⚡ https://esp.info
Programming Languages Postdoc @ UIUC
Trans girl 🏳️⚧️
still here~ despite it all
https://kirancodes.me
Functional roboticist. Robots, Haskell, Rust, nix, emacs, FPV… and the rest of life, too.
Actor/model/choreographer working on the Actor Model and Choreographic Programming
> Postdoctoral researcher at SDU
> Occasional cohost of Type Theory Forall
> dplyukhin.github.io
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
Partner and Haskell Consultant at Well-Typed LLP. Board member of the Haskell Foundation. Co-host of the Haskell Interlude and the Haskell Unfolder.
Posts mostly about Haskell, and occasionally about books, video games, and other things that interest me.
Creator of Elixir. Working at Dashbit and Livebook.
