Handbook of Satisfiability (2021)
iospress.com·3d·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·1d
🧮SMT Solvers
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·1h·
Discuss: r/rust
🔀SIMD Programming
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
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post
Continuous Autoregressive Language Models
shaochenze.github.io·13h·
Discuss: Hacker News
📱Edge AI
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
Low-Level Hacks
blog.raycursive.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
🧮SMT Solvers
Flag this post
Autark: Rethinking build systems – Integrate, Don't Outsource
blog.annapurna.cc·1d·
Discuss: Hacker News, r/programming
🏗️Build Systems
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·4h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
dev.to·2h·
Discuss: DEV
🎭Program Synthesis
Flag this post
Good abstractions for humans turn out to be good abstractions for LLMs
betweentheprompts.com·2d·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·2d·
Discuss: Hacker News
📦Serde
Flag this post
C++ move semantics from scratch (2022)
cbarrete.com·2d·
Discuss: Lobsters, Hacker News
📏Linear Types
Flag this post
Why is AI Generated Rust slow when compared with Go/C#/Node/JavaScript
srid68.github.io·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Merging Continual Pretraining Models for Domain-Specialized LLMs: A Case Study in Finance
arxiv.org·11h
🌳Tree-sitter
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·1d·
Discuss: Hacker News
🖥️Emulation
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·2d·
Discuss: r/LLM
💬Prompt Engineering
Flag this post