Feeds to Scour
SubscribedAll
Scoured 16026 posts in 140.0 ms
Remarks on Algebraic Reconstruction of Types and Effects
arxiv.org·1d
✨Effect Handlers
Preview
Report Post
Kona: Energy-Based Models (EBMs) for AI Reasoning
logicalintelligence.com·1d·
Discuss: Hacker News
🧠Computational Logic
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.com·2d
💧Liquid Types
Preview
Report Post
**Abstract:** This paper introduces a novel system for automated metadata harmonization and semantic enrichment of disparate industrial standards. Leveraging...
freederia.com·52m
📋Document Grammar
Preview
Report Post
Data Structures and Algorithms
tech.stonecharioteer.com·1d·
Discuss: Hacker News
📼Tape Combinators
Preview
Report Post
How Tokenization, Embeddings & Attention Work in LLMs (Part 2)
dev.to·5h·
Discuss: DEV
💻Local LLMs
Preview
Report Post
Can Time Be Computed? Part II
softwarefrontier.substack.com·9h·
Discuss: Substack
⏰Time Crystals
Preview
Report Post
Structured Hints for Sample-Efficient Lean Theorem Proving
arxiv.org·1d
⚔️Lean Tactics
Preview
Report Post
Proposal: Generic Methods for Go · Issue #77273
github.com·2d·
Discuss: Hacker News, r/golang
🌐Protocol Synthesis
Preview
Report Post
Issue 508
haskellweekly.news·2d
🔗Functional Compilers
Preview
Report Post
The Five Levels: from Spicy Autocomplete to the Software Factory
werd.io·1d
🔄Language Evolution
Preview
Report Post
How to prove you know a discrete logarithm
johndcook.com·1d
🎯Interactive Provers
Preview
Report Post
Introduction to Computational Thinking by Grant Sanderson (3b1B) and MIT
ocw.mit.edu·8h·
Discuss: Hacker News
💻CS
Preview
Report Post
vivace-graph-v3: CL graph database & Prolog implementation
github.com·15h·
Discuss: Lobsters, Hacker News
🕸️Neo4j
Preview
Report Post
A JSON schema package for Go
opensource.googleblog.com·20h·
Discuss: Blogger
📋Protocol Buffers
Preview
Report Post
Virtual AI Inference: A Hardware Engineer’s View
dev.to·1d·
Discuss: DEV
🕹️Hardware Emulation
Preview
Report Post
Show HN: Polymcp – Turn Any Python Function into an MCP Tool for AI Agents
news.ycombinator.com·4h·
Discuss: Hacker News
🧮Z3 Solver
Preview
Report Post
Introduction to Coinduction in Agda Part 1: Coinductive Programming
jesper.sikanda.be·3d
🏛️Agda
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·4d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
QuantDinger: Build, Backtest, and Trade with AI – An Open-Source, Local-First Quant Platform in Python
vibe.forem.com·6h·
Discuss: DEV
📊Quantization
Preview
Report Post

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