⚡ Const Evaluation - emschwartz · Scour

Finding Memory Leaks in C/C++ Programs via Neuro-Symbolic Augmented Static Analysis

arxiv.org·1d

Less-relevant results

DAInfer+: Neurosymbolic Inference of API Specifications from Documentation via Embedding Models

arxiv.org·1d

🧠LLM Inference

C89cc.sh – standalone C89/ELF64 compiler in pure portable shell

gist.github.com·3h·

Discuss: Hacker News

Runtime type checking is great (2023)

blog.jez.io·19h·

Discuss: Lobsters

⚙Rust Compiler Internals

The revolution of compiler-enforced correctness: bugs that the Rust compiler catches for you

kerkour.com·6h

⚙Rust Compiler Internals

Commodity Windfalls Are Rolling Into Russia From War in Iran

bloomberg.com

·39m

🌐Energy Sanctions

Paul McCartney Blazes Through Career-Spanning Set at Apple Park for 50th Anniversary Celebrations

macrumors.com·1h

🎨NYC Museum Scene

Man fatally shot near north end of Central Park, police say

gothamist.com·1h

🗽New York City

Valeria Luiselli Reads Julio Cortázar

newyorker.com·2h

🖊️Essay Writing

Azer0s/tin: A freshly canned systems language 🥫

github.com·16h·

Discuss: Hacker News

Finding Common Ground To Advance Criminal Justice Policy With Adam Gelb

jasher.substack.com·47m·

Discuss: Substack

⚖️Civil Liberties

Establishment-backed GOP candidate wins Arkansas Secretary of State primary runoff

thehill.com·1h

West Bank strikes over Palestinian-only death penalty

aljazeera.com·55m

🗺Gerrymandering

The push to allow 401Ks to invest in private credit is part of their exit strategy.

bsky.app·26m·

Discuss: Bluesky

📉Balance Sheet Recession

Is yo-yo dieting bad for you? Here’s what the latest research shows

theconversation.com·2h

🥗Plant-Based Nutrition

Contracts are in C++26 despite disagreement over their value

theregister.com·1d

💻Programming languages

Is This 1,800-Year-Old Mosaic the First Known Image of a Woman Fighting Wild Beasts in an Ancient Roman Arena?

smithsonianmag.com·37m

📚Typographic History

UK needs ‘ambitious’ new EU ties amid Iran war, Starmer says

theguardian.com·2h

🌍Geopolitical Risk

Build a Fullstack SSR Web App with Rust + Maud

hamy.xyz·12h

Robot Taxis Stop in Traffic in Chinese City, Stranding Travelers

nytimes.com

·1h

🇨🇳China Tech Policy

Loading more...