Show HN: Easy, Automatic HTTPS for Node.js
magicserver.arsh.shยท8hยท
Discuss: Hacker News
๐ŸŒNetworkProtocols
Keyboard Holders, Generation 1
cceckman.comยท2dยท
Discuss: Hacker News
โŒจ๏ธMechanical Keyboards
Why it took 4 years to get a lock files specification
snarky.caยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”„Language Evolution
VLLM Predicted Outputs
cascadetech.aiยท1dยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.comยท2dยท
Discuss: Hacker News
ฮปLambda Encodings
Meet Amazon Quick Suite: The agentic AI application reshaping how work gets done
aboutamazon.comยท2dยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Faking a Rational Design Process in the AI Era: Why Documentation Matters
albertsikkema.comยท1dยท
Discuss: Hacker News
โš™๏ธProof Engineering
My Claude Code Setup
justindfuller.comยท3dยท
Discuss: Hacker News
โšกProof Automation
LangChain and LlamaIndex in 2025: How Developers Are Building Smarter AI Workflows
dev.toยท1dยท
Discuss: DEV
๐ŸŒ€Brotli Internals
FURINA: A Fully Customizable Role-Playing Benchmark via Scalable Multi-Agent Collaboration Pipeline
arxiv.orgยท2d
โšกPerformance Mythology
Stress-Testing Model Specs Reveals Character Differences among Language Models
arxiv.orgยท1d
๐Ÿ“‹Document Grammar
LLMs Learn to Deceive Unintentionally: Emergent Misalignment in Dishonesty from Misaligned Samples to Biased Human-AI Interactions
arxiv.orgยท1d
๐Ÿ”ฒCellular Automata
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.orgยท1d
๐ŸงฎKolmogorov Complexity
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.toยท1dยท
Discuss: DEV
๐Ÿค–Paleographic AI
I made a free AI code editor that is similar to Windsurf or Cursor, but runs on your PC using an Ollama LLM.
github.comยท3dยท
Discuss: DEV, Hacker News, r/AskProgramming
๐ŸŽ™๏ธWhisper
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.orgยท2dยท
Discuss: Hacker News
โœ“Automated Theorem Proving
AI-assisted software engineering
dev.toยท2dยท
Discuss: DEV
โšกEffectful Programming
Show HN: I built a local AI agent desk toy
blog.simone.computerยท3dยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.orgยท1d
๐Ÿ“ŠHyperLogLog
Title: Anthropic's Claude AI Model Now Supports Longer Prompts with a Million-Token Context Window
dev.toยท3hยท
Discuss: DEV
๐Ÿค–Lisp Machines