Cure - Verification-First Programming for the BEAM
cure-lang.org·1d·
Discuss: Lobsters
💻Programming
Flag this post
What's up with Anthropic predicting AGI by early 2027?
lesswrong.com·1d·
Discuss: Hacker News
🤖AI
Flag this post
Scientists discover 14 strange new species hidden in the deep sea
sciencedaily.com·1d·
Discuss: Hacker News
🔬Nanotechnology
Flag this post
ClickHouse welcomes LibreChat: Introducing the open-source Agentic Data Stack
clickhouse.com·10h·
Discuss: Hacker News
🐧Open Source
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·3h·
Discuss: Hacker News
🐧Open Source
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🐧Open Source
Flag this post
I Processed the Internet on a Single Machine to Find Valuable Expired Domains
blog.mbrt.dev·7h·
Discuss: Hacker News
🐧Open Source
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·2d·
Discuss: Hacker News
💻Programming
Flag this post
Dive into Systems
diveintosystems.org·1d·
Discuss: Hacker News
💻Programming
Flag this post
Low-Level Hacks
blog.raycursive.com·17h·
Discuss: Hacker News
💻Programming
Flag this post
Life Before Earth
arxiv.org·3h·
Discuss: Hacker News
🔬Nanotechnology
Flag this post
OlmoEarth: A new state-of-the-art Earth observation foundation model family
allenai.org·5h·
Discuss: Hacker News
🐧Open Source
Flag this post
Video Invisible Watermarking at Scale
engineering.fb.com·2h·
Discuss: Hacker News
🤖AI
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
github.com·1d·
Discuss: Hacker News
🐧Open Source
Flag this post
Prog8
github.com·4h·
Discuss: Hacker News
💻Programming
Flag this post
The race to train AI robots how to act human in the real world
latimes.com·10h·
Discuss: Hacker News
🦾Robotics Research
Flag this post
Introducing Agent-o-rama: build, trace, evaluate, and monitor stateful LLM agents in Java or Clojure
blog.redplanetlabs.com·1d·
Discuss: Hacker News
🐧Open Source
Flag this post
The Evolution from RAG to Agentic RAG to Agent Memory
leoniemonigatti.com·7h·
Discuss: Hacker News
🐧Open Source
Flag this post
The Nonprofit Feeding the Entire Internet to AI Companies
theatlantic.com·8h·
Discuss: Hacker News
🐧Open Source
Flag this post
The Exhaust Port of Cohesion: Precision Provocation in LLMs
blog.gopenai.com·3h·
Discuss: Hacker News
🐧Open Source
Flag this post