Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
🔧MLIR
"Ode to Advanced TypeScript", a poem by Grok
dev.to·3h·
Discuss: DEV
⚙️Programming
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
🔧MLIR
Cactus Language • Stylistics 3
inquiryintoinquiry.com·5h
⚙️Programming
My first verified (imperative) program
markushimmel.de·4d·
Discuss: Lobsters, Hacker News, r/programming
⚙️Programming
Writing an IR from Scratch and survive to write a post
farena.in·16h·
Discuss: Lobsters
🔧MLIR
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·1d·
Discuss: Lobsters, Hacker News
🔧MLIR
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·6h·
Discuss: Hacker News
🧮Homomorphic Encryption
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·18h
🤖AI
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·2d
🔧MLIR
Rust standard library verification makes more progress
reddit.com·1d·
Discuss: r/rust
⚙️Programming
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·15h·
Discuss: Hacker News
🔧MLIR
Machine Learning Fundamentals: cross validation tutorial
dev.to·1d·
Discuss: DEV
🔧MLIR
Every AI Integration Is Held Together with Parsing Logic and Prayer
blog.dottxt.co·1d·
Discuss: Hacker News
🌐Decentralized AI
Modeling CORS frameworks with CodeQL to find security vulnerabilities
github.blog·1d
⚙️Programming
Modelling for Complex Domains
lennardong.bearblog.dev·2d
🔧MLIR
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·18h
🔧MLIR
Assumptions
theprogrammersparadox.blogspot.com·5h·
Discuss: theprogrammersparadox.blogspot.com
📜Smart Contracts
Binding Application in Idris
andrevidela.com·23h·
Discuss: Hacker News
⚙️Programming
Python Fundamentals: bounded typevar
dev.to·10h·
Discuss: DEV
⚙️Programming