Program Synthesis

Feeds to Scour
SubscribedAll
Scoured 20 posts in 18.2 ms

Drawing with Strangers: Population Scaling Drives Zero-Shot Mutual Intelligibility in Emergent Sketching

 💡Explainable AI  Content type: Academic
arxiv.org·

The Orchard Bug and the Unfolding Cybersecurity Reckoning

 🔬Code Analysis  Content type: News  Content type: Blog
bengoertzel.substack.com··Substack

The Day I Let an AI Agent Build My Power BI Report — And What It Got Wrong

 🎮Language Ergonomics
pub.towardsai.net
·

Ask HN: What has been the fate of code review?

 🔬Code Analysis  Content type: Discussion
news.ycombinator.com··Hacker News

Property-based testing | Liam DeVoe

 ✅Property Testing
tybug.dev··Hacker News

Abduction Prover in Isabelle/HOL

 📖Formal Semantics  Content type: Academic
arxiv.org·

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

 ✓Formal Methods  Content type: Blog
aws.amazon.com··Hacker News

Design Reliable, Scalable Distributed Systems

 🏗️Systems Design
fizzbee.io·
Less-relevant results

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

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

Samuel Mimram — CSC_51051_EP -- Computational logic: from Artificial intelligence to Zero bugs

 🔗Dependent Types
lix.polytechnique.fr·

Programming Languages Software Award

 ✓Formal Methods
sigplan.org·

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

 💬REPL Design  Content type: Code
github.com··Hacker News

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

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

 ✓Formal Methods  Content type: Academic
arxiv.org·

Introducing Soteria: A New Generation of Static Analysis for Rust

 🔬Code Analysis  Content type: Blog
soteria-tools.com··Hacker News

RenderLab – Prototype rendering techniques and renderers in the browser

 🌊Dataflow Languages
pub.prklinteractive.com··Hacker News

Where the f*ck is the Excalidraw markup table?

 🔬Code Analysis  Content type: News  Content type: Blog
larkmatter.substack.com··Substack

Agents are getting phone numbers. The reason is not obvious

 💬Prompt Engineering  Content type: News
newsletter.gtmengineering.ai··Hacker News

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

 ✓Formal Methods
universetoday.com··Hacker News

Alogic Clarity 6K Touch Review: 6K resolution meets Mac-friendly touchscreen control

 🌐Network Security
macworld.com·

No more posts from 2601's subscribed feeds.

Scour all 25257 feedsLearn more about Feeds

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