Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.com·1d
🌀Brotli Internals
A Proof of the Riemann Hypothesis
dev.to·1d·
Discuss: DEV
⚔️Lean Theorem
Superpowers: How I'm using coding agents in October 2025
blog.fsck.com·1d
⚡Proof Automation
Slip – A Lisp System in JavaScript
lisperator.net·10h·
Discuss: Hacker News
🔗Lisp
Prompt Engineering Templates That Work: 7 Copy-Paste Recipes for LLMs
kdnuggets.com·1d
🎯Proof Tactics
Let's Write a Macro in Rust
hackeryarn.com·7h·
Discuss: Hacker News
🦀Rust Macros
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·6h·
Discuss: Hacker News
📐Linear Algebra
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·3d
⚡Proof Automation
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·10h·
Discuss: Hacker News
🎯Performance Proofs
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⚙️Proof Engineering
ChatGPT Pretends to Run Code
eriklonnroth.com·1d·
Discuss: Hacker News
⚡Proof Automation
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
The Library Method: Understanding @cache
dev.to·22h·
Discuss: DEV
⚡Cache Theory
IASC: Interactive Agentic System for ConLangs
arxiv.org·19h
🌳Context free grammars
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·19h
🔗Graph Isomorphism
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·19h
🧮Kolmogorov Complexity
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs