🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
📝 Term Rewriting

Equational Logic, Reduction Strategies, Confluence, Normalization

This Plotter Knows No Boundaries
hackaday.com·3h
🔄Finite State Machines
The gen on function perilogues (2010)
jdebp.uk·14h·
Discuss: Hacker News
🐫Embedded OCaml
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Dependent types I › Universes, or types of types
jonmsterling.com·6d·
Discuss: Hacker News
➡️Category Theory
The Grammar According to West
dwest.web.illinois.edu·6d·
Discuss: Hacker News
➡️Category Theory
Think in Games: Learning to Reason in Games via Reinforcement Learning with Large Language Models
arxiv.org·1d
🎮Verification Games
A model of Boy's surface in constructive solid geometry
math.univ-toulouse.fr·7h·
Discuss: Hacker News
⚡Process Calculi
Scott Kim's Inversions: Dream and Level
nkanaev.com·13h·
Discuss: Hacker News
🐫OCaml
Your LLM-assisted scientific breakthrough probably isn't real
lesswrong.com·11h·
Discuss: Hacker News
✓Automated Theorem Proving
You're Not Interviewing for the Job. You're Auditioning for the Job Title
idiallo.com·5h·
Discuss: Hacker News
👁️System Observability
Igniting Creative Writing in Small Language Models: LLM-as-a-Judge versus Multi-Agent Refined Rewards
arxiv.org·1d
🧩Parser Combinators
Gradient routing is better than pretraining filtering
lesswrong.com·17h
🩹Self-Healing Systems
Apertus: a fully open, transparent, multilingual language model
actu.epfl.ch·17h·
Discuss: Hacker News, r/LLM, r/LocalLLaMA
🔬Unikernels
Parallel AI Agents Are a Game Changer
morningcoffee.io·4h·
Discuss: Hacker News
🤖Program Synthesis
Server-side rendering is dead, long live server-side rendering
pageo.us·9h·
Discuss: Hacker News
🔬Unikernels
Everything About Bitflags
neg4n.dev·13h·
Discuss: Hacker News, r/javascript, r/node
🐫Embedded OCaml
Adaptive generative moment matching networks for improved learning of dependence structures
arxiv.org·1d
📚Automata Learning
Measuring cryptographic strength in liters of boiling water
johndcook.com·6h·
Discuss: Hacker News
🛡️seL4
Show HN: FlatGem, a free GUI to bulk-process local files with Gemini API
github.com·1d·
Discuss: Hacker News
🔧Unikernel Development
open source is distinct from Open Source
paritybits.me·9h·
Discuss: Hacker News
❄️Nix
Loading...Loading more...
AboutBlogChangelogRoadmap