Technocalvinism
blog.cosmos-institute.orgยท1hยท
Discuss: Hacker News
๐Ÿ“ตDigital Minimalism
Flag this post
Commitments on Model Deprecation and Preservation
anthropic.comยท23hยท
Discuss: Hacker News
๐Ÿ”Formal Verification
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.aiยท21hยท
Discuss: Hacker News
๐Ÿ”€OCaml Multicore
Flag this post
Sculpt Operating System 25.10
genode.orgยท5dยท
Discuss: Hacker News
๐Ÿ“บVintage Apple
Flag this post
Voxel Grid Visibility
cod.ifies.comยท23hยท
๐ŸงฉSeparation Logic
Flag this post
Recursive macros in C, demystified (once the ugly crying stops)
h4x0r.orgยท1hยท
Discuss: Hacker News
ฮปFunctional Programming
Flag this post
Defeating KASLR by Doing Nothing at All
googleprojectzero.blogspot.comยท1dยท
๐Ÿ”งUnikernel Development
Flag this post
Lessons from Implementing RAG in 2025
truestate.ioยท7hยท
Discuss: Hacker News
๐ŸงฉParser Combinators
Flag this post
Process Bottleneck Breakthrough: AI-Powered Outcome Prediction
dev.toยท13hยท
Discuss: DEV
๐Ÿ‘๏ธSystem Observability
Flag this post
Why agents do not write most of our code โ€“ a reality check
octomind.devยท1dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.toยท1dยท
Discuss: DEV
๐Ÿ”ฒCellular Automata
Flag this post
Fabric.so Review 2025: The AI Workspace That Organizes Itself
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ตDigital Minimalism
Flag this post
[P] triplet-extract: GPU-accelerated triplet extraction via Stanford OpenIE in pure Python
reddit.comยท1dยท
๐ŸงฉParser Combinators
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.comยท1dยท
Discuss: Hacker News
โœ“Automated Theorem Proving
Flag this post
Load Balancing 100,000 WebSockets (and Somehow Surviving It)
dev.toยท14hยท
Discuss: DEV
๐Ÿ”งDevOps
Flag this post
I built sbsh: persistent terminal sessions and shareable profiles for kubectl, Terraform, and more
reddit.comยท19hยท
Discuss: r/kubernetes
โŽˆKubernetes
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.comยท1dยท
๐Ÿ“ฆUnikernel Systems
Flag this post
iFlyBot-VLA Technical Report
arxiv.orgยท11h
๐Ÿ“šAutomata Learning
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.toยท14hยท
Discuss: DEV
๐Ÿค–Robotics
Flag this post