The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·34m
💬Prompt Engineering
Flag this post
DecompSR: A dataset for decomposed analyses of compositional multihop spatial reasoning
arxiv.org·8h
🌳Tree-sitter
Flag this post
My dumb prompts that worked better
blog.nilenso.com·1d
💬Prompt Engineering
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🛡️Error Handling
Flag this post
Porting Lean to the ESP32-C3 RISC-V Microcontroller
kuruczgy.com·12h·
⚙️Systems Programming
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·18h·
Discuss: Hacker News
FastAPI
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·16h·
Discuss: r/programming
λFunctional Programming
Flag this post
Pain Points of OCaml
quamserena.com·1d·
🦀Rust Macros
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📐TLA+
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·3d·
Discuss: Hacker News
🌳Tree-sitter
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Mergeable Trees
Flag this post
BoxLambda OS Software Architecture, First Draft
epsilon537.github.io·9h·
Discuss: Hacker News
💻Operating Systems
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·3h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
A C example with objects and a arena for allocations, what do you think?
reddit.com·1h·
🦀Rust
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
🔧Data Engineering
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·2d·
Discuss: DEV
λFunctional Programming
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🧮SMT Solvers
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
⚙️Systems Programming
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·10h·
Discuss: Hacker News
📱Edge AI
Flag this post