The impact of different languages on our thinking and doing
languagelog.ldc.upenn.edu·1d
📼Tape Linguistics
STH Hardware Upgrades 2025 Edition
servethehome.com·5h
🖥️Modern Terminals
BSD Now 620: Postmortem for jemalloc
discoverbsd.com·13h
🔌Operating system internals
Distant Writing: Literary Production in the Age of Artificial Intelligence
papers.ssrn.com·1d·
Discuss: Hacker News
🏛Digital humanities
How to run an LLM on your laptop
simonwillison.net·10h
💻Local LLMs
Reflecting on PLDI 2025
people.csail.mit.edu·5d·
Discuss: Hacker News
🌐Protocol Synthesis
Trying Guix: A Nixer's Impressions
tazj.in·3d·
Discuss: Lobsters, Hacker News, Hacker News
❄️Nix Adoption
Everyone knows what a horse is: What we got wrong about universal translators
nimishg.substack.com·1d·
Discuss: Substack
💻Programming languages
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·2d·
Discuss: Hacker News
⚡Proof Automation
SQL CASE Statements: The Order Matters!
dev.to·4h·
Discuss: DEV
🔗Constraint Handling
Machine Learning Fundamentals: dimensionality reduction
dev.to·2d·
Discuss: DEV
📐Linear Algebra
Coroutines in C
hackaday.com·4d
🔩Systems Programming
How to Add Generative UI to Any React App in 5 Minutes
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Grep a million GitHub repositories via MCP
vercel.com·1d·
Discuss: Hacker News
⚡Proof Automation
Improving Data and Parameter Efficiency of Neural Language Models Using Representation Analysis
arxiv.org·1d
🧮Kolmogorov Complexity
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·1d·
Discuss: DEV
🔗Topological Sorting
How to Develop a Web Application for 10K+ Users, Heavily Performing I/O-Bound Operations
dev.to·13h·
Discuss: DEV
🌊Stream Processing
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
Machine Learning Fundamentals: dropout
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Easy Agents: Build autonomous agents with just natural language
github.com·4h·
Discuss: Hacker News
⚡Proof Automation