💫 Effect Systems - hello · Scour

[2004.00731] Small object arguments, plus-construction, and left-exact localizations

arxiv.org·3h

🏷️Pointer Tagging

🚀 Building My First Web3 App on Monad Using AI + Simple Prompts

dev.to·52m·

Discuss: DEV

Struggling Towards an Algebraic Theory of Music

reasonablypolymorphic.com·3h·

Discuss: Hacker News

∘Category Theory

Fragments: February 9

martinfowler.com·22h

💬Prompt Engineering

When Evaluation Becomes a Side Channel: Regime Leakage and Structural Mitigations for Alignment Assessment

arxiv.org·12h

🔗Link-Time Optimization

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·22h

∘Category Theory

Observations and Complexity

lesswrong.com·1d

⏰Lamport Clocks

What are Effect System and Why Do We care?

idiomaticsoft.com·6d

🧮Algebraic Effects

An approach to reducing prompt size, drift, and governance risk in LLM-based systems

qu3ry.net·20h·

Discuss: r/LLM

⏱️Temporal Workflow

Simplifying assertions with lenses

blog.ploeh.dk·1d

✅Property Testing

AFMTJ Model For In-Memory Computing (University of Arizona)

semiengineering.com·42m

ESLint - Pluggable JavaScript Linter

eslint.org·1d·

Discuss: r/javascript

amirouche/seed: Adding `vau` with an immutable dynamic environment to Chez Scheme

github.com·1d·

Discuss: Hacker News

🦀Rust Macros

spoocejuice.itch.io·6h

intersection type in nLab

ncatlab.org·5h

📐Type Theory

Just-in-Time Ontological Reframing: Teaching Gemini to Route Around Its Own Safety Infrastructure

recursion.wtf·21h

What Functional Programmers Get Wrong About Systems

iankduncan.com·20h

💎Refinement Types

Gated Attention & DeltaNets: The Missing Link for Long-Context AI

pub.towardsai.net

·12h

🤖Transformers

What's up with Haskell's do notation?

slightknack.dev·1d

Show HN: Deterministic linguistic enrichment pipeline for Node.js

npmjs.com·6h·

Discuss: Hacker News

Loading more...