#16 Pronic, oblong, rectangular numbers.... Etymology and History of Math Terms
pballew.blogspot.com·14h·
λLambda Encodings
PoC for Critical Lua Engine Vulnerabilities in Redis 7.4.5
redrays.io·27m·
Discuss: Hacker News
🧪CBOR Fuzzing
Innovative Recommendation Applications Using Two Tower Embeddings at Uber
uber.com·5h·
Discuss: Hacker News
🎛️Feed Filtering
PHP's New URI Extension
thephp.foundation·1d·
Discuss: Hacker News
🌐Web Standards
A gentle introduction to Generative AI: Historical perspective
medium.com·19h·
Discuss: Hacker News
🧠Learned Codecs
Protobuf: Rust Generated Code Guide
protobuf.dev·4d
🦀Rust Macros
Picking an AI Code Reviewer
markmarkoh.com·1d·
Discuss: Hacker News
📏Code Metrics
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
AI Fixed Coding, but Not the Bottleneck: Why Lisp, FP Still Matters
github.com·3d·
🔗Lisp
A new breed of analyzers
daniel.haxx.se·1d·
🐛Fuzzing
Ship Broken Things
matmul.net·2d·
Discuss: Hacker News
🔗Topological Sorting
Python 3.14 Unleashed: Revolutionary Features That Will Transform Your Code (Part 1)
dev.to·3d·
Discuss: DEV
💧Liquid Types
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·1d
Effect Handlers
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·1d·
Discuss: DEV
Incremental Computation
How to store ordered information in a Relational Database (2015)
softwareengineering.stackexchange.com·2d·
🧮Algebraic Datatypes
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Completing urgent fixes anywhere with GitHub Copilot coding agent and mobile
github.blog·3d
📜Proof Carrying Code
Built a “code-first + visual” ETL/ELT Pipeline in Go — feedback wanted from data folks
reddit.com·3h·
Discuss: r/golang
💧Liquidhaskell
Static Bundle Object: Modernizing Static Linking
medium.com·4d·
🔗Static Linking
Vibing a Non-Trivial Ghostty Feature
mitchellh.com·20h·
🔌Interface Evolution