๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Denotational Semantics

Domain Theory, Fixed Points, Continuations, Program Equivalence

Money for Nothing, Chips for Free
phrack.orgยท1dยท
Discuss: Hacker News
๐Ÿ’พRetro Computing
How to Vibe Code Effectively
ibrahimahmed.caยท3dยท
Discuss: Hacker News
๐Ÿ”ฌStatic Analysis
Show HN: Real-time webcam motion capture for MMD anime characters
news.ycombinator.comยท20hยท
Discuss: Hacker News
๐Ÿ’ŽRefinement Types
Why Your Legacy APIs Are a Roadblock for AI Agents
thenewstack.ioยท3d
๐Ÿ’ŽRefinement Types
LINKER: Learning Interactions Between Functional Groups and Residues With Chemical Knowledge-Enhanced Reasoning and Explainability
arxiv.orgยท3d
โžก๏ธCategory Theory
ANTS: Shaping the Adaptive Negative Textual Space by MLLM for OOD Detection
arxiv.orgยท2d
๐ŸงฉParser Combinators
Formal Verification of Isothermal Chemical Reactors
arxiv.orgยท4d
๐Ÿง Automated Reasoning
Why Rewriting Emacs Is Hard
kyo.iroiro.partyยท4dยท
Discuss: Lobsters, Hacker News, Hacker News, r/programming
๐ŸซEmbedded OCaml
Enhancing Speech Large Language Models through Reinforced Behavior Alignment
arxiv.orgยท2d
๐ŸงฉParser Combinators
Reactive algorithms: How Angular took the right path
medium.comยท3dยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
I used an AI triage bot to close 85 GitHub issues in a weekend
bagerbach.comยท2dยท
Discuss: Hacker News
๐Ÿ”ฌStatic Analysis
ML Systems: Motivating Dense Models
jacobkahn.meยท3dยท
Discuss: Hacker News
๐ŸงฎLambda Calculus
INCPrompt: Task-Aware incremental Prompting for Rehearsal-Free Class-incremental Learning
arxiv.orgยท3d
๐ŸŽฎVerification Games
EmbeddingGemma - 300M parameter, state-of-the-art for its size, open embedding model from Google
huggingface.coยท3dยท
Discuss: Hacker News, r/LocalLLaMA
๐ŸงฉParser Combinators
Aligning Machine and Human Visual Representations across Abstraction Levels
arxiv.orgยท3d
๐ŸงฉParser Combinators
AI and Software Productivity
arnoldkling.substack.comยท22hยท
Discuss: Substack
๐Ÿ‘๏ธSystem Observability
I made a transformer by hand (no training)
vgel.meยท3dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Unlearning That Lasts: Utility-Preserving, Robust, and Almost Irreversible Forgetting in LLMs
arxiv.orgยท3d
๐Ÿ“šAutomata Learning
LifeGPT: Generative pretrained transformer model for cellular automata
nature.comยท1dยท
Discuss: Hacker News
๐Ÿ“šAutomata Learning
Breaking the Mirror: Activation-Based Mitigation of Self-Preference in LLM Evaluators
arxiv.orgยท2d
๐Ÿ“šAutomata Learning
Loading...Loading more...
AboutBlogChangelogRoadmap