🔍 Refinement Types - abnv · Scour

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·2d·

Discuss: Hacker News, r/Compilers

Why Learning Elixir (and programming) Still Matters in the AI Era

dev.to·3h·

Discuss: DEV

🎭Program Synthesis

Clojure’s Persistent Data Structures: Immutability Without the Performance Hit

javacodegeeks.com·4d

🌳Persistent Data

On Linguistic Precision

blog.firedrake.org·2d

🧪Parser Testing

Stop Writing Boilerplate: How I Built a Code Generator to Automate NestJS Development

dev.to·1d·

Discuss: DEV

🤖Code Generation

Making Pyrefly Diagnostics 18x Faster

pyrefly.org·3d·

Discuss: Hacker News

💬Interactive REPLs

Chasing a Zig AVR Segfault Down to LLVM

sourcery.zone·1d·

Discuss: r/Zig

💬Error Messages

HyPER: Bridging Exploration and Exploitation for Scalable LLM Reasoning with Hypothesis Path Expansion and Reduction

arxiv.org·13h

🪜Recursive Descent

Steering Large Reasoning Models towards Concise Reasoning via Flow Matching

arxiv.org·3d

🔗Borrowing Extensions

Production pain points and coordination patterns from building a dual-orchestrator (Claude + Kimi) system on Claude Code. 8 failure modes with specs and invariants.

gist.github.com·1d·

Discuss: Hacker News

📋Task Queues

Code only says what it does

brooker.co.za·1d·

Discuss: Hacker News

📚Self-Documenting Code

Tip of the Week #227: Be Careful with Empty Containers and Unsigned Arithmetic

abseil.io·1d

📦Allocation Elision

Tip of the Week #99: Nonmember Interface Etiquette

abseil.io·1d

🌉Language Bindings

Should small Rust structs be passed by-copy or by-borrow?

forrestthewoods.com·1d

🔒Rust Borrowing

**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and Recursive HyperScore ...

freederia.com·3d

💓Live Variable Analysis

Using Rust to Delete Gitignored Cruft

forrestthewoods.com·1d

🔒Rust Borrowing

Show HN: A Prompting Framework for Non-Vibe-Coders

github.com·1d·

Discuss: Hacker News

💬Interactive REPLs

YAML Best Practices

yamlscript.org·2d

⚙️Configuration Parsing

The Spec Problem, Part 2: Dialectical Refinement

blog.gorewood.games·3d

🎭Program Synthesis

Jacob Boxerman - Declarative, Reproducible Emacs with straight.el and use-package

jakebox.github.io·2d·

Discuss: Lobsters, Hacker News

⚙️TOML Parsers

Loading more...