λ Functional Programming - hello · Scour

Efficient Benchmarking of Logical Magic State

link.aps.org·3d

✅Model Checking

Building a data greenhouse

jmduke.com·2d

Coding with AI: The Complete Guide to the Good, The Bad, and The Future

dev.to·5h·

Discuss: DEV

🎭Program Synthesis

How I Built a Random Number Generator (Sort Of)

dev.to·1d·

Discuss: DEV

A general optimization framework for mapping local transition-state networks

nature.com·2d

Compile and Run Your First Program

emojicode.org·2d·

Discuss: Hacker News

♻️Interning

The Little Book of Linear Algebra

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

📐Linear Algebra

E-Globe: Scalable $\epsilon$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching

arxiv.org·3d

On the Reachability Problem for One-Dimensional Thin Grammar Vector Addition Systems

arxiv.org·3d

🔨Compiler Design

Logistic Regression, Average Marginal Effects, and the Linear Probability Model - Part II: Coefficients and AMEs of nested models

elff.eu·2d

⚡Polars Expression API

Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla

sobolev.substack.com·5d·

Discuss: Substack

Show HN: Programming Language for Music- Aethra

news.ycombinator.com·2d·

Discuss: Hacker News

LLMs could be, but shouldn't be compilers

alperenkeles.com·2d·

Discuss: Lobsters, Hacker News

📊Profile-Guided Optimization

hanig/engram: Personal knowledge graph and automation system

github.com·1d

🗂️Obsidian

Issues with AI: Toxic Dependencies

blog.mathieui.net·2d·

Discuss: Hacker News

💬Prompt Engineering

Writing the Code That Powers Your Code

thelinell.com·5d·

Discuss: Hacker News

Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU

github.com·1d·

Discuss: Hacker News, r/LocalLLaMA

My Journey Learning Google ADK: Building AI Agents from Scratch

pub.towardsai.net

·2d

💬Prompt Engineering

yamlscript.org·2d

📊Dynamic Programming

Sometimes it's hard to be lazy

yamlscript.org·2d

⏭️Skip Lists

Loading more...