Implicit `operator bool` participates in comparison
quuxplusone.github.io·23h
🦀Rust Verification
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·23h·
Discuss: Hacker News
🔢Reed-Solomon Math
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
Cactus Language • Semantics 3
inquiryintoinquiry.com·8h
🔢Denotational Semantics
Item Patterns and Struct Await
noratrieb.dev·18h·
Discuss: Hacker News
🦀Rust Macros
When Python can't thread: a deep-dive into the GIL's impact
pythonspeed.com·12h·
Discuss: Hacker News
🔩Systems Programming
C++26: range support for std:optional
sandordargo.com·2d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·3d
🎯Proof Tactics
Combobulate: Structured Editing and Navigation in Emacs with Tree-sitter
github.com·15h·
Discuss: Hacker News
✨Effect Handlers
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
💧Liquid Types
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·31m·
Discuss: Hacker News
⚡Proof Automation
Less Is More: Recursive Reasoning with Tiny Networks
github.com·2d·
Discuss: Hacker News
📊Quantization
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·19h
🧠Machine Learning
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·19h
🔗Parser Combinators
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·3h·
Discuss: DEV
🔍Concolic Testing