Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Row Polymorphic Programming
stranger.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·1d
🔢Bitwise Algorithms
A PhD's Apology
cappadokes.github.io·16h·
Discuss: Hacker News
🧮Theoretical Computer Science
IoT AI with Ioto
dev.to·2h·
Discuss: DEV
🎙️Whisper
Proof by Intimidation
en.wikipedia.org·20h·
Discuss: Hacker News
🎯Proof Tactics
Unlock Gemini’s reasoning: A step-by-step guide to logprobs on Vertex AI
developers.googleblog.com·8h
⚡Proof Automation
Transitioning to Virtual Threads Using the Micronaut Loom Carrier
micronaut.io·14h·
Discuss: Hacker News
🌊Stream Processing
The Problem of Hidden Dependencies
marcelsud.me·2d·
Discuss: Hacker News
🔗Dependency Resolution
SFT Is Bad RL
justinchiu.netlify.app·8h·
Discuss: Hacker News
🧠Machine Learning
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·3d
🌐DNS Security
Show HN: From Zod schema to agent-ready MCP server – minimal, typed, deployable
github.com·1d·
Discuss: Hacker News
🔐CBOR
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·14h·
Discuss: DEV
🌀Brotli Internals
govalid - A compile-time validation library that's up to 45x faster than reflection-based validators
reddit.com·18h·
Discuss: r/golang
🦀Rust Verification
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·21h·
Discuss: Hacker News
🌀Brotli Internals
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·1d
🌳Context free grammars
How I Got 100/100 From GPT-4, Gemini, Grok, and More—Using Just a .txt File
dev.to·3h·
Discuss: DEV
⚔️Lean Tactics
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·1d
📜Proof Carrying Code
Original Xbox Hacks: The A20 CPU Gate
connortumbleson.com·2h·
Discuss: Hacker News
🧲RISC-V Archaeology
AtCoder Finals Problem Statement
atcoder.jp·11h·
Discuss: Hacker News
🇯🇵Japanese Computing