Handbook of Satisfiability (2021)
iospress.com·4d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
A Claude Code Command for Hypothesis
hypothesis.works·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·1d·
Discuss: Hacker News
🔐Zero-Knowledge Proofs
Flag this post
Amelie 0.7.0 is out with support of User-Defined Functions
github.com·2d·
Discuss: Hacker News
🦀Rust
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.org·22h·
Discuss: Lobsters, Hacker News, Hacker News
🦀Rust
Flag this post
From a Curious Outsider to a GreptimeDB Advocator Journey into Contribution
greptime.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
OpenAI RAG Starter Kit with File Search and Chat UI
github.com·4h·
Discuss: Hacker News
🦀Rust
Flag this post
AI Agent Orchestration Frameworks
blog.n8n.io·1d·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
CHIP8 – writing emulator, assembler, example game and VHDL hardware impl
blog.dominikrudnik.pl·2d·
Discuss: Hacker News
📡Side-Channel Attacks
Flag this post
Scala vs. F#
alexn.org·3d·
Discuss: Hacker News
🦀Rust
Flag this post
Doo: A Simple, Fast Programming Language Built on Rust and LLVM
news.ycombinator.com·3d·
Discuss: Hacker News
🦀Rust
Flag this post
Systems and Protocol Aspects for Circumstellar Environments Research Group
irtf.org·8h·
Discuss: Hacker News
🔒Cryptography
Flag this post
A Deep Dive into the Morris Worm
rapid7.com·7h·
Discuss: Hacker News
🐛Vulnerability Research
Flag this post
The Learning Loop and LLMs
martinfowler.com·1d·
Discuss: Hacker News, Hacker News, r/programming
🐛Vulnerability Research
Flag this post
Readable Code Is Unreadable
blog.wilsonb.com·2d·
Discuss: Hacker News
🦀Rust
Flag this post
A Guide to My Organizational Workflow
cachestocaches.com·13h·
Discuss: Hacker News
🦀Rust
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Comparing Data Serialization Formats: Code, Size, and Performance
qt.io·2d·
Discuss: Hacker News
🔒Cryptography
Flag this post
Building Browser-Native Presentations with Scittle
clojurecivitas.github.io·2d·
Discuss: Hacker News
🦀Rust
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·2d·
Discuss: Hacker News, Hacker News
🦀Rust
Flag this post