🐿️ 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
How Sui Move rethinks flash loan security
blog.trailofbits.com·6h
⚡Hardware Transactional Memory
humanely dealing with humungus crawlers
flak.tedunangst.com·1h
🐧FOSS
How to make graphical Python apps the EasyGUI way
tomshardware.com·6h
🪟Awesome windows command-line
NIST Revises Security & Privacy Control Catalog for Software Updates & Patches
nist.gov·4h·
Discuss: Hacker News
🔤EBCDIC Privacy
Introducing Tier 1 Reachability: Precision CVE Triage for Enterprise Teams
socket.dev·22h·
Discuss: Hacker News
🛡️eBPF Security
Demystifying Tensor Parallelism
robotchinwag.com·1d·
Discuss: Hacker News
🕸️Tensor Networks
Introduction to Linear Types
austral-lang.org·3d·
Discuss: Hacker News
🔒Linear Types
Vibe Coding vs. Spec-Driven Development
redmonk.com·3d·
Discuss: Hacker News
📏Code Metrics
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·22h·
Discuss: DEV
🌳Git Internals
Zero-Freeness is All You Need: A Weitz-Type FPTAS for the Entire Lee-Yang Zero-Free Region
arxiv.org·1d
💎Information Crystallography
The maths you need to start understanding LLMs
dev.to·4d·
Discuss: DEV
💻Local LLMs
JoPA:Explaining Large Language Model's Generation via Joint Prompt Attribution
arxiv.org·13h
🤖Grammar Induction
Feed-O-Meter: Fostering Design Feedback Skills through Role-playing Interactions with AI Mentee
arxiv.org·13h
🎯Content Recommendation
I Finally Stopped Alt-Tabbing to ChatGPT While Coding
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Anchoring Refusal Direction: Mitigating Safety Risks in Tuning via Projection Constraint
arxiv.org·1d
✨Effect Handlers
🚀 Day 10 of My Python Learning Journey
dev.to·2d·
Discuss: DEV
📊APL Heritage
izzyreal/vmpc-juce
github.com·16h
🎮Gameboy Emulation
Loading...Loading more...
AboutBlogChangelogRoadmap