Grist - a modern relational spreadsheet (via JordiGH) — discussion

#databases #visualization

Implementing FSRS in 100 Lines (via bollu) — discussion

#compsci

YJIT 3.4: Even Faster and More Memory-Efficient (via MatheusRich) — discussion

#compilers #ruby

SymPy, a Python library for symbolic mathematics (via kaycebasques) — discussion

#math #python

Satisfiability Modulo Theory - CDCL and Quantifiers (via stepbrobd) — discussion

#plt

The Visible Zorker (via lorddimwit) — discussion

#games #historical #reversing

Ordinary Objects | Prototype high fidelity augmented reality experiences (by boris) — discussion

#design #show

Haiku Activity & Contract Report, December 2024 (ft. Iceweasel) (via rjzak) — discussion

#osdev

RP2350 Hacking Challenge results (via mudge) — discussion

#hardware #security

Taskfinder (by kdwarn) — discussion

#rust

Usable DOS-based live USB media, for distraction-free writing (by lproven) — discussion

#release #retrocomputing #show

Radical CS (via fanf) — discussion

#cryptography #pdf #practices

Data evolution with set-theoretic types (via jparise) — discussion

#elixir #programming

Thunderbolt ports aren’t all the same (via bitfield) — discussion

#hardware #mac

DoomPDF (via gioele) — discussion

#games #pdf

Coding Adventure: Rendering Text (via mikejsavage) — discussion

#graphics #video

Verified post-quantum cryptography on the web (via nadim) — discussion

#cryptography #formalmethods #web

The power of open source in PostgreSQL (via sjamaan) — discussion

#databases #practices

Understanding Memory Management, Part 1: C (via freddyb) — discussion

#security

Why is Git Autocorrect too fast for Formula One drivers? (via op) — discussion

#vcs