Feeds to Scour
SubscribedAll
Scoured 2678 posts in 64.0 ms
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
✅Formal Verification
SyntagmaNull/synthetic-phenomenology: A foundational framework for AI consciousness, structural psychodynamics, and transparency-based ethics. Co-authored by Human and AI.
github.com·16h·
Discuss: Hacker News
⚙Complex ststems
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
🌐Distributed Systems
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🧩Complexity Theory
Continual learning and the post monolith AI era
baseten.co·17h·
Discuss: Hacker News
📊Streaming ML
The control layer for AI
blog.dottxt.ai·16h·
Discuss: Hacker News
📊Streaming ML
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
✅Formal Verification
Compile and Run Your First Program
emojicode.org·1d·
Discuss: Hacker News
✅Formal Verification
stdlib v7.2
erlang.org·1d·
Discuss: Hacker News
🦀Rust
impl Rust: Avro IDL tool in Rust via ANTLR
youtube.com·17h·
Discuss: Hacker News
🦀Rust
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·22h·
Discuss: Hacker News
🧩Complexity Theory
So whats the next word, then? Almost-no-math intro to transformer models
matthias-kainer.de·1d·
Discuss: Hacker News
🧠Machine learning
Show HN: Programming Language for Music- Aethra
news.ycombinator.com·1d·
Discuss: Hacker News
📊Streaming ML
Type Variance
en.wikipedia.org·1d·
Discuss: Hacker News
⚙Complex ststems
Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)
neutree.ai·1d·
Discuss: Hacker News
📊Streaming ML
Rethinking Time in Computation – From Wall Clocks to State Transitions
d1gesto.blogspot.com·21h·
Discuss: Hacker News
🌐Distributed Systems
Show HN: ZigZag – A Bubble Tea-Inspired TUI Framework for Zig
github.com·12h·
Discuss: Hacker News
📊Streaming ML
Against the Orthogonality Thesis
jonasmoman.substack.com·2d·
Discuss: Substack
🧩Complexity Theory
How to effectively write quality code with AI
heidenstedt.org·22h·
Discuss: Hacker News
✅Formal Verification
Boundary Engineering
cabreza.substack.com·20h·
Discuss: Substack
⚙Complex ststems

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