Did we just lose $7 billion for solar?
vox.com·6h
📝ABNF Parsing
Brinkmanship is risky
aardvark.co.nz·1d
🛡Cybersecurity
Solving Pell Equations with Index Calculus
leetarxiv.substack.com·2d·
Discuss: Substack, r/programming
🎯Proof Tactics
News for July 2025
ptreview.sublinear.info·4d
🎯Performance Proofs
Create personal illustrated storybooks in the Gemini app.
blog.google·13h·
Discuss: Hacker News, r/Android
🔗Concatenative Languages
The smallest embeddable scripting language, part 1 | Lobsters
lobste.rs·2d·
Discuss: Lobsters
🔗Concatenative Programming
Htmlpp, an HTML Preprocessor? (2000)
htmlpp.sourceforge.net·2d·
Discuss: Hacker News
📄PostScript
We built AI to solve the most annoying part of B2B sales: vendor questionnaires
indiehackers.com·14h·
Discuss: Hacker News
⚡Proof Automation
Tools for AI assisted Software development
thoughtbot.com·2d
🔄Language Evolution
The Big Oops in Type Systems: This Problem Extends to FP as Well
danieltan.weblog.lol·5d·
Discuss: Hacker News
💧Liquid Types
A Sea of Nodes IR Tutorial
github.com·3d·
Discuss: Hacker News
🦀Rust Macros
I Can't Help Falling in Love with AI Boyfriend
dev.to·1d·
Discuss: DEV
🤖AI Curation
Nerd vs. Dealers
news.ycombinator.com·18h·
Discuss: Hacker News
🌀Brotli Internals
Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data
arxiv.org·1d
🛡️Error Boundaries
Rise of AI Agents: Smarter Workflows
dev.to·17h·
Discuss: DEV
🌍Cultural Algorithms
✨ Building a Simple AI Prompt Keeper (with Bootstrap 5 + Alpine.js)
dev.to·2d·
Discuss: DEV
🎯Gradual Typing
Go as my first Backend language as a Vue3 Frontend Developer
reddit.com·1d·
Discuss: r/golang
🔌Interface Evolution
Model Misalignment and Language Change: Traces of AI-Associated Language in Unscripted Spoken English
arxiv.org·2d
🎙️Whisper
The Manipulative Power of Voice Characteristics: Investigating Deceptive Patterns in Mandarin Chinese Female Synthetic Speech
arxiv.org·2d
🗣️CMU Pronouncing
Learning Potential Energy Surfaces of Hydrogen Atom Transfer Reactions in Peptides
arxiv.org·2d
⚛️Information Physics