GaloisInc/parameterized-utils
github.com·4d
🧮Algebraic Datatypes
Trusted Execution Environments? More Like "Trust Us, Bro" Environments
libroot.org·1d·
Discuss: Hacker News
🛡️RISC-V Security
Functions are Asymmetric
elbeno.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Building the Reasoning Engine at Axiom
axiommath.ai·1d·
Discuss: Hacker News
⚔️Lean Tactics
Dynamic Levels of Detail in Evolve
evolvebenchmark.com·3d·
Discuss: Hacker News
🖥️Terminal Renaissance
A case for learning GPU programming with a compute-first mindset – Maister's Gr
themaister.net·5d·
Discuss: Lobsters, Hacker News, r/programming
🖥️Terminal Renaissance
Mitigating Judgment Preference Bias in Large Language Models through Group-Based Polling
arxiv.org·2d
💻Local LLMs
Optimal Stopping in Latent Diffusion Models
arxiv.org·2d
🧠Machine Learning
How Machine Learning is Reshaping Financial Markets
dev.to·1d·
Discuss: DEV
🧠Machine Learning
Unraveling LCRE-Mediated Chromatin Loops: A Predictive Model for Gene Expression Fine-Tuning in Desert Genomes
dev.to·1d·
Discuss: DEV
📥Feed Aggregation
DEGS: Deformable Event-based 3D Gaussian Splatting from RGB and Event Stream
arxiv.org·2d
🌀Differential Geometry
Integral Signatures of Activation Functions: A 9-Dimensional Taxonomy and Stability Theory for Deep Learning
arxiv.org·2d
🧠Machine Learning
Enhanced Thermoelectric Performance via Nanostructured Bi2Te3-Based Composites and Machine Learning Optimization
dev.to·13h·
Discuss: DEV
🌈Spectroscopy
SliceMoE: Routing Embedding Slices Instead of Tokens for Fine-Grained and Balanced Transformer Scaling
arxiv.org·5d
🧮Kolmogorov Complexity
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·6d
🔧Hardware Verification
AI News and Releases: First Week of October 2025
dev.to·1d·
Discuss: DEV
🤖AI Curation
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·23h·
Discuss: DEV
📊Multi-vector RAG
Decoding Activation Functions: A Nine-Dimensional Signature for Network Harmony
dev.to·3h·
Discuss: DEV
📊Learned Metrics
Community: The 100% Open-Source AI Stack That Automates My Business, and Tricks for Troubleshooting It
dev.to·3d·
Discuss: DEV
🏠Homelab Orchestration
Automated Genotoxicity Screening via Microfluidic-Integrated Raman Spectroscopy and Machine Learning
dev.to·2d·
Discuss: DEV
🌈Spectroscopy