Why Bcrypt Can Be Unsafe for Password Hashing?
blog.enamya.meยท1dยท
Discuss: Hacker News
โœ…Checksum Validation
Flag this post
Garbage Collection Is a Hack
blog.adamant-lang.orgยท6hยท
Discuss: Hacker News
๐Ÿง Memory Allocators
Flag this post
Toward fast, containerized, user-space filesystems
lwn.netยท23hยท
Discuss: Hacker News
๐Ÿ’ฟZFS Internals
Flag this post
Leaving PyTorch and Meta
soumith.chยท23hยท
๐ŸŒ€Brotli Internals
Flag this post
**Autonomous Mobile Robot Localization Challenge: "The Maze
dev.toยท1hยท
Discuss: DEV
๐ŸงฎZ3 Solver
Flag this post
Not-so-model behavior: Popular software tools may give faulty forecasts
phys.orgยท23h
๐Ÿ“ˆTime Series
Flag this post
Uncrossed Multiflows and Applications to Disjoint Paths
arxiv.orgยท3d
๐Ÿ•ธ๏ธNetwork Topology
Flag this post
Enhanced Radiation Sterilization Verification via Hyperdimensional Data Fusion and Bayesian Calibration
dev.toยท21hยท
Discuss: DEV
๐Ÿ’พFloppy Imaging
Flag this post
Short Blocks, Fast Sensing: Finite Blocklength Tradeoffs in RIS-Assisted ISAC
arxiv.orgยท2d
๐Ÿ“ŠRate-Distortion Theory
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.orgยท3d
๐Ÿฆ€Rust Verification
Flag this post
RLAC: Reinforcement Learning with Adversarial Critic for Free-Form Generation Tasks
arxiv.orgยท3d
โœจEffect Handlers
Flag this post
Automated Cognitive Load Assessment via Dynamic Eye-Tracking & Predictive Modeling
dev.toยท5hยท
Discuss: DEV
๐Ÿง Intelligence Compression
Flag this post
Left Atrial Segmentation with nnU-Net Using MRI
arxiv.orgยท13h
๐Ÿ’ปLocal LLMs
Flag this post
AI-Driven Optimization of Zeolite Synthesis via Reinforcement Learning & Multi-Objective Bayesian Optimization
dev.toยท14hยท
Discuss: DEV
โšกZ3 Optimization
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.orgยท2d
๐Ÿ“Linear Logic
Flag this post
Estimation of Segmental Longitudinal Strain in Transesophageal Echocardiography by Deep Learning
arxiv.orgยท2d
๐ŸŒ€Differential Geometry
Flag this post
Non-recursively deleting a binary tree in constant space: Traversal with parent pointers
devblogs.microsoft.comยท2dยท
Discuss: r/cpp
๐Ÿ—ƒ๏ธDatabase Storage
Flag this post
The Curved Spacetime of Transformer Architectures
arxiv.orgยท1dยท
Discuss: Hacker News
๐ŸŒ€Differential Geometry
Flag this post