simonw/claude-skills
simonwillison.net·8h
📄PostScript
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
TypeScript Flaws (2024)
intercaetera.com·4d·
Discuss: Hacker News
🎯Gradual Typing
Programmer in Wonderland
binaryigor.com·1d·
Discuss: Hacker News
🔩Systems Programming
The Mondrian introduction to functional optics
marcosh.github.io·3d·
Discuss: Lobsters, Hacker News
⟷Bidirectional Programming
Which programming language does AI write best? Python, JavaScript or Elixir?
revelry.co·1d·
Discuss: Hacker News
🏗️Compiler Archaeology
English - the hottest programming language of the future
dev.to·15h·
Discuss: DEV
🔄Language Evolution
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
Show HN: Using an LLM to sensibly sort a shopping receipt
treblig.org·1d·
Discuss: Hacker News
🔗Constraint Handling
A new breed of analyzers
daniel.haxx.se·20h·
Discuss: Lobsters, Hacker News, r/programming
🐛Fuzzing
The Custom Conveyor: Building Your Own Iterators
dev.to·4h·
Discuss: DEV
🔄Burrows-Wheeler
Ship Broken Things
matmul.net·1d·
Discuss: Hacker News
🔗Topological Sorting
IASC: Interactive Agentic System for ConLangs
arxiv.org·1d
🌳Context free grammars
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
💻Programming languages
CIR-CoT: Towards Interpretable Composed Image Retrieval via End-to-End Chain-of-Thought Reasoning
arxiv.org·1d
🧮Vector Embeddings
Replacing the Type Checker for the Swift Compiler
forums.swift.org·2d·
Discuss: Hacker News
💧Liquid Types
Operable Software
ferd.ca·19h·
Discuss: Hacker News
👁️System Observability
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
⚙️Proof Engineering
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·1d·
Discuss: DEV
💻Local LLMs
Test-Time Reasoners Are Strategic Multiple-Choice Test-Takers
arxiv.org·1d
✓Automated Theorem Proving