Topaz_Gigapixel_AI_8.4.3.dmg
xmac.app·21h
📦Executable Size
Merging Physics-Based Synthetic Data and Machine Learning for Thermal Monitoring of Lithium-ion Batteries: The Role of Data Fidelity
arxiv.org·1d
🗺️Region Inference
CRT-structured Collatz blocks
researchgate.net·4d·
Discuss: r/mathematics
λLambda Calculus
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·1d·
Discuss: Hacker News
🌱Minimal Lisps
Dynamic Relational Priming Improves Transformer in Multivariate Time Series
arxiv.org·9h
🪜Recursive Descent
A Visual Guide to Tuning Gradient Boosted Trees
towardsdatascience.com·18h
🪜Recursive Descent
‘Round the Square: ‘Mirror, mirror, on the wall,’ right? - The Bradford Era
bradfordera.com·6h
🔗Concatenative Theory
Gaussian-Plus-SDF SLAM: High-fidelity 3D Reconstruction at 150+ fps
arxiv.org·9h
🗺️Region Inference
Secure Semantic Communication over Wiretap Channels: Rate-Distortion-Equivocation Tradeoff
arxiv.org·9h
♾️Codata Types
What is Algebraic about Algebraic Effects?
interjectedfuture.com·21h
💫Effect Systems
Quantum-Assisted Recursive Algorithm for Solving the Exact Cover Problem
arxiv.org·9h
⚡Partial Evaluation
Unlocking Boolean Clarity: Visualize Logic with State Algebra by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🧩SAT Solvers
Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·9h
🔧Scheme Macros
I tested AI tools on data analysis — here’s how they did (and what to look out for)
onlinejournalismblog.com·50m
🌱Minimal ML
Optimizing the Ever-Growing Balance in the War Robots Project
dev.to·3h·
Discuss: DEV
⏱️Real-Time GC
Landscape Analysis of Simultaneous Blind Deconvolution and Phase Retrieval via Structured Low-Rank Tensor Recovery
arxiv.org·9h
🗺️Region Inference
Application of Machine Learning for Correcting Defect-induced Neuromorphic Circuit Inference Errors
arxiv.org·9h
🗺️Region Inference
Maria-Romina Ivan and Sean Jaffe: The saturation number for the diamond is linear
gilkalai.wordpress.com·3d
🧮Combinator Calculus
Baking with Rails at scale: recipes in Ruby, cookware from Go, C, and Rust
evilmartians.com·1d
💬Smalltalk VMs
Optimized Modbus RTU Data Validation via Hybrid Markov & Bayesian Filtering
dev.to·1d·
Discuss: DEV
🗺️Region Inference