🎯 Hindley-Milner - hello · Scour

Stability of \(L^p\) Dirichlet solvability under small bi-Lipschitz transformations of domains

sonomarpa.sonoma.lib.ca.us·1d

📊Optimization

LET vs ALLR: Same Drawer, Different Spin

ryortho.com

·21h

📊HyperLogLog

Prefixer is a modern alternative to Protontricks that's faster and simpler

gamingonlinux.com·1d

zkAgent: Verifiable Agent Execution via One-Shot Complete LLM Inference Proof

eprint.iacr.org·4d

✅Model Checking

A lightweight OpenClaw-inspired AI assistant in Go

reddit.com·2d·

Discuss: r/golang

AI tools that are actually useful

fastcompany.com·23h

💬Prompt Engineering

Domain Intelligence Wins: What “High-Quality” Actually Means in Production AI

databricks.com·15h

Backtracking Algorithms

algos.khourani.com·1d

💃Dancing Links

SAE Feature Matchmaking (Layer-to-Layer) by Mitali M

greaterwrong.com·2d

💬Prompt Engineering

[Repost] Integration contemplation

danq.me·14h

🕐Vector Clocks

Monitor Jailbreaking: Evading Chain-of-Thought Monitoring Without

lesswrong.com·19h

5 LLM Workflow Patterns for Building Scalable AI Applications: A Complete Guide (With Examples)

pub.towardsai.net

·2d

💬Prompt Engineering

Researchers Propose a Turing Test to Measure Whether AI Can Make Scientific Discoveries

hackernoon.com·23h

🗃️Zettelkasten

The Seven Qualification Tests for an AI Scientist

hackernoon.com·21h

💬Prompt Engineering

Let Lambda Come Over

yamlscript.org·5d

λFunctional Programming

Building an AI Code Analyzer with Google AI Studio (And Finishing It in Cursor)

dev.to·18h·

Discuss: DEV

Impredicativity in Linear Dependent Type Theory

arxiv.org·2d

🔗Dependent Types

Impressions on the Book “Tidy First? A Personal Exercise in Empirical Software Design” by Kent Beck

dev.to·2d·

Discuss: DEV

🔬Static Analysis

Automata on Graph Alphabets

arxiv.org·1d

🔤Suffix Automata

Langfuse - Open Source LLM Engineering Platform

langfuse.com·2d

Loading more...