Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·2d
🔧MLIR
"Ode to Advanced TypeScript", a poem by Grok
dev.to·12h·
Discuss: DEV
⚙️Programming
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
🔧MLIR
Cactus Language • Stylistics 3
inquiryintoinquiry.com·14h
⚙️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·1d·
Discuss: Lobsters
🔧MLIR
Specification Grounding: The Missing Link in Vibe Coding
unstract.com·1d·
Discuss: Lobsters, Hacker News
🔧MLIR
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·7h·
Discuss: Hacker News
🔧MLIR
Maybe Don't Trust an AI with Cryptography Questions
jjinux.com·7h·
Discuss: www.blogger.com
🧮Homomorphic Encryption
Show HN: Helices Create a New Model of Deterministic Computation [pdf]
lambdalord.github.io·15h·
Discuss: Hacker News
🧮Homomorphic Encryption
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·1d
🤖AI
Towards Exception Safety Code Generation with Intermediate Representation Agents Framework
arxiv.org·3d
🔧MLIR
Rust standard library verification makes more progress
reddit.com·1d·
Discuss: r/rust
⚙️Programming
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·1d·
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
EinHops: Einsum Notation for Expressive Homomorphic Operations on RNS-CKKS Tensors
eprint.iacr.org·1d
🧮Homomorphic Encryption
Modeling CORS frameworks with CodeQL to find security vulnerabilities
github.blog·1d
⚙️Programming
Modelling for Complex Domains
lennardong.bearblog.dev·3d
🔧MLIR
Towards an Efficient Shifted Cholesky QR for Applications in Model Order Reduction using pyMOR
arxiv.org·1d
🔧MLIR