🐿️ 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

DOE Experimental Condensed Matter Physics PI Meeting 2025 - Day 1
nanoscale.blogspot.com·22h·
Discuss: www.blogger.com
⚛️Information Physics
Quick SEO Guidelines for Your Next.js App
playfulprogramming.com·14h
🎯Content Recommendation
humanely dealing with humungus crawlers
flak.tedunangst.com·8h
🐧FOSS
<p>🔗 <a href="https://manuelmoreale.com/on-em-dashes">Manuel Moreale: On em dashes</a></p>
lmika.org·49m
🖋Typography
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
From misconceptions to momentum – the case for vibe coding in modern enterprises
techradar.com·1d
📏Code Metrics
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·2d·
Discuss: Substack
📏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·1d·
Discuss: DEV
🌳Git Internals
Show HN: SwiftLake – Lightweight SQL Engine for Iceberg Tables
github.com·1d·
Discuss: Hacker News
🌊Streaming Systems
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
arxiv.org·1d
🌳Archive Merkle Trees
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·20h
🤖Grammar Induction
Feed-O-Meter: Fostering Design Feedback Skills through Role-playing Interactions with AI Mentee
arxiv.org·20h
🎯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
Loading...Loading more...
AboutBlogChangelogRoadmap