Feeds to Scour
SubscribedAll
Scoured 8105 posts in 62.1 ms
Elliptic Multiple Polylogarithms with Arbitrary Arguments in \textsc{GiNaC}
arxiv.org·2d
🐫OCaml
Focus Session: LLM4PQC -- An Agentic Framework for Accurate and Efficient Synthesis of PQC Cores
arxiv.org·2d
🔧ppx
Stay in your human loop
lesswrong.com·18h
📵Digital Minimalism
Technical "whitepaper" for afl-fuzz
lcamtuf.coredump.cx·1d·
Discuss: Lobsters
🔧Unikernel Development
(Re)Discovering Natural Laws
lesswrong.com·18h
🎯Hindley-Milner
Scripting on the JVM with Java, Scala, and Kotlin
mill-build.org·1d·
Discuss: Lobsters, Hacker News, r/programming
⚙️PL Implementation
How I Learned to Stop Worrying and Love OpenClaw
jpreagan.com·9h·
Discuss: Hacker News
🛡️macOS Security
A stack-buffer-overflow exercise with AddressSanitizer and PostgreSQL
enterprisedb.com·14h·
Discuss: Lobsters, Hacker News
🎯GADT
We have outgrown the Process model
sidhion.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Formal Methods Practice and Theory
adacore.com·3d·
Discuss: Hacker News
🔍Formal Verification
Well-Typed.Com: hs-bindgen 0.1-alpha release
well-typed.com·3d·
Discuss: Lobsters, Hacker News
📦Opam
Show HN: Latent-k – Persistent dependency map to reduce AI coding token usage
latentk.org·2d·
Discuss: Hacker News
📦OPAM
Lessons from Zig
vinniefalco.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Introducing Context Repositories: Git-based memory for Coding Agents
letta.com·16h·
Discuss: Hacker News
🔲Cellular Automata
Realworld benchmark between Codex 5.3 and Opus 4.6
swe-agi.com·16h·
Discuss: Hacker News
🔧ppx
DFlash: Block Diffusion for Flash Speculative Decoding
z-lab.ai·3d·
Discuss: Hacker News
🐫Embedded OCaml
Building DamN64: LLM-Assisted N64 Development
vieux.fr·1d·
Discuss: Hacker News
💻QEMU
Scaleway & OpenClaw: The agility of the Mac mini M4 in service of your AI agents
scaleway.com·6h·
Discuss: Hacker News
💻Apple Virtualization
Part 2 - AI Chat Evaluation of the Formal Language in He Xin's PEPC System
news.ycombinator.com·2d·
Discuss: Hacker News
🧠Automated Reasoning
20 Claude Code agents, one terminal: a tmux + AppleScript setup
pkarnal.com·1d·
Discuss: Hacker News
💻CLI Tools
Sign up or log in to see more results
Sign UpLogin

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help