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

Waabi's Mixed Reality Testing Pushes the Boundaries of AV Safety
waabi.ai·1d·
Discuss: Hacker News
🧪Property-Based Testing
Generating Swagger Documentation from Source Code with ChatGPT
gist.github.com·3d·
Discuss: Hacker News
⚙️PL Implementation
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·3d·
Discuss: Hacker News, r/programming
🐫Embedded OCaml
Measuring the latency that GIL introduces to Python applications
coroot.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Chatbot, the Evolution of Conversational Software
interlogica.it·21h·
Discuss: Hacker News
💻CS
Are We Entering a First-Order Optimizer Renaissance?
lukemerrick.com·1d·
Discuss: Hacker News
🐫OCaml
What birdsong and backends can teach us about magic
digitalseams.com·3d·
Discuss: Hacker News, Hacker News
✓Automated Theorem Proving
How I Doubled My Lookup Performance with a Bitwise Trick
reddit.com·1d·
Discuss: r/programming
📦Unikernel Systems
Here’s How I Became Open to Using AI
spin.atomicobject.com·4d·
Discuss: Hacker News
🎮Verification Games
How I Learned to Stop Worrying and Have Fun with A.I.
nytimes.com·6h·
Discuss: Hacker News
🎮Verification Games
BURN: Backdoor Unlearning via Adversarial Boundary Analysis
arxiv.org·1d
🔬Unikernels
Could you be wrong: Debiasing LLMs using a metacognitive prompt for improving human decision making
arxiv.org·1d
✓Automated Theorem Proving
"high level" languages are easier to optimize
jyn.dev·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔤DSLs
More advanced AI capabilities are coming to Search
blog.google·5h·
Discuss: Hacker News, r/Android
🍎Apple
EV-STLLM: Electric vehicle charging forecasting based on spatio-temporal large language models with multi-frequency and multi-scale information fusion
arxiv.org·1d
💻CS
Fairness-Aware Grouping for Continuous Sensitive Variables: Application for Debiasing Face Analysis with respect to Skin Tone
arxiv.org·17h
🔬Static Analysis
Static or Temporal? Semantic Scene Simplification to Aid Wayfinding in Immersive Simulations of Bionic Vision
arxiv.org·17h
🏹Effect Systems
Circumventing Safety Alignment in Large Language Models Through Embedding Space Toxicity Attenuation
arxiv.org·2d
🔍Formal Verification
Python Developer – Build Hinge Automation Bot ($20/HR, Remote)
news.ycombinator.com·2d·
Discuss: Hacker News
💻CS
Show HN: Open-Source Form Builder
github.com·7h·
Discuss: Hacker News
🐫OCaml
Loading...Loading more...
AboutBlogChangelogRoadmap