A thesis week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
🧮SMT Solvers
Deep linear networks
danmackinlay.name·2d
🧠Machine Learning
REPL + Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🧠Lisp Dialects
CodonMoE: DNA Language Models for mRNA Analyses
arxiv.org·2d
🧮Kolmogorov Complexity
Building NeuroStash - VI
dev.to·23h·
Discuss: DEV
📄Text Chunking
Lurk – A Turing-complete programming language for ZK-SNARKs
github.com·1d·
Discuss: Hacker News
🧮Z3 Solver
GPT-5 prompting guide
cookbook.openai.com·4h
⚡Proof Automation
Exploring Traces: Agent trajectory walkthroughs from interesting examples
theori.io·22h·
Discuss: Hacker News
🧬Bitstream Evolution
From GPT-2 to gpt-oss: Analyzing the Architectural Advances
magazine.sebastianraschka.com·22h·
Discuss: Hacker News
🌊Streaming Algorithms
Go Interfaces - Composition Over Inheritance (And Common Sense)
dev.to·8h·
Discuss: DEV, r/golang
💧Liquid Types
Automated Fault Tree Analysis Refinement via Bayesian Optimization and Genetic Algorithm Hybridization
dev.to·17h·
Discuss: DEV
🌲B-tree Variants
MoBE: Mixture-of-Basis-Experts for Compressing MoE-based LLMs
arxiv.org·2d
💻Local LLMs
Why Racket? Why Lisp?
practicaltypography.com·19h·
Discuss: Lobsters, Hacker News
🔗Lisp
Why AI's Tom Cruise problem means it is 'doomed to fail' (2024)
theguardian.com·17h·
Discuss: Hacker News
🧠Intelligence Compression
Building with Generative AI: Lessons from 5 Projects Part 1: RAG
dev.to·1d·
Discuss: DEV
🤖Grammar Induction
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·3d·
Discuss: Hacker News
💻Programming languages
Posterior-GRPO: Rewarding Reasoning Processes in Code Generation
arxiv.org·2d
🔨Compilers
A subtle bug with Go's errgroup
gaultier.github.io·1d·
Discuss: Hacker News, r/golang
🧪Binary Fuzzing
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·3d
💻Local LLMs
Roo Code Workflow: An Advanced LLM-Powered Development Setup
gist.github.com·10h·
Discuss: Hacker News
🦋Format Metamorphosis