🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Operational Semantics

Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods

My ed(1) Toolbox
aartaka.me·1d
📺VT100
DOE Experimental Condensed Matter Physics PI Meeting 2025 - Day 1
nanoscale.blogspot.com·1d·
Discuss: www.blogger.com
⚛️Information Physics
Quick SEO Guidelines for Your Next.js App
playfulprogramming.com·18h
🎯Content Recommendation
<p>🔗 <a href="https://manuelmoreale.com/on-em-dashes">Manuel Moreale: On em dashes</a></p>
lmika.org·4h
🖋Typography
How to make graphical Python apps the EasyGUI way
tomshardware.com·17h
🪟Awesome windows command-line
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·1d·
Discuss: Hacker News
🛡️eBPF Security
All You Need Is SSH
wrongthink.link·1d·
Discuss: Lobsters, Hacker News
💿WORM Storage
Demystifying Tensor Parallelism
robotchinwag.com·2d·
Discuss: Hacker News
🕸️Tensor Networks
Introduction to Linear Types
austral-lang.org·4d·
Discuss: Hacker News
🔒Linear Types
Is the "overly helpful and overconfident idiot" aspect of existing LLMs inherent to the tech or a design/training choice?
reddit.com·1d·
Discuss: r/artificial
💻Local LLMs
Billion-Line Days Demand Billion-Test Nights
momentic.ai·1d·
Discuss: Hacker News
📏Code Metrics
🚀Git + Databricks: Why Both Are Essential for Modern Data Engineering
dev.to·1d·
Discuss: DEV
🌳Git Internals
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·2d
💎Information Crystallography
🚀 Day 10 of My Python Learning Journey
dev.to·2d·
Discuss: DEV
📊APL Heritage
izzyreal/vmpc-juce
github.com·1d
🎮Gameboy Emulation
The maths you need to start understanding LLMs
dev.to·4d·
Discuss: DEV
💻Local LLMs
Feed-O-Meter: Fostering Design Feedback Skills through Role-playing Interactions with AI Mentee
arxiv.org·1d
🎯Content Recommendation
JoPA:Explaining Large Language Model's Generation via Joint Prompt Attribution
arxiv.org·1d
🤖Grammar Induction
You are not going to turn into Google eventually
idiallo.com·17h·
Discuss: Hacker News
❄️Nix Flakes
I Finally Stopped Alt-Tabbing to ChatGPT While Coding
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Loading...Loading more...
AboutBlogChangelogRoadmap