here you goThings I’ve made, read and saved — shared here.

Archive

9,713 entries: 103 from X, 8,925 from Pinboard, saved 1998 to 2026.

Browse by tag, site, author, folder or language

Tags

Sites

Authors

Folders

Languages

Showing 1,051–1,100 of 9,588Language unknown ×

2025

AI Evals

Note

AI Eval FAQs; June 2025. AI Evals Flashcards EvalOps EvalOps is the control plane for AI evaluation and routing. It helps teams compare LLMs, track performance, and automatically send each request to the best LLM. EvalOps turns evals into…

More about AI Evals

Quartz notesPermalink

notes

sphinx

Note

Sphinx is a powerful documentation generator that supports multiple programming languages and markup formats. It is widely used in the Python community and is the documentation generator for many popular Python projects. Furo -- A clean…

More about sphinx

Quartz notesPermalink

notes

Context Engineering

Note

Context Engineering is building dynamic systems to provide the right information and tools in the right format such that the LLM can plausibly accomplish the task. Should consider Context Engineering as an evolved form of Prompt…

More about Context Engineering

Quartz notesPermalink

notes

documentation-software

Note

Documentation software - things like sphinx, mkdocs, Docusaurus etc Zensical aims to be a replacement for mkdocs which has not seen updates since 2024. outline/outline: The fastest knowledge base for growing teams. Beautiful, realtime…

More about documentation-software

Quartz notesPermalink

notes

The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006

youtube.com

Harry Goldstein, professor at the University at Buffalo, explores the programming language Lean as more than just a proof assistant. In this talk, he walks through how Lean enables powerful metaprogramming and live programming features, allowing developers to define new syntax, build interactive widgets, and reshape their development experience directly in the language. This is a look at how a simple language design can support complex workflows and why other languages might want to catch up.

More about The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006

Desktop AI Tools

Note

ollama is a lightweight, open-source AI inference engine that allows users to run large language models on their desktops. FlowDown AI/LLM client application designed to provide users with an efficient AI interaction experience on the…

More about Desktop AI Tools

Quartz notesPermalink

notes

exif

Note

You can use the exiftool (available on MacOS and other Unixes) to remove GPS information etc from your photos. Original Image with embedded EXIF data Altered Image with reduced EXIF data

More about exif

Quartz notesPermalink

notes

Rerankers

Note

Rerankers and Two-Stage Retrieval | Pinecone Boosting Your Search and RAG with Voyage’s Rerankers – Voyage AI A reranker is often used as a refinement step in a two-stage retrieval system. In the first stage, embedding-based methods (or…

More about Rerankers

Quartz notesPermalink

notes

Embeddings

Note

Word Embedding Analysis -- provides semantic analysis tools based on high-dimensional vector space word embeddings, combining updated features. You can play around the online tools to see how the different techniques work. What are…

More about Embeddings

Quartz notesPermalink

notes

AI Coding

Note

Karpathy on Dec 25, 2025 on X: I've never felt this much behind as a programmer. The profession is being dramatically refactored as the bits contributed by the programmer are increasingly sparse and between. I have a sense that I could be…

More about AI Coding

Quartz notesPermalink

notes

Machine Learning Books

Note

Patterns, Predictions, and Actions by Moritz Hardt and Benjamin Recht; PDF, problem sets. Learning Theory from First Principles by Francis Bach. Foundations of Machine Learning by Mehryar Mohri. Understanding Machine Learning: From Theory…

More about Machine Learning Books

Devstral | Mistral AI

mistral.ai

agentic LLM for software engineering tasks. Devstral is built under a collaboration between Mistral AI and All Hands AI 🙌, and outperforms all open-source models on SWE-Bench Verified by a large margin. We release Devstral under the Apache 2.0 license.

More about Devstral | Mistral AI

All Hands AI

all-hands.dev

Open Source Agents for Developers
Use AI to tackle the toil in your backlog, so you can focus on what matters: hard problems, creative challenges, and over-engineering your dotfiles

More about All Hands AI

all-hands.devPinboardPermalink

Business Books

Note

Via Four years of running a SaaS in a competitive market - Max Rozen The Mom Test by Rob Fitzpatrick Deploy Empathy by Michele Hansen Badass: Making Users Awesome by Kathy Sierra The SaaS Playbook by Rob Walling Via Merri Cronk of Frannet…

More about Business Books

Quartz notesPermalink

notes#books