RFID-Based Smart Servo Lock System using Arduino R4 Wi-Fi
hackster.io·13h
📼Cassette Hacking
Notes on using LaTeX to generate formulae
eli.thegreenplace.net·5h
📐Document Algebra
Let’s talk about LLM guardrails
blog.adnansiddiqi.me·9h·
Discuss: Hacker News
🎯Proof Tactics
Slip – A Lisp System in JavaScript
lisperator.net·1d·
Discuss: Hacker News
🔗Lisp
Can an LLM Be a Black-Box Optimizer?
posgeo.wordpress.com·12h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Show HN: I built a LSP with its own parser to learn Rust
github.com·16h·
Discuss: Hacker News
⚡Dependent Rust
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
The Trillion Dollar AI Software Development Stack
a16z.com·23h·
Discuss: Hacker News
⚡Proof Automation
Understanding Latent Space: How Meaning Is Represented by AI
dev.to·1h·
Discuss: DEV
🧮Kolmogorov Complexity
Empowering LLMs with Pseudo-Untrimmed Videos for Audio-Visual Temporal Understanding
arxiv.org·2d
🎬AV1 Encoding
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·1d·
Discuss: DEV
🔍Concolic Testing
Seeing the Big Picture: Evaluating Multimodal LLMs' Ability to Interpret and Grade Handwritten Student Work
arxiv.org·3d
🤖Advanced OCR
BioAutoML-NAS: An End-to-End AutoML Framework for Multimodal Insect Classification via Neural Architecture Search on Large-Scale Biodiversity Data
arxiv.org·3d
🧠Machine Learning
I Built the Perfect Workflow and attracted some friends in the process
graemefawcett.ca·21h·
Discuss: Hacker News
⚡Proof Automation
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·15h·
Discuss: DEV
🇨🇳Chinese Computing
Presenting a Paper is an Art: Self-Improvement Aesthetic Agents for Academic Presentations
arxiv.org·3d
🏛Digital humanities
Exposing Citation Vulnerabilities in Generative Engines
arxiv.org·2d
📜Digital Philology
TIGeR: Tool-Integrated Geometric Reasoning in Vision-Language Models for Robotics
arxiv.org·2d
🌀Differential Geometry
To Sink or Not to Sink: Visual Information Pathways in Large Vision-Language Models
arxiv.org·1d
📊Learned Metrics
Automated Spectral Fingerprint Deconvolution for Polymer Identification via Deep Oligomer Networks
dev.to·19h·
Discuss: DEV
🌈Spectroscopy