Did GPT-5 Solve 'New Math'?
tech2geek.net·21h·
Discuss: Hacker News
🎯Performance Proofs
Finding the low-hanging fruit in tech companies
seangoedecke.com·1d·
Discuss: Hacker News
🔩Systems Programming
Q&A: Douglas Hofstadter on why AI is far from intelligent (2017)
qz.com·3h·
Discuss: Hacker News
🔲Cellular Automata
Why I'm All-In on Context Engineering
old.reddit.com·17h·
Discuss: r/ContextEngineering
⚡Proof Automation
Simpler Category Theory
ryanbrewer.dev·6d·
Discuss: Hacker News
🔀Category Theory
"Emacs for Goodness' Sake", a Guide
github.com·2d·
Discuss: Hacker News
🦀Rust Macros
7 Steps to Mastering No Code Automation with n8n for Data Professionals
kdnuggets.com·1d
🌊Stream Processing
Towards Synthesizing Normative Data for Cognitive Assessments Using Generative Multimodal Large Language Models
arxiv.org·1d
📊Learned Metrics
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·1d
🔲Cellular Automata
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.org·1d
⚖️RISC-V Formal
DualSparse-MoE: Coordinating Tensor/Neuron-Level Sparsity with Expert Partition and Reconstruction
arxiv.org·3h
⧗Information Bottleneck
SWiFT: Soft-Mask Weight Fine-tuning for Bias Mitigation
arxiv.org·3h
📊Rate-Distortion Theory
Show HN: An AI "senior engineer" that crafts specs before vibe coding
github.com·14h·
Discuss: Hacker News
🇯🇵Japanese Computing
MMTok: Multimodal Coverage Maximization for Efficient Inference of VLMs
arxiv.org·1d
🧮Kolmogorov Complexity
Of the People, By the Algorithm: How AI Transforms Democratic Representation
arxiv.org·3h
🌍Cultural Algorithms
Preliminary Study on Space Utilization and Emergent Behaviors of Group vs. Single Pedestrians in Real-World Trajectories
arxiv.org·3h
🔲Cellular Automata
Don’t Marry an LLM, Date Many
dev.to·8h·
Discuss: DEV
🔒Linear Types
The TTY Protocol
sgt.hootr.club·3h·
Discuss: Hacker News
📟Terminals
Build a Smart Search App with LangChain and PostgreSQL on Google Cloud
blog.devops.dev·1d
🌀Brotli Dictionary
On the Algorithmic Bias of Aligning Large Language Models with RLHF: Preference Collapse and Matching Regularization
arxiv.org·1d
🧮Kolmogorov Bounds