My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·8h·
Discuss: Hacker News
🎯Hindley-Milner
Flag this post
Google's Jeff Dean on the Coming Era of Virtual Engineers
sequoiacap.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Can Your AI Blackmail You? Inside the Security Risk of Agentic Misalignment
dev.to·1d·
Discuss: DEV
🎮Verification Games
Flag this post
Robust Control Synthesis via Persistent Homology-Guided Network Pruning
dev.to·1d·
Discuss: DEV
🕸️Graph Theory
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·4h
📐Linear Algebra
Flag this post
Weakly Supervised Concept Learning with Class-Level Priors for Interpretable Medical Diagnosis
arxiv.org·4h
🔍CBMC
Flag this post
Hybrid Neuro-Symbolic Reasoning for Adaptive Robotics Control in Dynamic Environments
dev.to·2d·
Discuss: DEV
🤖Robotics
Flag this post
Transformer-Based Decoding in Concatenated Coding Schemes Under Synchronization Errors
arxiv.org·4h
⚙️Compiler Design
Flag this post
I Benchmarked 3 Go Concurrency Patterns. The "Fastest" One Would Destroy Production
dev.to·3h·
Discuss: DEV
👁️System Observability
Flag this post
CoT-Saliency: Unified Chain-of-Thought Reasoning for Heterogeneous Saliency Tasks
arxiv.org·4h
📚Automata Learning
Flag this post
The Riddle of Reflection: Evaluating Reasoning and Self-Awareness in Multilingual LLMs using Indian Riddles
arxiv.org·4h
🧮SMT Solvers
Flag this post
Tetris: An SLA-aware Application Placement Strategy in the Edge-Cloud Continuum
arxiv.org·4h
🖥️Self-hosted Infrastructure
Flag this post
Leakage-abuse Attack Against Substring-SSE with Partially Known Dataset
arxiv.org·4h
Existential Types
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·4h
🔀OCaml Multicore
Flag this post
QuantumBench: A Benchmark for Quantum Problem Solving
arxiv.org·4h
🧩SAT Solvers
Flag this post
PROPEX-RAG: Enhanced GraphRAG using Prompt-Driven Prompt Execution
arxiv.org·4h
🧩Parser Combinators
Flag this post
Coverage Analysis and Optimization of FIRES-Assisted NOMA and OMA Systems
arxiv.org·4h
🩹Self-Healing Systems
Flag this post
A Soft‑Fork Proposal for Blockchain‑Based Distributed AI Computation
hackernoon.com·22h
🖥️Self-hosted Infrastructure
Flag this post