Feeds to Scour
SubscribedAll
Scoured 7372 posts in 8.4 ms
[ANN] mnet, a new TCP/IP stack for unikernels in OCaml
discuss.ocaml.org·1d·
Discuss: Hacker News
📦Unikernel Systems
Working on Pharo Smalltalk: BPatterns: Rewrite Engine with Smalltalk Style
dionisiydk.blogspot.com·11h·
Discuss: Hacker News, r/programming
🔧ppx
Jonas Hietala: Exploring the Gleam FFI
jonashietala.se·17h·
Discuss: Hacker News
🔧ppx
Efficient Constructions of Finite-State Independent Normal Pairs
arxiv.org·16h
🔍Type Inference
Structured Prompt Language: Declarative Context Management for LLMs
arxiv.org·1d
🔤DSLs
The proposal for generic methods for Go has been officially accepted
reddit.com·14h·
Discuss: r/golang
🎯GADT
DevNamedZed/simplesteps: TypeScript-to-ASL compiler for AWS Step Functions. Define workflows as typed async functions, compile to Amazon States Language with full data flow inference, and deploy with CDK or the CLI. Supports both JSONata (default) and JSONPath query languages.
github.com·1d·
Discuss: Hacker News
🔧ppx
Apache Iggy's migration journey to thread-per-core architecture powered by io_uring
iggy.apache.org·11h·
Discuss: Hacker News, r/rust
🔧Unikernel Development
Brave new C#
pvs-studio.com·21h·
Discuss: r/programming
⚙️Compiler Design
Some notes on unreliability of LLM APIs
andrewpwheeler.com·3h·
Discuss: Hacker News
🧩Parser Combinators
Show HN: Librarian – Cut token costs by up to 85% for LangGraph and OpenClaw
uselibrarian.dev·1d·
Discuss: Hacker News
📦OPAM
μpack: Faster & more flexible integer compression
blog.cf8.gg·19h·
Discuss: r/programming, r/rust
🐫Embedded OCaml
Hacklog: Diffing and Comparing Guix Derivations Using Breadth-first Search & Jaccard
me.literatelisp.eu·3d·
Discuss: Lobsters
📝Nix Language
a web-standards back end framework with req context via ALS
minimajs.com·9h·
Discuss: Hacker News
🔌APIs
I Built an Interactive System Verilog Tutorial
thomasnormal.github.io·1d·
Discuss: r/programming
⚙️PL Implementation
Reverse engineering the KakaoTalk app so I can build a Beeper Bridge
jusung.dev·2d·
Discuss: Hacker News
🔤Kleene Algebra
C3 0.7.10: constdef Takes Shape
c3-lang.org·21h·
Discuss: Hacker News
🐫OCaml
Steel Bank Common Lisp
sbcl.org·3d·
Discuss: Hacker News
⚙️Compiler Design
Show HN: A live Python REPL with an agentic LLM that edits and evaluates code
news.ycombinator.com·2d·
Discuss: Hacker News
🔧ppx
Formal methods for the unsafe side of the Force
antithesis.com·1d·
Discuss: Hacker News
🔍Formal Verification

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