Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·8h·
Discuss: Hacker News
📐Linear Algebra
The artificial complexity of OOXML files (the PPTX case)
blog.documentfoundation.org·8h·
Discuss: Hacker News
📟Terminal Typography
go-async, a type-Safe, retryable, and deterministic concurrency for Go
reddit.com·17h·
Discuss: r/golang
🦀Rust Borrowing
There will soon be AI agents working on our behalf
blog.cip.org·1h·
Discuss: Hacker News
🔲Cellular Automata
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Show HN: Comparegpt.io – Trustworthy Mode to reduce LLM hallucinations
news.ycombinator.com·1d·
Discuss: Hacker News
🔍BitFunnel
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·3d
📐Mathematical Art
Intro to RL: Off-Policy Methods
neelsomaniblog.com·1d·
Discuss: Hacker News
🔲Cellular Automata
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·5h·
Discuss: Hacker News
🔗Concatenative Programming
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·21h
🔄Burrows-Wheeler
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
💧Liquid Types
Experimenting with ACL2 and Claude Code
mikedodds.org·12h·
Discuss: Hacker News
👑Isabelle
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·11h·
Discuss: Hacker News
🎯Performance Proofs
MultiCNKG: Integrating Cognitive Neuroscience, Gene, and Disease Knowledge Graphs Using Large Language Models
arxiv.org·1d
🧠Intelligence Compression
Item Patterns and Struct Await
noratrieb.dev·19h·
Discuss: Hacker News
🦀Rust Macros
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·21h
🌀Differential Geometry
Three Solutions to Nondeterminism in AI
blog.hellas.ai·2d·
Discuss: Hacker News
🎯Performance Proofs
Exponential Error Bounds for Information Bottleneck Source Coding Problems
arxiv.org·21h
📐Compression Bounds
Bringing NumPy's type-completeness score to nearly 90% – Pyrefly
pyrefly.org·3d·
Discuss: Lobsters, Hacker News, r/programming
🎯Gradual Typing
Fixed Points and Stochastic Meritocracies: A Long-Term Perspective
arxiv.org·21h
🔲Cellular Automata