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

Apple set to acquire yet another campus in the Bay Area
9to5mac.com·7h
🍎Apple
Printing a Book at Home with Minimal Equipment
huijzer.xyz·1d·
Discuss: Hacker News
🔬Unikernels
US Navy won't torpedo hurricane forecast satellite feed after all
theregister.com·2h·
Discuss: Hacker News
⎈Kubernetes
Show HN: Railway hackathon – deploy an idea over a weekend
railway.com·1d·
Discuss: Hacker News
⎈Kubernetes
Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support
blog.glyphdrawing.club·7h·
Discuss: Hacker News
❄️Nix
Replacing cron jobs with a centralized task scheduler
mayhul.com·2d·
Discuss: Hacker News
🔄Finite State Machines
YouTuber Stores 176KB Drawing of a Bird Inside a Bird's Song
iflscience.com·7h·
Discuss: Hacker News
🍎Apple
Lucidly Launches a New Platform to Redefine Website Proofing and Collaboration
markets.businessinsider.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Cloudlvl – Build cloud infra using natural language
cloudlvl.com·1d·
Discuss: Hacker News
🛡️seL4
AI's 16:1 capex ratio: bubble or moat?
fluxus.io·11h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Product as Code: Version Control for Product Management
mantcz.com·6d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Pontoon, an open-source data export platform
news.ycombinator.com·7h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Playing with Gemini CLI: Riddles, Magic and Some Security Vibes
veganmosfet.github.io·3d·
Discuss: Hacker News
🛡️seL4
Claude Code Tips and Tricks
vinh.dev·5d·
Discuss: Hacker News
🐫Embedded OCaml
Dark Side of Modalities: Reinforced Multimodal Distillation for Multimodal Knowledge Graph Reasoning
arxiv.org·1d
✓Automated Theorem Proving
Rewrite-to-Rank: Optimizing Ad Visibility via Retrieval-Aware Text Rewriting
arxiv.org·16h
✓Automated Theorem Proving
Limits at a Distance: Design Directions to Address Psychological Distance in Policy Decisions Affecting Planetary Boundaries
arxiv.org·2d
📡Network Protocol Design
The Impact of Simple, Brief, and Adaptive Instructions within Virtual Reality Training: Components of Cognitive Load Theory in an Assembly Task
arxiv.org·1d
🐫Embedded OCaml
Recursive Visual Imagination and Adaptive Linguistic Grounding for Vision Language Navigation
arxiv.org·16h
🔄Finite State Machines
Show HN: We built a self-aware AI agent,and this is the log of its first mission
github.com·3d·
Discuss: Hacker News
💻CS
Loading...Loading more...
AboutBlogChangelogRoadmap