🐿️ 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

Earth Has Tilted 31.5 Inches. That Shouldn't Happen.
popularmechanics.com·6h·
Discuss: Hacker News
🧗Climbing Tech
Developed the First Quantum Metabolic Avatar, Digital Twin of Human
newswise.com·1d·
Discuss: Hacker News
🏹Effect Systems
Want Discriminated Unions in Kotlin? Use a Sealed Class.
spin.atomicobject.com·3d·
Discuss: Hacker News
🔍Formal Verification
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·3d·
Discuss: Hacker News
👁️System Observability
Using Fortune to Reinforce Habits
judy.co.uk·1d·
Discuss: Lobsters, Hacker News
💾Retro Computing
AWS closes China AI research center, citing boilerplate 'business priorities'
theregister.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
How Teaching of Java is about to change (Or How Learning Java Is About To Become Way Easier)
medium.com·5d·
Discuss: r/programming
🔬Static Analysis
SQLite Sync – local-first SQLite extension with built-in network layer
github.com·2d·
Discuss: Hacker News
🧱Immutable Infrastructure
This startup thinks email could be the key to usable AI agents
techcrunch.com·4d·
Discuss: Hacker News
🍎Apple
Talking to...uh...um...Machines: The Impact of Disfluent Speech Agents on Partner Models and Perspective Taking
arxiv.org·1d
🏹Effect Systems
Fixing Engineering’s Biggest Time Suck: Finding Information
thenewstack.io·4d
🔄Reproducible Builds
FastSmoothSAM: A Fast Smooth Method For Segment Anything Model
arxiv.org·4d
🔄Finite State Machines
Disaster Informatics after the COVID-19 Pandemic: Bibliometric and Topic Analysis based on Large-scale Academic Literature
arxiv.org·2d
📡Network Protocol Design
Principles and Reasons Behind Automated Vehicle Decisions in Ethically Ambiguous Everyday Scenarios
arxiv.org·5d
🔄Finite State Machines
Can We Move Freely in NEOM's The Line? An Agent-Based Simulation of Human Mobility in a Futuristic Smart City
arxiv.org·4d
🖥️Self-hosted Infrastructure
Scaling AI Inference at the Edge With Distributed PostgreSQL
thenewstack.io·5d
👁️System Observability
Hierarchical Fusion and Joint Aggregation: A Multi-Level Feature Representation Method for AIGC Image Quality Assessment
arxiv.org·2d
🐫OCaml
Multimodal Fine-grained Reasoning for Post Quality Evaluation
arxiv.org·1d
✓Automated Theorem Proving
ViGText: Deepfake Image Detection with Vision-Language Model Explanations and Graph Neural Networks
arxiv.org·1d
🐫OCaml
Major Quantum Computing Advance Made Obsolete by Teenager
quantamagazine.org·2d·
Discuss: Hacker News
🔬Unikernels
Loading...Loading more...
AboutBlogChangelogRoadmap