Knowledge and Common Knowledge in a Distributed Environment, Part 1
emptysqua.re·2d
🔲Cellular Automata
LLMs as Parts of Systems
brooker.co.za·4d
🧮Theorem Proving
GSlip – GNU SLIP (Symmetric LIst Processor) in C++
gnu.org·2d·
Discuss: Hacker News
✅Format Verification
Encrypted Computation: What if Decryption Wasn’t Needed? • Katharine Jarmul • GOTO 2024
youtube.com·1d
🔐Homomorphic Encryption
We Should All Code Like Steve Jobs
priver.dev·1d·
Discuss: Hacker News
📏Code Metrics
webMCP: Efficient AI-Native Client-Side Interaction for Agent-Ready Web Design
arxiv.org·2d
🔗Hypermedia APIs
Software Engineering Laws - Design & UX
leadership.garden·1d
🎨Nordic UX
Why Developers Still Choose Python, Even If It’s “Slow”
dev.to·16h·
Discuss: DEV
📏Code Metrics
ParallelSearch: Train your LLMs to Decompose Query and Search Sub-queries in Parallel with Reinforcement Learning
arxiv.org·2d
🔍Information Retrieval
CarAT: Carbon Atom Tracing across Industrial Chemical Value Chains via Chemistry Language Models
arxiv.org·1d
🕸️Algebraic Topology
Scalable Failure Mode Prediction via Multi-Modal Data Fusion and Deep Temporal Analysis in Aging Infrastructure
dev.to·2d·
Discuss: DEV
⚙️Proof Engineering
Enhanced Spin-Induced Gravitational Wave Signature Extraction via Adaptive Fourier Decomposition
dev.to·6h·
Discuss: DEV
🎵Spectral Hashing
There is (no) problem with Ai.
dev.to·20h·
Discuss: DEV
🔲Cellular Automata
LaajMeter: A Framework for LaaJ Evaluation
arxiv.org·1d
🧠Intelligence Compression
Real-Time Multi-Sensor Fusion for Dynamic Anomaly Detection in Autonomous Construction Sites
dev.to·1d·
Discuss: DEV
🏺Computational Archaeology
Go Interfaces: Favoring Composition Over Inheritance (With a Dash of Common Sense)
hackernoon.com·2d
💧Liquid Types
Enhanced Ferrite Core Performance Prediction via Multi-Modal Data Fusion and Bayesian Optimization
dev.to·17h·
Discuss: DEV
📊Feed Optimization
Fuzzy-Pattern Tsetlin Machine
arxiv.org·3d
🔤Morris-Pratt
Enhancing PDC 산화 Catalysis via Dynamic Algorithm Selection with Bayesian Optimization
dev.to·3h·
Discuss: DEV
🌈Spectroscopy
Go's Data Structures: A Deep Dive into Arrays and Slices
dev.to·1d·
Discuss: DEV
⚡Cache Theory