Try These Logic Puzzles from the International Logic Olympiad
scientificamerican.com·20h
📚Proof Pedagogy
Song recommendations with C# Reactive Extensions
blog.ploeh.dk·1d
🌊Streaming Systems
What does RunningBoard do? 3 XPC services, chronod and widget timelines
eclecticlight.co·1d
🔄Sync Engine
InfoSec News Nuggets 7/22/2025
aboutdfir.com·1h
🔓Hacking
Inventor builds mechanical computer with Knex pieces
popsci.com·21h·
Discuss: Hacker News
🗃️Punched Cards
A Self-hosted, BSD-native Gemini Protocol Server Stack – The BSD Cafe Journal
journal.bsd.cafe·3h·
Discuss: Lobsters, Hacker News
🔄Sync Engine
Arc AGI 3
arcprize.org·7h·
Discuss: Hacker News
🔲Cellular Automata
Russian History (2006)
randsinrepose.com·23h·
Discuss: Hacker News
🔄Language Evolution
Response to DHH on the gift of open source
bholmes.dev·22h·
Discuss: Hacker News
🔓Open Source Software
Deeper Theories of Program Design
typesanitizer.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
The risk we chose: when compromise becomes the default
techradar.com·1d
🎯Threat Hunting
Scavenger Malware Distributed via ESLint-Config-Prettier NPM Package Hack
invokere.com·1d·
Discuss: Hacker News
📦Container Security
A Novel Two-Dimensional Smoothing Algorithm
arxiv.org·10h
🌀Fractal Compression
Evaluating Text Style Transfer: A Nine-Language Benchmark for Text Detoxification
arxiv.org·10h
⟷Bidirectional Grammars
A Formal Model of the Economic Impacts of AI Openness Regulation
arxiv.org·10h
🔓Open Source Software
Today in Sweden: A roundup of the latest news on Monday
thelocal.se·1d
🇸Sweden
Constitutional Hard Forks - When Citizens Must Reclaim Their Ultimate Governance Power
hackernoon.com·19h
🤝Distributed Consensus
Combining model tracing and constraint-based modeling for multistep strategy diagnoses
arxiv.org·1d
🧮Constraint Solvers
"PhyWorldBench": A Comprehensive Evaluation of Physical Realism in Text-to-Video Models
arxiv.org·1d
📟Terminal Physics
FedMultiEmo: Real-Time Emotion Recognition via Multimodal Federated Learning
arxiv.org·10h
🧠Machine Learning