Show HN: Yansu, Serious Coding
🔧DevOps
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
📦Opam
Flag this post
Advice for System Design Interviews
🛡️seL4
Flag this post
Digital minimalism is out, digital intentionality is in
lesswrong.com·1d
📵Digital Minimalism
Flag this post
[D] Kosmos achieves 79.4% accuracy in 12-hour autonomous research sessions, but verification remains the bottleneck
🧠Automated Reasoning
Flag this post
The Case Against PGVector
📐Linear Algebra
Flag this post
Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains
arxiv.org·1d
🕸️Graph Theory
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.org·2d
📚Automata Learning
Flag this post
Design of quasi phase matching crystal based on differential gray wolf algorithm
arxiv.org·2d
📐Linear Algebra
Flag this post
BondBERT: What we learn when assigning sentiment in the bond market
arxiv.org·1d
🧩Parser Combinators
Flag this post
FairAIED: Navigating Fairness, Bias, and Ethics in Educational AI Applications
arxiv.org·2d
🎮Verification Games
Flag this post
PDE-SHARP: PDE Solver Hybrids Through Analysis & Refinement Passes
arxiv.org·2d
🔀OCaml Multicore
Flag this post
Fleming-VL: Towards Universal Medical Visual Reasoning with Multimodal LLMs
arxiv.org·2d
🔲Cellular Automata
Flag this post
Loading...Loading more...