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

My roommates and I are in the process of buying a home, and I am researching the things I can do to facilitate a home lab of my own.
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
From Hell to ExHell: Writing Excel Files in Java Shouldn’t Be a Pain
medium.com·21h·
Discuss: r/programming
⚙️PL Implementation
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Where are the DocuSign 2.0 Startups?
unicornforms.com·2h·
Discuss: Hacker News
⚙️PL Implementation
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·1d·
Discuss: r/programming
🎮Verification Games
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·20h·
Discuss: Hacker News
🛡️seL4
Leading your engineers towards an AI-assisted future
blog.thepete.net·21h·
Discuss: Hacker News
👁️System Observability
What Makes Code Beautiful
thecoder.cafe·1d·
Discuss: r/programming
🔬Static Analysis
Fenic: A Cute, PySpark-Inspired DataFrame Framework for AI Workflows
typedef.ai·2d·
Discuss: Hacker News
✓Automated Theorem Proving
AI-assisted software development
senkorasic.com·4d·
Discuss: Hacker News
⚙️PL Implementation
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·18h·
Discuss: Hacker News
🛡️seL4
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·2d
✓Automated Theorem Proving
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com·20h·
Discuss: Hacker News
🧪Property-Based Testing
AI Evals: How To Systematically Improve and Evaluate AI
newsletter.eng-leadership.com·2d·
Discuss: r/programming
✓Automated Theorem Proving
Coding Triangle: How Does Large Language Model Understand Code?
arxiv.org·2d
🔬Static Analysis
Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Lang...
arxiv.org·1d
🐫OCaml
Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
User simulators bridge RL with real-world interaction
jessylin.com·16h·
Discuss: Hacker News
🔍Formal Verification
Bridging the Plausibility-Validity Gap by Fine-Tuning a Reasoning-Enhanced LLM for Chemical Synthesis and Discovery
arxiv.org·9h
✓Automated Theorem Proving
Sweatshop Data Is Over
mechanize.work·16h·
Discuss: Hacker News
🎮Verification Games
Loading...Loading more...
AboutBlogChangelogRoadmap