🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🤖 Program Synthesis
Automated Programming, Formal Specifications, Code Generation, Proof Search
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
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...
« Page 3
•
Page 5 »