🎯 Hindley-Milner - hello · Scour

LET vs ALLR: Same Drawer, Different Spin

ryortho.com

·22h

📊HyperLogLog

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

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

📊Optimization

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

gamingonlinux.com·1d

Modular: BentoML Joins Modular

modular.com·2d

AI tools that are actually useful

fastcompany.com·1d

💬Prompt Engineering

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

databricks.com·17h

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

🕐Vector Clocks

eprint.iacr.org·1d

🐦Cuckoo Hashing

Monitor Jailbreaking: Evading Chain-of-Thought Monitoring Without

lesswrong.com·20h

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

eprint.iacr.org·4d

✅Model Checking

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

hackernoon.com·1d

🗃️Zettelkasten

The Seven Qualification Tests for an AI Scientist

hackernoon.com·22h

💬Prompt Engineering

Let Lambda Come Over

yamlscript.org·5d

λFunctional Programming

Rethinking Code Complexity Through the Lens of Large Language Models

arxiv.org·2d

🔬Static Analysis

arxiv.org·8h

🎭Program Synthesis

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

dev.to·2d·

Discuss: DEV

🔬Static Analysis

Your AI has no memory. Your Rails codebase does.

rubyonai.com·23h·

Discuss: Hacker News

Langfuse - Open Source LLM Engineering Platform

langfuse.com·2d

Loading more...