🔢 Algebraic Data Types - emschwartz · Scour

Are You Using Structural Patterns In An SLT Environment?

semiengineering.com·1d

🖥️Hardware Architecture

joodaloop.com·1d

⚙️Database Internals

Towards Real-World Industrial-Scale Verification: LLM-Driven Theorem Proving on seL4

arxiv.org·1d

The NuGet Package (Part 2) (English)

mostlylucid.net·1d

🔤Font Rendering

LLM Performance in Astro, React, Tailwind and Cloudflare

10xbench.ai·22h·

Discuss: Hacker News

🏆LLM Benchmarking

Rewrote my Node.js data generator in Rust. 20x faster, but the 15MB binary (vs 500MB node_modules) is the real win.

algomimic.com·22h·

Discuss: r/rust

🏹Apache Arrow

The Two-Board Problem: Training Environment for Research Agents

lesswrong.com·2d

🔤Tokenization

Main Content || Math ∩ Programming

jeremykun.com·2d

🌳Data Structures

Computing Conditional Shapley Values Using Tabular Foundation Models

arxiv.org·15h

💰Cost-Based Optimization

☕ Compounding tensions

kill-the-newsletter.com·2d

🚫Economic Sanctions

Show HN: Niko Table – Composition-based table built on Shadcn/UI and TanStack

niko-table.com·23h·

Discuss: Hacker News

🪟Virtual Tables

Information Flow Verification Framework Integrating Static and Formal Verification Methods At The Pre-Silicon Stage (U. of Florida)

semiengineering.com·1d

relux.com·4h

🤖Home Assistant

Show HN: ShapeGuard – Shape Contracts for NumPy and Jax

news.ycombinator.com·2d·

Discuss: Hacker News

Introduction to Forward-Error-Correcting Coding

ntrs.nasa.gov·27s

🗜️Vector Compression

Making Waffles with Group Theory

hmpcabral.com·2d·

Discuss: Hacker News

SAE Feature Matchmaking (Layer-to-Layer)

lesswrong.com·1d

E2EE Backend part 1: Homomorphic Encryption

peterspath.net·2d·

Discuss: Hacker News

🔐Cryptography

Summer Men's Lapel Shirts Men's 3D Printing Lapel Cardigan Four Seasons Long-sleeved Floral Print Shirt

jrsee.com·22h

📖E-Ink Displays

Struggling Towards an Algebraic Theory of Music

reasonablypolymorphic.com·1d·

Discuss: Hacker News

💻Programming languages

Loading more...