🔱 Galois Theory

Field Extensions, Error Correction, Algebraic Structures, Abstract Algebra

Unintended consequences
sicpers.info·1h
✨Effect Handlers
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·2d
🧲Magnetic Philosophy
documentdb/documentdb
github.com·8h
🤖Archive Automation
Show HN: A math tutor that won't hallucinate answers (ChatGPT and Photomath)
thinkercan.com·18h·
Discuss: Hacker News
⚡Proof Automation
Clay Shirky: The Only Real Solution to the A.I. Cheating Crisis
nytimes.com·1d·
Discuss: Hacker News
🎯Interactive Provers
Relacy Race Detector is a verifier for relaxed memory models
1024cores.net·2d·
Discuss: Hacker News
⚡Hardware Transactional Memory
I Vibecoded my first app
apps.apple.com·1d·
Discuss: Hacker News
🌀Brotli Dictionary
When functions dissolve
rubber-duck-typing.com·3d·
Discuss: Hacker News
🐚Shell Calculus
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🦀Rust Borrowing
Show HN: Hielo – a fast, lightweight tool for managing Apache Iceberg tables
github.com·13h·
Discuss: Hacker News
💿ZFS Archaeology
🚀 Learning Update
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·2d
🧠Machine Learning
The AI Bubble: Now With Extra Hype™ - Gamer Edition
dev.to·3h·
Discuss: DEV
🕹️Retro Gaming
Counterfactual Reward Model Training for Bias Mitigation in Multimodal Reinforcement Learning
arxiv.org·5h
🧠Machine Learning
Reinforcement Learning for Search Tree Size Minimization in Constraint Programming: New Results on Scheduling Benchmarks
arxiv.org·5h
🔗Constraint Handling
how to build a youtube clone with python
dev.to·3d·
Discuss: DEV
🌀Brotli Dictionary
FakeSV-VLM: Taming VLM for Detecting Fake Short-Video News via Progressive Mixture-Of-Experts Adapter
arxiv.org·5h
✅Verification Codecs
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·2d·
Discuss: DEV
🔗Constraint Handling
ModAn-MulSupCon: Modality-and Anatomy-Aware Multi-Label Supervised Contrastive Pretraining for Medical Imaging
arxiv.org·1d
📊Learned Metrics
Privacy-Preserving Federated Learning Framework for Risk-Based Adaptive Authentication
arxiv.org·1d
🤐Secure Multiparty