🧩 Types - emschwartz · Scour

Reducing the Costs of Proof Synthesis on Rust Systems by Scaling Up a Seed Training Set

arxiv.org·4d

⚙Rust Compiler Internals

StraTyper: Automated Semantic Type Discovery and Multi-Type Annotation for Dataset Collections

arxiv.org·5d

“The President’s Cake” Movie Review: A Neorealist Treasure from Iraq

newyorker.com·1h

🏛️Politics

Bloomberg reported, citing sources, that Greece and Malta have become the main obstacles to an EU proposal to replace the price cap on Russian oil with a ban on...

threadreaderapp.com·1h

💵Economic Statecraft

How to rescue the aid industry: focus on conflict prevention, not just relief

nature.com·51m

💵Economic Statecraft

#0182: The CTO Review: Using Socratic Dialog with AI for Better Technical Decisions

matthewsinclair.medium.com·1h

🪄Prompt Engineering

Gavin Newsom’s likely presidential bid is built on broken promises

theguardian.com·1h

🏛️Politics

Residents in seven more states will soon be able to add their driver’s license to the Apple Wallet app

appleworld.today·1h

The Galactico strategy

alearningaday.blog·1h

🎰Bandit Algorithms

Using Claude in PowerPoint

support.claude.com·51m

🔌Claude Plugins

😶‍🌫️ The mood is not improving… Please bring back the city, I’m...

maique.eu·36m

Watch live: Kevin O‘Leary, experts testify on housing affordability

thehill.com·8m

🏘️Housing Development

Lessons from Amazon's Founder at His Peak

primebezos.com·54m·

Discuss: Hacker News

🌱Bootstrapping

Flickypedia Project Page

commons.wikimedia.org·51m

🏛️Internet Archive

Your Revenue Access Partner

client.prompx.com·31m·

Discuss: Hacker News

💰Revenue Models

The final secret [Short Story]

alifeofa.bearblog.dev·43m

🔗Webmentions

Sorry folks, Liquid Glass isn't going anywhere

macworld.com·51m

⚖️Tech Policy

In which order should be Drupal updates and configuration import/export run?

gbyte.dev·6m

🏗️Build Systems

Don't implement passkeys. Five Day 2 issues explained

corbado.com·41m·

Discuss: Hacker News

🔐Hardware Security

Judge blocks California ban on federal agents wearing masks

thehill.com·37m

🗽Immigration Policy

Loading more...