Linear Types for Programmers
twey.io·1d·
Discuss: Hacker News
🧮Programming Language Theory
AlphaEvolve
rawveg.substack.com·1d·
Discuss: DEV
🔗Parser Combinators
AI Thinking, Fast and Slow
danmu.nz·19h·
Discuss: Hacker News
⚖️Logic Programming
Connect AI to microM8 Apple IIe Emulator and turtleSpaces Logo using MCP (Model Context Protocol) for ‘Vibe Coding’ and other activities…
paleotronic.com·21h
🔧Compiler Design
AI Prompt as a Terminal: A Universal Prompt to Learn Anything
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
A distribution-free method for full-factorial or fractionated reliability and yield trials
sciencedirect.com·4h
🔐Cryptography
Trip Helper App for Rocket.Chat 🚀 - GSoC 2025 Final Report
dev.to·8h·
Discuss: DEV
🏗️Software Architecture
EP174: 16 Coding Patterns That Make Interviews Easy
blog.bytebytego.com·1d
🔌Network Programming
Learning the Bitter Lesson
rlancemartin.github.io·2d·
Discuss: Hacker News
🧩Theorem Proving
GLM 4.5 vs. Promptfoo: A Playbook for Systematic LLM Security Audits
dev.to·7h·
Discuss: DEV
👐Open Source Software
Mythbusting Large Language Models
medium.com·2d·
Discuss: Hacker News
🔗Parser Combinators
The Summer of Codex
paylias.xyz·1d·
Discuss: Hacker News
⚙Functional Programming
Photon-Lines Tech Notes - July 2025
photonlines.substack.com·3d·
Discuss: Substack
🤖Sci-Fi
Navigating the AI Agent Ecosystem: A Comprehensive Framework Analysis
dev.to·23h·
Discuss: DEV
🏗️Software Architecture
Experts can now identify and track you using Wi-Fi signals that bounce off your body - and its over 95% accurate.
threadreaderapp.com·1d
🔗Parser Combinators
TypeScript 5.9 is here, GLM 4.5 is EPIC for Programming, Node.js 22.18 LTS, and more
dev.to·35m·
Discuss: DEV
🔧Compiler Design
Day 40/100: Python math, random, and statistics Modules
dev.to·2d·
Discuss: DEV
📝Lisp
If Horizon Models is not from OpenAI, who would be?
reddit.com·1h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·3d
🔍Static Analysis
ADHGR: An optimized adaptive disintegration strategy targeting heterogeneous UAV swarms based on graph reinforcement learning
sciencedirect.com·4h
⚖Algorithmic Game Theory