The Mathematics of Catenary
alanzucconi.com·22h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Money for Nothing, Chips for Free
phrack.org·10h·
Discuss: Hacker News
🌳Archive Merkle Trees
Sheaf theoretic formulation for consciousness (2017)
pubmed.ncbi.nlm.nih.gov·2d·
Discuss: Hacker News
⏰Time Crystals
On the local consequence of modal Product logic: standard completeness and decidability
arxiv.org·2d
🏗️Constructive Mathematics
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·1d·
Discuss: Hacker News
🔍Concolic Testing
AI Idea #1757094301
dev.to·14h·
Discuss: DEV
🤖AI Curation
Unlock Agent-Based Models with Gradient-Powered Control by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Augment, Complement and Empower Yourself
arttuv.com·1d·
Discuss: Lobsters, Hacker News
⚡Proof Automation
AI-Driven Dynamic Delivery Route Optimization via Multi-Modal Graph Neural Networks
dev.to·5h·
Discuss: DEV
🌀Riemannian Computing
Unlock the Black Box: AI-Powered Optimization for Any Problem
dev.to·14h·
Discuss: DEV
⚡Incremental Computation
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·1d·
Discuss: Hacker News
🔒WASM Capabilities
Writing a C compiler in 500 lines of Python
vgel.me·2d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Robotic Style SOS: Fixing Clothing Mishaps in a Flash
dev.to·1d·
Discuss: DEV
✋Tactile Computing
StealthEval: A Probe-Rewrite-Evaluate Workflow for Reliable Benchmarks
arxiv.org·3d
🏗️Compiler Archaeology
Drivel-ology: Challenging LLMs with Interpreting Nonsense with Depth
arxiv.org·1d
🏛Digital humanities
Easier Painting Than Thinking: Can Text-to-Image Models Set the Stage, but Not Direct the Play?
arxiv.org·2d
🏛Digital humanities
Are We SOLID Yet? An Empirical Study on Prompting LLMs to Detect Design Principle Violations
arxiv.org·2d
📏Linear Logic
Parameters and binding forms should be mutually recursive
samestep.com·17h·
Discuss: Hacker News
🔗Concatenative Programming
Automated Vulnerability Analysis & Remediation via Reinforcement Learning in Programmable Logic Controllers (PLCs)
dev.to·13h·
Discuss: DEV
🛡️Error Boundaries
Predictive Habit Formation via Dynamic Bayesian Network Optimization
dev.to·9h·
Discuss: DEV
🧠Machine Learning