🐿️ 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
Myo Gesture Armband Teardown
learn.adafruit.com·2h·
Discuss: Hacker News
💾Retro Computing
Age verification tools on adult websites bypassed in seconds
news.sky.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Relax-and-Recover – Linux Disaster Recovery
relax-and-recover.org·12h·
Discuss: Hacker News
📦Unikernel Systems
Verify Identities During Self-Service Registration
fusionauth.io·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How to Make a Font That Says Nothing
untested.sonnet.io·3d·
Discuss: Lobsters, Hacker News, Hacker News
🐫Embedded OCaml
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
Using Radicle CI
radicle.xyz·3d·
Discuss: Lobsters, Hacker News
👁️System Observability
Contextualizing ancient texts with generative neural networks
nature.com·3d·
Discuss: Hacker News
🎮Verification Games
We Ran a Kaizen for Knowledge Work
jakeworth.com·5d·
Discuss: Hacker News, r/SoftwareEngineering
⎈Kubernetes
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
HumanMaterial: Human Material Estimation from a Single Image via Progressive Training
arxiv.org·2d
🔬Unikernels
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
Polynomial argmin for recovery and approximation of multivariate discontinuous functions
arxiv.org·5d
💻CS
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
Transformer-based Deep Learning Model for Joint Routing and Scheduling with Varying Electric Vehicle Numbers
arxiv.org·5d
⚙️Operating System Design
Loading...Loading more...
AboutBlogChangelogRoadmap