Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.toยท4hยท
Discuss: DEV
๐Ÿ“‹Format Specification
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท1dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
OpenSMTPD 7.8.0p0
bsdsec.netยท12h
๐ŸกOpenBSD
Flag this post
011e021d6fa524b55bfc5ba67522daeb | MD5 Breakdown?
infosecwriteups.comยท15h
๐Ÿ”Hash Functions
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ€“ Part 1
aws.amazon.comยท58m
โšกProof Automation
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.infoยท1d
๐Ÿ”‘Cryptographic Protocols
Flag this post
Oops, My UUIDs Collided
alexsci.comยท4hยท
Discuss: Hacker News
๐ŸงชBinary Fuzzing
Flag this post
Notes from RIPE 91
blog.apnic.netยท23h
๐ŸŒDNS over QUIC
Flag this post
De Bruijn Numerals
text.marvinborner.deยท1dยท
Discuss: Hacker News
ฮปLambda Encodings
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.comยท4hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
Curly Flow Matching for Learning Non-gradient Field Dynamics
arxiv.orgยท18h
๐ŸŒ€Riemannian Computing
Flag this post
OpenBSD proposes BPF socket filtering to enhance daemon security
discoverbsd.comยท13h
๐Ÿ›ก๏ธeBPF Security
Flag this post
IFS Fractal codec
codecs.multimedia.cxยท10h
๐ŸŒ€Fractal Compression
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.toยท13hยท
Discuss: DEV
๐Ÿ”Homomorphic Encryption
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.eduยท3d
๐Ÿ“Error Bounds
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท7h
๐Ÿ›ก๏ธeBPF Security
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท22h
๐Ÿ”“Decompilation
Flag this post
Making MLS More Decentralized
blog.phnx.imยท2dยท
Discuss: Hacker News
๐ŸŒณArchive Merkle Trees
Flag this post
Using the expand and contract pattern for schema changes
prisma.ioยท2hยท
Discuss: Hacker News
๐Ÿ”„Schema Evolution
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post