🗂️ Data Structures - nioobers · Scour

Saying goodbye to asm.js ⚙️Compilers

spidermonkey.dev·12h·Lobsters, Hacker News

C++26: More function wrappers λPL Theory

sandordargo.com·1d·Lobsters, Hacker News, r/cpp

tracefinity/tracefinity: Generate custom gridfinity bins with AI, from photos of your tools 📐Computational Geometry

Thelema 🔤Typography

en.wikipedia.org·5h

Using algebra and LLMs to verify a flight-plan bug fix in Lean 📊Algorithms

jameshaydon.github.io·1d·Lobsters, Hacker News, r/programming

Triage [by Dira Sudis, The Pitt Gen] 📐Type Systems

archiveofourown.org·1h

End of the semester λPL Theory

mtendekuyokwa.github.io·1d·Lobsters, Hacker News

Code-Guided Reasoning for Small Language Models: Evaluating Executable MCQA Scaffolds 📐Type Systems

Misconceptions about the UNIX Philosophy (2024) 🐧Linux

posixcafe.org·2d·Lobsters, Hacker News

Introducing Incremental ⚙️Compilers

blog.janestreet.com·3d·Lobsters

in which more paths are charted towards code independence 🕸️IndieWeb

technomancy.us·1d

Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp λPL Theory

hyperpolyglot.org·3d·Lobsters, Hacker News

Calvin - Determinism, Distributed ACID transactions (2020) 📊Algorithms

mydistributed.systems·2d·Lobsters

How we used Quint to find over 10 bugs in SQLite while hardening Turso 📐Type Systems

turso.tech·1d·Lobsters, Hacker News

Cutting the Gordian Hairball 🌿Digital Gardens

buttondown.com·3d·Lobsters

When Web Apps Heal Themselves: A MAPE-K Based Approach to Fault Tolerance and Adaptive Recovery 📐Type Systems

Practical Reverse Engineering 🔍Reverse Engineering

datanoisetv.github.io·1d

Everything in C is undefined behavior 🔧Systems Programming

blog.habets.se·2d·Lobsters, Hacker News

Prolog Projects Tips 💻CLI Tools

occasionallycogent.com·4d·Lobsters

Pythagorean Addition 📐Mathematics

entropicthoughts.com·2d·Hacker News

Log in to enable infinite scrolling