Feeds to Scour
SubscribedAll
Scoured 5541 posts in 19.6 ms
Abstract Machines for Logic Programs  🎮Deterministic Simulation
chrisistyping.bearblog.dev·6d·Lobsters, Hacker News, r/programming
Fix pathological performance in trait solver cycles with errors by erickt · Pull Request #155355  🧪Property-based Testing
github.com·3h·Hacker News
Power up your Domain Specific Language  ✨UI generation
slangify.org·21h·Hacker News, r/AskProgramming
DeepSeek and Grok hallucinated the same fictitious OpenBSD manpage quote  🧪Property-based Testing
stuart-thomas.com·2d·Hacker News
MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries  🧪Property-based Testing
arxiv.org·5d
Harness-first agentic SDLC: How OpenSearch builds software using its own search engine  🤖agents
opensearch.org·1d·Hacker News
Nature's Harmonic Simultaneous 4-Day Time Cube  🎯Reranking
timecube.net·2d·Hacker News
Building Self-Repairing Agent Loops (39 minute read)  🧪Property-based Testing
developers.openai.com·3d·Hacker News
How LLM Inference Works  🔍AI Interpretability
arpitbhayani.me·1d·Hacker News
Claude Code’s Hidden Advisor Tool  ✨UI generation
vincentschmalbach.com·2d·Hacker News
Infinitary Logic  🎮Deterministic Simulation
en.wikipedia.org·5d·Hacker News
Kyunghyuncho Teaching Fundamentals of Machine Learning  🎯Reranking
kyunghyuncho.me·2d·Hacker News
Extraordinary Ordinals  🧪Property-based Testing
text.marvinborner.de·4d·Lobsters, Hacker News
Alchemize: PyMC’s model to replace Stan/PyMC, etc. with an LLM  ⚙Context engineering
statmodeling.stat.columbia.edu·1d·Hacker News
AionDB: PostgreSQL-compatible SQL, graph, and vector database in Rust  🗃️databases
aiondb.xyz·1d·Hacker News
Agentic AI token compression using Haskell  ⚙Context engineering
blog.dan-gilmour.com·3d·Hacker News
A writing app for the AI era  ✨UI generation
trulytyped.com·2d·Hacker News
Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace  🤖agents
arxiv.org·4d
Have a Coherent AI Policy  🔍AI Interpretability
brianmeeker.me·1d·Hacker News
What's in a GGUF, besides the weights - and what's still missing?  ✨UI generation
nobodywho.ooo·1d·Hacker News

No more posts from laurynas's subscribed feeds.

Scour all 25670 feedsLearn more about Feeds
Sign up or log in to see more results
Sign UpLogin

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
Save / unsave
s

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