🐿️ 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
·
2h
·
Discuss:
r/homelab
🏠
HomeLab
From Hell to ExHell: Writing Excel Files in Java Shouldn’t Be a Pain
medium.com
·
19h
·
Discuss:
r/programming
⚙️
PL Implementation
Realbasic (2000)
joelonsoftware.com
·
8h
·
Discuss:
Hacker News
💾
Retro Computing
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
·
18h
·
Discuss:
Hacker News
🛡️
seL4
Announcing GenAI Processors: Build powerful and flexible Gemini applications
developers.googleblog.com
·
19h
·
Discuss:
Hacker News
⚙️
PL Implementation
Leading your engineers towards an AI-assisted future
blog.thepete.net
·
20h
·
Discuss:
Hacker News
👁️
System Observability
What Makes Code Beautiful
thecoder.cafe
·
1d
·
Discuss:
r/programming
🔬
Static Analysis
C++ with no classes?
pvs-studio.com
·
2d
·
Discuss:
r/cpp
,
r/programming
🐫
OCaml
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com
·
16h
·
Discuss:
Hacker News
🛡️
seL4
Vibe Coding: Trend or Security Disaster Waiting to Happen?
xygeni.io
·
20h
·
Discuss:
Hacker News
🔄
Reproducible Builds
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
Mastering Language Models: A Deep Dive into Input Parameters
megaputer.com
·
18h
·
Discuss:
Hacker News
🧪
Property-Based Testing
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org
·
2d
✓
Automated Theorem Proving
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
·
15h
·
Discuss:
Hacker News
🔍
Formal Verification
Loading...
Loading more...
« Page 3
•
Page 5 »