🧩 Types - emschwartz · Scour

[2602.01292] Factorization algebras in quite a lot of generality

arxiv.org·4d

💻Programming languages

On Complete Categorical Semantics for Effect Handlers

arxiv.org·4d

📏Linear Types

February 7, 2026

heathercoxrichardson.substack.com·2h·

Discuss: Substack

🗽Immigration Policy

555-Based Square-Wave and Triangle-Wave Function Generator Build for Beginners

hackaday.com·2h

🔐Cryptography

Opinion | The Demise of U.S.A.I.D. Was a Warning

nytimes.com

·2h

💵Economic Statecraft

Controversial YouTuber barred from PGA Tour events after Phoenix Open disruption

theguardian.com·2h

💉Prompt Injection

We offered my friend a room to help her out, but four years later she’s still living with us

theguardian.com·2h

🤖Home Assistant

Big Picture Skiing Home Page

bigpictureskiing.com·2h

Internal Control Systems (ICS) for Group Certification

ifoam.bio·1h

🚢Supply Chain Economics

Milliways • Getting rid of CD Check on Asphalt Duell (Mini Car Racing)

vogons.org·1h

⚡Zero-Copy APIs

We Asked a Doctor If Drinking More Water Can Actually Boost Your Energy

verywellhealth.com·39m·

Discuss: Hacker News

🍌Endurance Nutrition

Megabonk Leaderboard

megabonk.fun·1h

📊Statistical Ranking

It’s nice to have a friend

alterick.bearblog.dev·2h

🎯Recommendation Metrics

Five steps to a user-centric website - it takes commitment, creativity and experience

thedrum.com·1h

🌱Bootstrapping

PSA: if you're on 1.33-1.35, upgrade asap

reddit.com·8m·

Discuss: r/bcachefs

💾Persistence Strategies

Table Beats mkI

jdtorian.bearblog.dev·2h

Transform Books into Interactive Courses

book2course.org·1h·

Discuss: Hacker News

Build an AI RAG Chatbot with n8n, Google Drive & Gemini

lumberjack.so·36m

Forgotten Youth Poem Series (#3): Eyes.

sufyazi.bearblog.dev·1h

East Africa’s dismal football record doesn’t match its passion

theconversation.com·1h

🏛️Comparative Politics

Loading more...