Devlog: Godot Game - A Trigger That Reveals Secrets
lmika.org·6h
🎯Proof Tactics
Modern C and initializing an array
subethasoftware.com·2d
🗂Data structures
GPUs, module upgrades and more site fixes
markjgsmith.com·8h
🖥️Terminal Renaissance
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·1d·
Discuss: Hacker News, Hacker News
📐Linear Algebra
Performant 2D Renderer: A Tour of Cute Framework's Renderer
randygaul.github.io·11h·
Discuss: Hacker News
🎯Emulator Accuracy
More on Carmichael
johndcook.com·2d·
Discuss: Hacker News
🔢Reed-Solomon Math
RND1: Simple, Scalable AR-to-Diffusion Conversion
radicalnumerics.ai·2d·
Discuss: Hacker News
💻Local LLMs
The Next Computing Revolution: Bringing Processing Inside Memory
computer.org·5d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Hardware Vulnerability Allows Attackers to Hack AI Training Data – NC State News
news.ncsu.edu·1d·
Discuss: Hacker News
🔐RISC-V Cryptography
Three ways formally verified code can go wrong in practice
buttondown.com·1d·
Discuss: Lobsters, Hacker News
📜Proof Carrying Code
Less Is More: Recursive Reasoning with Tiny Networks
github.com·3d·
Discuss: Hacker News
📊Quantization
The Library Method: Understanding @cache
dev.to·2d·
Discuss: DEV
⚡Cache Theory
In-Depth Analysis: "Attention Is All You Need"
dev.to·1d·
Discuss: DEV
🧠Intelligence Compression
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·1d
📐Mathematical Art
IASC: Interactive Agentic System for ConLangs
arxiv.org·2d
🌳Context free grammars
Quantum advantage from random geometrically-two-local Hamiltonian dynamics
arxiv.org·3d
🕸️Tensor Networks
ACE: Attribution-Controlled Knowledge Editing for Multi-hop Factual Recall
arxiv.org·2d
✨Effect Handlers
Real-Time Cortical Activity Decryption via Multi-Modal Graph Neural Network Fusion
dev.to·4h·
Discuss: DEV
📊Spectral Graphs
Automated Design of Peptide-Based Drug Candidates via Constrained Generative Adversarial Networks
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·16h·
Discuss: DEV
📊Quantization