🧠 Lisp Dialects - matmat · Scour

Cost of staycations could rise due to potential ‘holiday tax’

the-independent.com·15m

💻Local first

Arne Slot urges Liverpool to find consistency after victory at Sunderland

the-independent.com·19m

🧪CBOR Fuzzing

Trying to dodge the 2026 tech price hikes? Here’s the gear I'd buy sooner rather than later, plus practical tips for finding the best deals

techradar.com

·19m

🖥️Modern Terminals

[$] Kernel control-flow-integrity support comes to GCC

lwn.net·5d

🐚Shell Combinators

theHigherGeometer

thehighergeometer.wordpress.com·6d

🔲Proof Irrelevance

Rust 1.77 and 1.78: The Changes That Happened to u128/i128

hackernoon.com·4d

🦀Rust Borrowing

C, Golang and Rust for PS2 + N64 Online Super Mario 64 Co-op on Real Hardware

youtube.com·6d·

Discuss: r/golang, r/programming, r/rust

🕹️Retro Gaming

Structured outputs on Amazon Bedrock: Schema-compliant AI responses

aws.amazon.com·5d

📋Document Grammar

Flexible and Economical UTF-8 Decoder

bjoern.hoehrmann.de·4d

🔤Character Encoding

Advantages of Python Programming

dev.to·3d·

Discuss: DEV

📝Concrete Syntax

The Secret Life of Python: The Silent Type (Type Casting)

dev.to·6d·

Discuss: DEV

🔤Type Theory

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

arxiv.org·1d

✅Formal Methods

Impredicativity in Linear Dependent Type Theory

arxiv.org·1d

🏛️Constructive Type Theory

LFortran Compiles Lapack

lfortran.org·5d·

Discuss: Hacker News

🦀Rust Macros

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·4d·

Discuss: Hacker News, r/Compilers

⚡Incremental Computation

Full-circle Test-driven Firmware Development with OpenClaw

blog.adafruit.com·4d·

Discuss: Hacker News

🔍Concolic Testing

(Un)portable defer in C

antonz.org·6d·

Discuss: Lobsters, Hacker News, r/C_Programming

🧠Separation Logic

Lightweight and extensible compatibility layer between dataframe libraries

narwhals-dev.github.io·3d·

Discuss: Hacker News

🌳B-tree Archaeology

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·5d·

Discuss: Hacker News

💻Programming languages

What if writing tests was a joyful experience?

blog.janestreet.com·6d·

Discuss: Hacker News

🧪Property-Based Testing

Loading more...