Programming

Satisfiability Modulo Theory - CDCL and Quantifiers (leni.sh)
2025-1-15

The Visible Zorker (eblong.com)
2025-1-15

Ordinary Objects | Prototype high fidelity augmented reality experiences (ordinary.space)
2025-1-15

Haiku Activity & Contract Report, December 2024 (ft. Iceweasel) (www.haiku-os.org)
2025-1-15

RP2350 Hacking Challenge results (www.raspberrypi.com)
2025-1-15

SVAR UI for Svelte 5: Open-Source DataGrid, Gantt, File Manager (svar.dev)
2025-1-15

Taskfinder (crates.io)
2025-1-14

Usable DOS-based live USB media, for distraction-free writing (github.com)
2025-1-14

Radical CS (csrc.nist.gov)
2025-1-14

Data evolution with set-theoretic types (dashbit.co)
2025-1-14

Thunderbolt ports aren't all the same (eclecticlight.co)
2025-1-14

DoomPDF (doompdf.pages.dev)
2025-1-14

Coding Adventure: Rendering Text (youtube.com)
2025-1-14

Verified post-quantum cryptography on the web (pq.cryspen.com)
2025-1-14 Quantum

The power of open source in PostgreSQL (www.cybertec-postgresql.com)
2025-1-14 PostgreSQL

Understanding Memory Management, Part 1: C (educatedguesswork.org)
2025-1-14

Why is Git Autocorrect too fast for Formula One drivers? (blog.gitbutler.com)
2025-1-14 Git

ODB C++ ORM version 2.5.0 released (codesynthesis.com)
2025-1-14 C++

The Campsite codebase is now open source (github.com)
2025-1-14

Using OpenAI for Data Analysis and Visualization (makemychance.com)
2025-1-14

What Every Hacker Should Know About TLB Invalidation (grsecurity.net)
2025-1-14 Hacker

What are you doing this week? (lobste.rs)
2025-1-14

API with NestJS #183. Distance and radius in PostgreSQL with Drizzle ORM (wanago.io)
2025-1-14 PostgreSQL API

Fluid Simulation Pendant (mitxela.com)
2025-1-14

Permalink to CISA unveils new recommendations for developing secure software (sdtimes.com)
2025-1-14

Permalink to Code Intelligence launches AI test agent Spark (sdtimes.com)
2025-1-14 Spark AI Intelligence

The missing tier for query compilers (www.scattered-thoughts.net)
2025-1-14

Split Out Unrelated Changes (joshuakgoldberg.com)
2025-1-14

Subtitle Generator Using Whisper (kracekumar.com)
2025-1-14

Tokyo museum offers visitors 'flashback' to defunct technology (www.reuters.com)
2025-1-14 Tokyo

Previous Page Next Page