QSFP+ and fiber-related question for my homelab
coherent.com·8h·
Discuss: r/homelab
🏠HomeLab
Differential geometry of ML: a geometric interpretation of gradient descent
research.fal.ai·1d·
Discuss: Hacker News
➡️Category Theory
Just Tried QuickConvert – A Chrome Extension That Converts Currencies and Units
chromewebstore.google.com·21h·
Discuss: Hacker News
🐫Embedded OCaml
I'm Unsatisfied with Easing Functions
davepagurek.com·4h·
Discuss: Lobsters, Hacker News
🔄Finite State Machines
Manual vs. CNC machining as an analogy for manual vs. AI coding
actinium226.substack.com·1h·
Discuss: Substack
🤖Program Synthesis
Packages proxies
blog.garambrogne.net·1d·
Discuss: Lobsters, Hacker News
⎈Kubernetes
Claude is kicking ChatGPT's butt (in one thing)
ben-mini.com·22h·
Discuss: Hacker News
🏹Effect Systems
Swift is a more convenient Rust
lobste.rs·3d·
Discuss: Lobsters
🐫Embedded OCaml
Show HN: Euler and Fourier = Cognition?
ryukulogos.github.io·3d·
Discuss: Hacker News
➡️Category Theory
Show HN: 1-click analytics for startups (https://arka.so)
news.ycombinator.com·1d·
Discuss: Hacker News
🔬Static Analysis
MatrixTransformer–A Unified Framework for Matrix Transformations
news.ycombinator.com·2d·
Discuss: Hacker News
🐫OCaml
Deep Hidden Cognition Facilitates Reliable Chain-of-Thought Reasoning
arxiv.org·1d
✓Automated Theorem Proving
SLIM: A Heterogeneous Accelerator for Edge Inference of Sparse Large Language Model via Adaptive Thresholding
arxiv.org·1d
🐫OCaml
How far can reasoning models scale?
epoch.ai·18h·
Discuss: Hacker News
✓Automated Theorem Proving
Commuting Distance Regularization for Timescale-Dependent Label Inconsistency in EEG Emotion Recognition
arxiv.org·18h
➡️Category Theory
Medical Red Teaming Protocol of Language Models: On the Importance of User Perspectives in Healthcare Settings
arxiv.org·5d
🐫OCaml
The Engineer's Dilemma: A Review of Establishing a Legal Framework for Integrating Machine Learning in Construction by Navigating Precedents and Industry Expect...
arxiv.org·1d
🏹Effect Systems
Safe Deep Reinforcement Learning for Resource Allocation with Peak Age of Information Violation Guarantees
arxiv.org·2d
📡Network Protocol Design
Secure and Efficient UAV-Based Face Detection via Homomorphic Encryption and Edge Computing
arxiv.org·1d
🛡️seL4
A comprehensive study of LLM-based argument classification: from LLAMA through GPT-4o to Deepseek-R1
arxiv.org·2d
✓Automated Theorem Proving