Log Detective: GSoC 2025 (part 2)
danigm.net·9h
🔓Open Source Software
Paradigms of Intelligence Team
github.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Implementing Forth in Go and C
eli.thegreenplace.net·10h·
Discuss: Lobsters, Hacker News, Hacker News
🔗Concatenative Programming
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·23h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·3h·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
Inquiries-Week 4: Triangulate the Triangle
fractalkitty.com·15h·
Discuss: Hacker News
📊Computational Geometry
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·19h·
Discuss: Hacker News
🧮Algebraic Datatypes
Sotasearch.ai – privacy-first research assistant (100% local)
sotasearch.ai·5h·
Discuss: Hacker News
🤖Archive Automation
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·1d·
Discuss: Hacker News
⚔️Lean Tactics
History Rhymes: Accelerating LLM Reinforcement Learning with RhymeRL
arxiv.org·10h
💻Local LLMs
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·11h·
Discuss: Hacker News
🧠Machine Learning
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·10h
🧠Intelligence Compression
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·21h·
Discuss: DEV
🔲Cellular Automata
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
Did GPT-5 Solve 'New Math'?
tech2geek.net·1d·
Discuss: Hacker News
🎯Performance Proofs
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Detecting and countering misuse of AI: August 2025
anthropic.com·14h·
Discuss: Hacker News
🕵️Vector Smuggling
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·1d
⚡Proof Automation
Scientists just developed a new AI modeled on the human brain — it's outperforming LLMs like ChatGPT at reasoning tasks
livescience.com·2h·
Discuss: Hacker News
🧠Intelligence Compression