Program Synthesis

Feeds to Scour
SubscribedAll
Scoured 85 posts in 10.5 ms

Property-based testing | Liam DeVoe

 ✅Property Testing
tybug.dev··Hacker News

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

 ✓Formal Methods  Content type: Academic
arxiv.org·
Less-relevant results

How to build a landing page using GPT-5.2 + Custom Design Systems – Use UXPin Merge!

 💬REPL Design
uxpin.com·

Exploring the role of AI in our design process at Co-op

 🧠Symbolic AI  Content type: Blog
digitalblog.coop.co.uk·

Two Architecture Professors Celebrate 50 Years of Teaching at UT

 🌱Digital Gardens  Content type: Academic
news.utexas.edu·

Salon C. Lundman Isn’t Perfect — It’s Just Really Good

 🔍Lens Libraries
highsnobiety.com·

Experts weigh in on Anthropic’s Fable 5, Mythos 5 releases

 🛡️Penetration Testing
sdtimes.com·

Derivative-Informed Operator Learning for Finance: On-the-Fly Greeks, Surfaces, Hedging, and Control

 🔢Algebraic Datatypes  Content type: Academic
arxiv.org·

How Sara Priorelli distorts bodies to laugh off the awkwardness of having one

 🤖AI  Content type: News
creativeboom.com·

Human Judgment as a Specification

 ✓Formal Methods  Content type: Blog
blog.brownplt.org·

You Absolutely Do Not Have to Hand It to James Dolan

 📡Information Theory
hellgatenyc.com·

ICYMI: May 2026 @AWS Security

 ⚡Automated Reasoning  Content type: Blog
aws.amazon.com·

Lawful Design

 🛡️Security Type Systems  Content type: News  Content type: Blog
blog.damato.design·

Pentel Multi 8 Lead Holder Review

 ⌨️Mechanical Keyboards  Content type: Blog
penaddict.com·

Gram Newton-Schulz: A Fast, Hardware-Aware Newton-Schulz Algorithm for Muon

 ⚡Partial Evaluation  Content type: Blog
tridao.me··Hacker News

Toy Story 5's Character VFX Are Next Level Thanks to Tech Advances. And No, It's Not AI

 💡Explainable AI
cnet.com·

Blood Dungeon is Nidhogg Developer's Frenetic Take on a Vampire Survivors x Spelunky Roguelite

 🌙Lua
ign.com·

Nvidia’s Jensen Huang flags robotics as Korea’s next growth engine

 🔌Microcontrollers  Content type: News
thenextweb.com·

Jo Yapp insists Women’s Lions will draw from all four unions after appointment as head coach

 🚩CTF  Content type: News
the-independent.com·

Scissors vs. Swiping: The Hidden Cost of Touchscreens and How Designers Can Help

 🌱Digital Gardens  Content type: News  Content type: Blog
caseorganic.substack.com··Substack
Sign up or log in to see more results
Sign UpLogin

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help