💻 programming languages - matmat · Scour

Monotonic Reference-Free Refinement for Autoformalization

arxiv.org·5d

⟷Bidirectional Grammars

SolAgent: A Specialized Multi-Agent Framework for Solidity Code Generation

arxiv.org·5d

⚔️Lean Tactics

Wine 11.2 Released With Faster PDB Loading and 32 Bug Fixes

linuxiac.com·3h

🕸️WASM Archives

End of the line for video essays

doctorow.medium.com·3h

🏴‍☠️Piracy

Unsupervised Learning NO. 515

newsletter.danielmiessler.com·3h

🌍Cultural Algorithms

Amanda Seyfried says The Testament of Ann Lee helped her ‘find her voice’ in new way after childbirth

the-independent.com·3h

🎞️Video Archives

Smaller N.Y.C. Classes Will Cost Millions. Can Mamdani Pull It Off?

nytimes.com

·3h

BTDUex Safe? The Back End Withdrawal Anomalies

news.ycombinator.com·3h·

Discuss: Hacker News

🎫Kerberos Attacks

Trump says US talks with Iran 'very good', more negotiations expected

rfi.fr·3h

🕵Intelligence

Super Bowl - Why Trump and MAGA are at war with the event

france24.com·3h

🛡Cybersecurity

Protect inclusive spaces from gender-critical legal battles, Starmer told after Hampstead ladies pond row

the-independent.com·2h

⚖️Legal Compliance

eclecticlight.co·3h

AI analysis casts doubt on Van Eyck paintings in Italian and US museums

theguardian.com·3h

💧Manuscript Watermarks

Live: US wants Ukraine and Russia to end war by June, Zelensky says

france24.com·1h

🇵🇱Elwro Systems

‘Variations on a Theme’ Review: A Woman Stares at Goats — and Looks Back on a Life — in Lovely, Lyrical Rotterdam Winner

variety.com·3h

🏛Digital humanities

PeaZip 10.9 Released With File Manager and Viewer Improvements

linuxiac.com·3h

🏺ZIP Archaeology

What the mobility deal between the EU and India will mean for skilled workers

thelocal.se·3h

⚖️Legal Compliance

Renters use ‘rent now, pay later’ services to manage monthly payments, but fees raise concerns

mercurynews.com

·2h

⏳Time Capsule Networks

O0000-code/Ensemble: A macOS desktop app for managing Claude Code configurations — Skills, MCP Servers, and CLAUDE.md files

github.com·3h·

Discuss: Hacker News

🔩Systems Programming

Replit's CEO thinks AI will end soul-crushing corporate work — and bring entrepreneurship inside big companies

businessinsider.com

·2h

🚀Indie Hacking

Loading more...