🎯 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

·18h

📊HyperLogLog

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

gamingonlinux.com·21h

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·20h

💬Prompt Engineering

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

databricks.com·12h

Active learning enables generation of molecules that advance the known Pareto front

nature.com·1d

🧬Computational Biology

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

greaterwrong.com·2d

💬Prompt Engineering

[Repost] Integration contemplation

danq.me·11h

🕐Vector Clocks

Monitor Jailbreaking: Evading Chain-of-Thought Monitoring Without

lesswrong.com·16h

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

hackernoon.com·20h

🗃️Zettelkasten

The Seven Qualification Tests for an AI Scientist

hackernoon.com·18h

💬Prompt Engineering

Let Lambda Come Over

yamlscript.org·5d

λFunctional Programming

Building a Structured Finance Tracker in Vanilla JavaScript (Without Frameworks)

dev.to·16h·

Discuss: DEV

RuleFlow : Generating Reusable Program Optimizations with LLMs

arxiv.org·1d

📊Profile-Guided Optimization

Lightweight CLI for Specification-Driven Development

dev.to·1d·

Discuss: DEV

Rethinking Code Complexity Through the Lens of Large Language Models

arxiv.org·2d

🔬Static Analysis

Your AI has no memory. Your Rails codebase does.

rubyonai.com·18h·

Discuss: Hacker News

Langfuse - Open Source LLM Engineering Platform

langfuse.com·1d

Loading more...