Weird ideas welcome: VC fund looking to make science fiction factual
theregister.com·8h
🖥️Modern Terminals
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Building Luca: An AI Agent for Finance and Accounting Workflows
leapfin.com·1h·
Discuss: Hacker News
🔗Constraint Handling
Stop Worrying and Love the Bomb
bitbytebit.substack.com·4h·
Discuss: Substack
⚙️Build Archaeology
VLLM Predicted Outputs
cascadetech.ai·22h·
Discuss: Hacker News
💻Local LLMs
State of Opinion – Programming Languages – Autumn 2025 Edition
xlii.space·6h·
Discuss: Hacker News
🔗Concatenative Languages
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.io·2d·
Discuss: Hacker News
🔐Capability Systems
Side project - MV864A meter restoration - blocking out entire schematic
rescue1130.blogspot.com·5h·
Discuss: rescue1130.blogspot.com
⚙️DIY Electronics
Quantum computing is "mission crtical"
federalnewsnetwork.com·1d·
Discuss: Hacker News
⚛️Quantum Tape
Real-Time Adaptive Sparsity Optimization for Edge-Deployed AI Inference Accelerators
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
🚀 From Rejection to Reinvention: How I Built an AI That Finds My Jobs
dev.to·14h·
Discuss: DEV
🇨🇳Chinese Computing
Looking for a CPU+motherboard upgrade from a Supermicro X11SSH-LN4f
reddit.com·1h·
Discuss: r/homelab
🖥️Modern CPU
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·1d·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
AI Renaissance: Bridging the Gap Between Intuition and Logic
dev.to·1d·
Discuss: DEV
🤖Paleographic AI
Enhancing Automotive Security with a Hybrid Approach towards Universal Intrusion Detection System
arxiv.org·3d
🔍Vector Forensics
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.to·2d·
Discuss: DEV
🌊Stream Processing
[D] Anyone using smaller, specialized models instead of massive LLMs?
reddit.com·2d·
Discuss: r/MachineLearning
💻Local LLMs
The Entire Process of Building an Open Source Analog ASIC
hackaday.com·2d
⚙️DIY Electronics
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
On knot detection via picture recognition
arxiv.org·2d
🕸️Algebraic Topology