For Hallowe'en, I'm half hoping we get all the kids so we have no candy left, and half hoping we get no kids so we have all the candy left
boston.conman.org·1h
🔢Coding Theory
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
λLambda Formalization
Flag this post
Show HN: AlomWare Toolbox – A cool Windows productivity tool
🪟Awesome windows command-line
Flag this post
Vsesvit.ai: The All-in-One Platform Transforming Content Creation and SEO
📊Feed Optimization
Flag this post
Towards Reliable Sea Ice Drift Estimation in the Arctic Deep Learning Optical Flow on RADARSAT-2
arxiv.org·1d
🌀Riemannian Computing
Flag this post
Rouille – Rust Programming, in French
🦀Rust Borrowing
Flag this post
Non-myopic Matching and Rebalancing in Large-Scale On-Demand Ride-Pooling Systems Using Simulation-Informed Reinforcement Learning
arxiv.org·1d
⚡Incremental Computation
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🧮Algebraic Archives
Flag this post
Tencent/WeKnora
github.com·2d
🤖Archive Automation
Flag this post
Quantum-Resistant Federated Learning: Securing Distributed Model Training Against Post-Quantum Cryptography Threats
🔐Quantum Security
Flag this post
Independent Auditing Framework for Algorithmic Fairness: A Dynamic Bayesian Network Approach
🔍BitFunnel
Flag this post
Clone Deterministic 3D Worlds with Geometrically-Regularized World Models
arxiv.org·1d
🌀Differential Geometry
Flag this post
Talk to Your Data Like a Human: How I Built an AI Airline Analyst
🎯Recommendation Metrics
Flag this post
Mapping Faithful Reasoning in Language Models
arxiv.org·4d
🎯Dependent Parsing
Flag this post
DETECT: Determining Ease and Textual Clarity of German Text Simplifications
arxiv.org·4d
⚙️Compression Benchmarking
Flag this post
Loading...Loading more...