🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
✅ formal methods
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
The Next FedEx? 100% Zero Emissions Logistics-as-a-Service
maphappenings.com
·
23h
·
Discuss:
Hacker News
⚡
query optimization
Guide to Implementing a GraphRAG Workflow with FalkorDB, LangChain and LangGraph
falkordb.com
·
4d
·
Discuss:
Hacker News
🐫
ocaml
Researchers find LLMs are bad at logical inference, good at “fluent nonsense”
arstechnica.com
·
4d
·
Discuss:
Hacker News
,
Hacker News
,
r/LocalLLaMA
⚙️
systems programming
Do we understand how neural networks work?
verysane.ai
·
1d
·
Discuss:
Hacker News
🗄️
databases
Condition Systems in an Exceptional Language by Chris Houser
gist.github.com
·
4d
·
Discuss:
Hacker News
⚙️
systems programming
A personal health large language model for sleep and fitness coaching
nature.com
·
21h
·
Discuss:
Hacker News
🗄️
databases
Microsoft POML – Prompt Orchestration Markup Language
github.com
·
5d
·
Discuss:
Hacker News
⚙️
systems programming
Should We Never Use Non-Logical Properties?
meiert.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
The Problem with AI Benchmarks
melder.io
·
2d
·
Discuss:
Hacker News
🗄️
databases
The Imminent Deprecation of memory_order:consume
people.kernel.org
·
3d
·
Discuss:
Hacker News
🔄
compilers
Taking a Second Look
2ndsetai.substack.com
·
1d
·
Discuss:
Substack
⚙️
systems programming
Best Vibe Coding Tools in 2025
observer.bearblog.dev
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
Recto – A Truly 2D Language
masatohagiwara.net
·
3d
·
Discuss:
Hacker News
🐫
ocaml
Inline Caching (2021)
bernsteinbear.com
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Using sound to remember quantum information 30 times longer
phys.org
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Why Are Digital Systems Failing the People They're Meant to Serve?
syntheticauth.ai
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
'Impossible' Higgs boson measurement within reach, thanks to a detour
symmetrymagazine.org
·
1d
·
Discuss:
Hacker News
🔄
compilers
Dodgy Huawei chips nearly sunk DeepSeek's next-gen R2 model
theregister.com
·
22h
·
Discuss:
Hacker News
⚙️
systems programming
Show HN: Guardian Protocol – Open-Source Ethereum Security Framework
github.com
·
3d
·
Discuss:
Hacker News
⚙️
systems programming
How Well Do Coding Agents Use Your Library?
stackbench.ai
·
2d
·
Discuss:
Hacker News
⚙️
systems programming
Loading...
Loading more...
« Page 9
•
Page 11 »