🔬 Static Analysis - hello · Scour

Categorical systems theory

danmackinlay.name·5d

∘Category Theory

Sampling the Oxford CS Library

blog.computationalcomplexity.org·5d·

Discuss: blog.computationalcomplexity.org

🎲 TypeScript strictness is non-monotonic: strict-null-checks and no-implicit-any interact

huonw.github.io·3d

(50) Set-Roster vs Set-Builder notation

youtube.com·2d

AgentStepper: Interactive Debugging of Software Development Agents

arxiv.org·23h

slow abstraction

steel-water.bearblog.dev·5d

🧠Memory Models

Abstract Framework for All-Path Reachability Analysis

arxiv.org·4d

Same Surface, Different Weight

robpanico.com·2d·

Discuss: Hacker News

🕸️WebAssembly

The Little Book of Linear Algebra

little-book-of.github.io·3d

📐Linear Algebra

Python’s Truthiness: A Code Smell Worth Sniffing

owl.billpg.com·3d·

Discuss: Hacker News

🌊CALM Theorem

Game Development with Godot 4 and C# (Packt)

i-programmer.info·5d

🎮Game Development

Michael Tsai - Blog - LLMs and Software Development Roundup

mjtsai.com·3d

💬Prompt Engineering

Writing the Code That Powers Your Code

thelinell.com·6d·

Discuss: Hacker News

Build LLM-Powered Documentation that Always Stays True to latest codebeases

pub.towardsai.net·4d

📚Technical Writing

Performance Tip of the Week #79: Make at most one tradeoff at a time

abseil.io·2d

**Abstract:** This paper proposes a novel framework for the automated discovery and validation of previously unknown fractal-based geometric sequences within...

freederia.com·3d

Dot Chain Special Operators

yamlscript.org·2d

3️⃣Three-Address Code

Tiny Clippy – A native Office Assistant built in Rust and egui

github.com·2d·

Discuss: Hacker News

feldera/feldera: The Feldera Incremental Computation Engine

github.com·2d

The Spec Problem, Part 1: When Tools Try to Do Too Much

blog.gorewood.games·4d

Loading more...