Feeds to Scour
SubscribedAll
Scoured 16794 posts in 446.1 ms
Same Engine, Multiple Gears: Parallelizing Fixpoint Iteration at Different Granularities (Extended Version)
arxiv.org·1d
⚡Parallel Computing
Computing an approximation of the partial Weyl closure of a holonomic module
arxiv.org·1d
🌐Computational Topology
DCP-o-matic • Re: LtRt Matrix Decoder
dcpomatic.com·3d
🎬Cinema Codecs
Testing 80 LLMs on spatial reasoning on grids
mihai.page·1d·
Discuss: Hacker News
🧮Prolog Parsing
Rejourney Achieves 12 ms Main Thread time with 3x Frame Rate
rejourney.co·23h·
Discuss: Hacker News
🖥️Game Emulation
What Functional Programmers Get Wrong About Systems
iankduncan.com·19h·
Discuss: Lobsters, Hacker News, r/programming
⚖️Verification Calculi
LLM Inference Benchmarking - Measure What Matters
digitalocean.com·4d
📊Performance Profiling
The Little Book of Linear Algebra
little-book-of.github.io·4d
📐Linear Algebra
Fast Properties in V8 (2017)
v8.dev·1d·
Discuss: Hacker News
🌀Brotli Dictionary
How I squeezed a BERT sentiment analyzer into 1GB RAM on a $5 VPS
mohammedeabdelaziz.github.io·2d·
Discuss: Hacker News
🌀Brotli Dictionary
Ask HN: How to Reduce Time Spent Crimping?
news.ycombinator.com·2d·
Discuss: Hacker News
🔧Cassette Engineering
A Proof of P = NP
dev.to·1d·
Discuss: DEV
🎯Performance Proofs
Lazy-pulling containers: 65x faster pulls, but 20x slower readiness
blog.zmalik.dev·1d·
Discuss: Hacker News
📦Container Security
I Built a 6 BIPS JIT in Five Months
unlikelyemphasis.substack.com·4d·
Discuss: Substack
⚙️RISC-V Microcode
Quantization-Aware Distillation
ternarysearch.blogspot.com·2d·
Discuss: Hacker News
📊Quantization
Engineering Ethereum's Speed: How we made Ethrex 20x faster
blog.lambdaclass.com·6d
🎯Emulation Accuracy
New microkernel OS in 10 days: From zero to Google Compute Engine
seiya.me·21h·
Discuss: Hacker News
⚙️Operating System Design
abdimoallim/alloc: A header-only C allocator library
github.com·1d·
Discuss: Hacker News, r/C_Programming
🧠Memory Allocators
lean-phys-community/PhysLean: A project to digitalise results from physics into Lean.
github.com·7h·
Discuss: Hacker News
🔬Lean
From Prediction to Compilation: A Manifesto for Intrinsically Reliable AI
news.ycombinator.com·2d·
Discuss: Hacker News
⚖️Hoare Logic

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