🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📚 Automata Learning

Grammatical Inference, TTT, L#, automata learning

ChatGPT's Micro-Cap Portfolio: Week 10
nathanbsmith729.substack.com·3h·
Discuss: Substack
🔠Type-Level Programming
Scientific Word 4.1-6.1 are now free
mackichan.com·5h·
Discuss: Hacker News
🐳Containerization
Computers Are for Girls – Datagubbe.se
datagubbe.se·36m·
Discuss: Hacker News
💾Retro Computing
Money for Nothing, Chips for Free
phrack.org·2d·
Discuss: Hacker News
💾Retro Computing
The Oscar Winning Algorithm
sangarshanan.com·1d·
Discuss: Hacker News
🏹Effect Systems
The (sometimes rocky) road to a paper
lmao.bearblog.dev·3d·
Discuss: Hacker News
🧮Lambda Calculus
You.com Raises $100M Series C at a $1.5B Valuation
home.you.com·2d·
Discuss: Hacker News
🛡️seL4
Splitting a long string in lines efficiently
lemire.me·7h·
Discuss: Hacker News
🐫Embedded OCaml
Signals and Threads – Why ML Needs a New Programming Language
signalsandthreads.com·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🐫Embedded OCaml
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·6d·
Discuss: Hacker News
🧩Parser Combinators
Warming Up for Zeroth-Order Federated Pre-Training with Low Resource Clients
arxiv.org·3d
🔠Type-Level Programming
Privacy Risks in Time Series Forecasting: User- and Record-Level Membership Inference
arxiv.org·2d
🧠Automated Reasoning
OpenAI’s Sam Altman Sees a Future With a Collective ‘Superintelligence’
thenewstack.io·13h
🤖Program Synthesis
Vehicle-to-Infrastructure Collaborative Spatial Perception via Multimodal Large Language Models
arxiv.org·2d
🧩Separation Logic
Unlearning That Lasts: Utility-Preserving, Robust, and Almost Irreversible Forgetting in LLMs
arxiv.org·3d
🧩Parser Combinators
Teacher-Student Model for Detecting and Classifying Mitosis in the MIDOG 2025 Challenge
arxiv.org·2d
➡️Category Theory
Imitate Optimal Policy: Prevail and Induce Action Collapse in Policy Gradient
arxiv.org·3d
🎮Verification Games
The Missing Error Bars in AI Research That Nobody Talks About.
lesswrong.com·4d
✓Automated Theorem Proving
An Efficient GNNs-to-KANs Distillation via Self-Attention Dynamic Sampling with Potential for Consumer Electronics Edge Deployment
arxiv.org·4d
🧩Parser Combinators
Exploring LLMs for ICD Coding – Part 1
medium.com·3d·
Discuss: Hacker News
🤖Program Synthesis
Loading...Loading more...
AboutBlogChangelogRoadmap