🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🤖 Program Synthesis

Automated Programming, Formal Specifications, Code Generation, Proof Search

Moths Incorporate Plant Acoustic Emissions into Their Decision-Making Process
elifesciences.org·3d·
Discuss: Hacker News
🎮Verification Games
Cara – High Precision Robot Dog Using Rope
aaedmusa.com·3d·
Discuss: Hacker News
💾Retro Computing
Verify Identities During Self-Service Registration
fusionauth.io·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: 4K lip-sync from a 12-word prompt–V2A beats my 2023 render farm
veo-3.app·2d·
Discuss: Hacker News
💾Retro Computing
We Ran a Kaizen for Knowledge Work
jakeworth.com·5d·
Discuss: Hacker News, r/SoftwareEngineering
⎈Kubernetes
Working on a Programming Language in the Age of LLMs
ryelang.org·5d·
Discuss: DEV, Lobsters, Hacker News, r/LLM, r/programming
🔤DSLs
Zero Knowledge Proof
en.wikipedia.org·4d·
Discuss: Hacker News
🎮Verification Games
The Pg_meminfo Postgres Extension
github.com·1d·
Discuss: Hacker News
🔬Unikernels
Financial Services Firms Will Bank On Homegrown AI Training
nextplatform.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why OpenSearch 3.0 Is Your Must-Have Upgrade Right Now
thenewstack.io·2d
📦Unikernel Systems
White House bans 'woke' AI, but LLMs don't know the truth
theregister.com·2d·
Discuss: Hacker News, Hacker News
🛡️seL4
Learning Nonlinear Causal Reductions to Explain Reinforcement Learning Policies
arxiv.org·5d
🎮Verification Games
Building blocks of life may be far more common in space than we thought, study claims
livescience.com·1d·
Discuss: Hacker News
🔬Unikernels
Artificial Intelligence in the Food Industry: Food Waste Estimation based on Computer Vision, a Brief Case Study in a University Dining Hall
arxiv.org·5d
✓Automated Theorem Proving
Polynomial argmin for recovery and approximation of multivariate discontinuous functions
arxiv.org·5d
💻CS
Learning to Gridize: Segment Physical World by Wireless Communication Channel
arxiv.org·5d
💻CS
Transformer-based Deep Learning Model for Joint Routing and Scheduling with Varying Electric Vehicle Numbers
arxiv.org·5d
⚙️Operating System Design
VisionTrap: Unanswerable Questions On Visual Data
arxiv.org·3d
🔄Finite State Machines
Systole-Conditioned Generative Cardiac Motion
arxiv.org·4d
💻CS
Fixing Engineering’s Biggest Time Suck: Finding Information
thenewstack.io·4d
🔄Reproducible Builds
Loading...Loading more...
AboutBlogChangelogRoadmap