Where is Mathematics Going? Large Language Models and Lean Proof Assistant
hackaday.com·18h
⚙️Proof Engineering
Reverse Engineering keyboard firmware with Ghidra
blog.usedbytes.com·1d·
Discuss: Hacker News
🔓Reverse engineering
Ghosts in the Code: A Memorial Grove for Deleted AI
connectingminds.uk·4h·
Discuss: DEV, Hacker News
🏺Protocol Archaeology
Should Cursor be taught in college?
ben.page·16h·
Discuss: Hacker News
🔲Cellular Automata
How I Learned to Code (using Japanese Method)
blog.stackademic.com·10h·
Discuss: Lobsters
🇯🇵Japanese Computing
ChatGPT Pretends to Run Code
eriklonnroth.com·7h·
Discuss: Hacker News
⚡Proof Automation
Automated Copyright Infringement Detection via Semantic Fingerprinting and Dynamic Thresholding
dev.to·21h·
Discuss: DEV
👁️Perceptual Hashing
Logistic-Gated Operators Enable Auditable Unit-Aware Thresholds in Symbolic Regression
arxiv.org·1d
📐Error Bounds
Unsupervised Active Learning via Natural Feature Progressive Framework
arxiv.org·2d
🧠Machine Learning
Unlocking Image Understanding: A New Path to Visual AI for Everyone
dev.to·2h·
Discuss: DEV
🤖AI Paleography
Cluster Paths: Navigating Interpretability in Neural Networks
arxiv.org·16h
🧠Machine Learning
Quantum capacity amplification via privacy
arxiv.org·2d
⚛️Quantum Compression
Rivaling Transformers: Multi-Scale Structured State-Space Mixtures for Agentic 6G O-RAN
arxiv.org·1d
🧠Machine Learning
TALENT: Table VQA via Augmented Language-Enhanced Natural-text Transcription
arxiv.org·16h
🎙️Whisper
Why People Say “F*** LeetCode”: Difficulty, Fairness, Real-World Value — and a Better Way
dev.to·9h·
Discuss: DEV
📏Code Metrics
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·2d
🧮Kolmogorov Complexity
Probing Social Identity Bias in Chinese LLMs with Gendered Pronouns and Social Groups
arxiv.org·16h
🇨🇳Chinese Computing
Randomized Quantum Singular Value Transformation
arxiv.org·16h
⚛️Quantum Circuits
Quantum advantage from random geometrically-two-local Hamiltonian dynamics
arxiv.org·16h
🕸️Tensor Networks
The Feature Understandability Scale for Human-Centred Explainable AI: Assessing Tabular Feature Importance
arxiv.org·16h
🧠Intelligence Compression