Roll Your Own Virtual Ontology with Claude Code
github.com·1d·
Discuss: Hacker News
📐Data Modeling
Automating Boundary Filling in Cubical Type Theories
arxiv.org·23h
λFunctional Programming
SAT Requires Exhaustive Search
link.springer.com·6h·
Discuss: Hacker News
λFunctional Programming
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·23h
☁️Serverless Rust
Prisma ORM Without Rust: Latest Performance Benchmarks
prisma.io·10h·
Discuss: Hacker News
☁️Serverless Rust
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·11h·
Discuss: Lobsters, Hacker News
🔍Static Analysis
Juris.js: The Thousand Masters Architecture That AI Can't Even Figure Out Where to Start
dev.to·7h·
Discuss: DEV
🤖AI agents
N+1 query problem : what it is, why it hurts performance, and how to fix it
namitjain.com·1d·
Discuss: r/programming
🗃️database engineering
LLGuidance: Making Structured Outputs Go Brrr
guidance-ai.github.io·4d·
Discuss: Hacker News
💬Language Servers
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·2h·
Discuss: Hacker News
🏗️AI Infrastructure
The Generativity Pattern in Rust
arhan.sh·9h·
Discuss: Lobsters, Hacker News, r/programming
λFunctional Programming
[P] Implementing Einsum
lyadalachanchu.github.io·1d
λFunctional Programming
We enforce .NET codingstandards to improve productivity
anthonysimmon.com·6h·
Discuss: Hacker News
🔍Static Analysis
Claude Code: A Developer's Guide to AI-Powered Terminal Workflows
vibe.forem.com·11h·
Discuss: DEV
🧩Low-code
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
λFunctional Programming
LLMs won't save you from bad software engineering culture
atelfo.github.io·1d·
Discuss: Hacker News
🧩Low-code
Show HN: Structured Cooperation – A new way of building distributed apps & POC
github.com·1d·
Discuss: Hacker News
☁️Serverless Rust
How we made JSON.stringify more than twice as fast
v8.dev·1d·
Discuss: Lobsters, Hacker News, r/javascript, r/programming, r/webdev
🧩WebAssembly
Pigsty 3.6, the meta-distribution for PostgreSQL
postgresql.org·1d·
Discuss: Hacker News
☁️Serverless Rust
Cybersecurity Instruction Tuned Model
huggingface.co·37m·
Discuss: Hacker News
🔌Embedded Rust