Considering making a home server, talk me in or out of it, and help me decide on parts...
reddit.comยท7hยท
Discuss: r/homelab
๐Ÿ HomeLab
Computational Complexity of Model-Checking Quantum Pushdown Systems
arxiv.orgยท1d
๐Ÿ”Quantum Security
Variational Quantum Latent Encoding for Topology Optimization
arxiv.orgยท1d
๐ŸŒTopological Codes
Quantum Machine Learning: Real-World Impact & Applications (2024-2025)
dev.toยท18hยท
Discuss: DEV
โš›๏ธQuantum Circuits
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท14h
๐Ÿ”—Topological Sorting
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool
github.comยท15hยท
Discuss: Hacker News
โšกCircuit Archaeology
Racing Camels in a Quantum Game of Camel Up
sigarch.orgยท5d
โš›๏ธQuantum Tape
Cost-Effective Optimization and Implementation of the CRT-Paillier Decryption Algorithm for Enhanced Performance
arxiv.orgยท1d
๐Ÿ”ขBitwise Algorithms
ML in the Home
blog.raymond.burkholder.netยท1d
๐Ÿ“ˆTime Series
Why Dyad?: A Perspective for Modelica Users
juliahub.comยท3hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Some Thoughts On The Future โ€œDoudnaโ€ NERSC-10 Supercomputer
nextplatform.comยท14hยท
Discuss: Hacker News
๐Ÿ–ฅ๏ธModern Terminals
BNFGen: A random text generator based on context-free grammars
baturin.orgยท38mยท
Discuss: Hacker News
๐ŸŒณContext free grammars
Boson sampling finds first practical applications in quantum AI
phys.orgยท3h
โš›๏ธQuantum Algorithms
VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM
arxiv.orgยท1d
๐ŸญCompiler Backends
Post-Quantum Cryptography Implementation Enterprise-Readiness Analysis
darknet.org.ukยท17h
๐Ÿ”Quantum Security
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.orgยท1d
๐ŸŽฏPerformance Proofs
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท4hยท
Discuss: DEV
๐Ÿ“Code Metrics
Show HN: TableSprint- Supabase alternative with vibe coding features
tablesprint.comยท15hยท
Discuss: Hacker News
๐Ÿ“ฒDigitization
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.orgยท1d
๐Ÿ”งHardware Verification