Handbook of Satisfiability (2021)
🧩SAT Solvers
Flag this post
Becoming a Core Developer
stefaniemolin.com·1d
⚙️TOML Parsers
Flag this post
Quietly intelligent app features with OpenAI Agent Builder
ashryan.io·1h
🎭Program Synthesis
Flag this post
Smaller Surfaces
🥾Bootstrapping Strategies
Flag this post
Quoting Steve Francia
simonwillison.net·6h
🔬programming language theory
Flag this post
We open-sourced a minimal NASDAQ ITCH parser in Rust. Built for clarity, not just speed. Here's how we pushed it to 107M msg/sec.
📋JSON Parsing
Flag this post
Hyper Hawkes Processes: Interpretable Models of Marked Temporal Point Processes
arxiv.org·3h
🔍Type Inference
Flag this post
I didn't learn a low level language in school, where should I start now?
🌈Gradual Languages
Flag this post
DPO-F+: Aligning Code Repair Feedback with Developers' Preferences
arxiv.org·3h
🩺Compiler Diagnostics
Flag this post
🚀 TOON (Token-Oriented Object Notation) — The Smarter, Lighter JSON for LLMs
📋JSON Parsing
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🔄Nanopass
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·3h
🔮Metacircular Evaluators
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·1d
🪜Recursive Descent
Flag this post
Panther: A Cost-Effective Privacy-Preserving Framework for GNN Training and Inference Services in Cloud Environments
arxiv.org·3h
🌱Forth Kernels
Flag this post
ZoFia: Zero-Shot Fake News Detection with Entity-Guided Retrieval and Multi-LLM Interaction
arxiv.org·3h
⚖️Weighted Automata
Flag this post
I built a small ARM-like virtual system with a custom RTOS and C/C++ toolchain (BEEP-8)
🤖Embedded Go
Flag this post
Loading...Loading more...