Slides From My SaaS Metrics Palooza 2025 Session on Selling Work vs. Selling Software
kellblog.com·17m
📊Code Metrics
GenAI Can Raise Level Of Abstraction For XMOS Tools
eetimes.com·9h
🏷️Attribute Grammars
All in on MatMul? Don’t Put All Your Tensors in One Basket!
sigarch.org·2h
🏰Capability Machines
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2h
🔓Decompilers
How to get smarter with AI in PPC
searchengineland.com·4h
🎭Program Synthesis
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·1d
🧮Theorem Provers
Language Agnostic Programming: Why you may still need code
joaquimrocha.com·3d·
Discuss: Hacker News
🔬programming language theory
SU(<i>d</i>)-symmetric random unitaries: quantum scrambling, error correction, and machine learning
nature.com·2h
🔬Nanopasses
Day 26 of My 90 Days Python Series – Age Calculator 🧮
github.com·5h·
Discuss: DEV
🧸Toy Compilers
Day 25 of 90 day python series..
dev.to·1d·
Discuss: DEV
💬Interactive REPLs
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·3d·
Discuss: DEV
🧮Theorem Provers
I built RAGSharp: a lightweight RAG library for .NET
dev.to·1d·
Discuss: DEV
💬Smalltalk VMs
POEM: Explore Unexplored Reliable Samples to Enhance Test-Time Adaptation
arxiv.org·1d
✨Effect Inference
How I Improved My Verbal English in Tech Meetings with NativeSpeech
dev.to·1d·
Discuss: DEV
🎮Language Ergonomics
Launching this month. Need your feedback
dev.to·7h·
Discuss: DEV
⚡Live Programming
That-Real-Time-Headache-Its-Not-The-WebSockets-Its-Your-Framework
dev.to·7h·
Discuss: DEV
🌍HTTP Servers
From Theory to Practice: Evaluating Data Poisoning Attacks and Defenses in In-Context Learning on Social Media Health Discourse
arxiv.org·1d
🔍ML Language
LLMs as Policy-Agnostic Teammates: A Case Study in Human Proxy Design for Heterogeneous Agent Teams
arxiv.org·12h
🪜Recursive Descent
ArchitectHead: Continuous Level of Detail Control for 3D Gaussian Head Avatars
arxiv.org·12h
🔍Lens Libraries
From Moments to Models: Graphon Mixture-Aware Mixup and Contrastive Learning
arxiv.org·1d
🔍ML Language