Thoughts on "Static Retrival Revisited"
curiouscoding.nl·1d
#️⃣Hash Tables
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·18h·
Discuss: r/programming
λFunctional Programming
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·3d·
Discuss: Hacker News
📐Type Theory
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·3h
💬Prompt Engineering
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Mergeable Trees
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·2d·
Discuss: Hacker News
🔗Dependent Types
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·4h·
Discuss: Lobsters, Hacker News
🔨Compilers
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·1d·
Discuss: Hacker News
🏭Code Generation
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·1d·
Discuss: DEV
📱Edge AI
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·14h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Day 2 of building Secrin
dev.to·13h·
Discuss: DEV
🕸️Knowledge Graphs
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·1h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·19h
λFunctional Programming
Flag this post
Lowering in Reverse
buttondown.com·1d·
Discuss: Hacker News
🔥DataFusion
Flag this post
100 Techniques for Writing Readable Rust Code
reddit.com·12h·
Discuss: r/rust
🦀Rust Macros
Flag this post
Building a P2P Rental Marketplace - Full-Stack Architecture with Flutter & Express.js
revolvo.tech·1h·
Discuss: DEV
🌐Axum
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🧮SMT Solvers
Flag this post