✅ Type Checking

Bidirectional Checking, Local Inference, Error Messages, Type Elaboration

Feeds to Scour
SubscribedAll
Scoured 83067 posts in 1.50 s
An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories
arxiv.org·1d
⚡Effect Handlers
Contextual Drag: How Errors in the Context Affect LLM Reasoning
arxiv.org·2d
🪜Recursive Descent
React Compiler and why class objects can work against memoization
anita-app.com·16h·
Discuss: Hacker News
🔗Borrowing Extensions
Data-Oriented Programming for Java: Beyond Records
openjdk.org·1d
📊Row Polymorphism
Beyond the Chatbox: Engineering Your Prompts with the Trinity Framework
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
EBM vs. LLMs: Our Kona EBM a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com·1d·
Discuss: Hacker News
🐹Minimal Go
Introducing Mutineer: Chaos Engineering for Elixir Function Calls
dev.to·4h·
Discuss: DEV
📡Erlang
Hardness of hinted ISIS from the space-time hardness of lattice problems
eprint.iacr.org·1d
🌸Bloom Indexing
Writing an LLM from scratch, part 32d -- Interventions: adding attention bias
gilesthomas.com·6h·
Discuss: Hacker News
✨Effect Inference
Building a 'thinking system' to help you be less wrong
blog.dougbelshaw.com·22h
🔄Bootstrapping
Formally Verifying PBS Kids with Lean4
shadaj.me·4d·
Discuss: Hacker News
🧮Combinator Calculus
*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological Invariants in High‑Dimensional Random Simplicial Complexes*
freederia.com·11h
🪢Rope Data Structures
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·15h
⚡Performance
Part 2: Why Context Is Everything
linkedin.com·1d·
Discuss: DEV
🔄Bootstrapping
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·2d·
Discuss: Hacker News
✨Gleam
Built a KiCAD schematic analyzer in Rust - would appreciate code review
github.com·3h·
Discuss: r/rust
🔧API Design
Why YS Chose Clojure
yamlscript.org·1h
🔮Clojure
One Year of Using Go
rugu.dev·1d·
Discuss: Hacker News
🤖Embedded Go
Evaluate generative AI models with an Amazon Nova rubric-based LLM judge on Amazon SageMaker AI (Part 2)
aws.amazon.com·14h
✨Gleam
Software 2.0 Needs Evals 2.0: LayerLens Release Agent-as-a-Judge Capabilities
jrodthoughts.medium.com
·1d
🔮Metacircular Evaluators

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