What's the point of HTTP Signatures? (All open source)
orangestack.substack.comยท3dยท
Discuss: Substack
๐Ÿ”ŒNetwork Programming
Flag this post
Huginn Net v1.5.2 - Added parallel processing for high-throughput TLS fingerprinting
reddit.comยท10hยท
Discuss: r/rust
๐Ÿฆ€Rust
Flag this post
IAB Tech Lab opens device disclosure specification for public comment
ppc.landยท1d
๐Ÿ—๏ธSoftware Architecture
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.comยท11hยท
Discuss: Hacker News
๐Ÿ”Cryptography
Flag this post
[Tips, very lenghty] What your language should probably need to be able to communicate effectively.
reddit.comยท14hยท
Discuss: r/conlangs
๐ŸงฎProgramming Language Theory
Flag this post
Minimal Sufficiency: A Principle โ€˜Similarโ€™ to End-to-End
cacm.acm.orgยท2dยท
Discuss: Hacker News
๐Ÿ“ˆComplexity Theory
Flag this post
Attacking macOS XPC Helpers: Protocol Reverse Engineering and Interface Analysis
tonygo.techยท1dยท
๐Ÿฆ€Rust
Flag this post
Nostr is deceptively tricky to understand
njump.meยท4hยท
๐Ÿ”ŒNetwork Programming
Flag this post
HTTP, REST Principles, and API Design Fundamentals
dev.toยท3dยท
Discuss: DEV
๐Ÿ”ŒNetwork Programming
Flag this post
The first thing I did in my new home was set up a 10 GbE LAN
xda-developers.comยท13h
๐Ÿ”ŒNetwork Programming
Flag this post
New prompt injection papers: Agents Rule of Two and The Attacker Moves Second
simonwillison.netยท4hยท
Discuss: Hacker News
๐Ÿ”Cryptography
Flag this post
Online Identity Is Evolving: From Data Storage to Proof-Based Verification with zkTLS
blogger.comยท1d
๐Ÿ”Cryptography
Flag this post
Dusty, new HTTP server using async I/O and coroutines
github.comยท7hยท
Discuss: r/Zig
๐Ÿ”ŒNetwork Programming
Flag this post
Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.ioยท8hยท
Discuss: Hacker News
๐Ÿ”ŒNetwork Programming
Flag this post
A toy model of corrigibility
lesswrong.comยท9h
๐ŸŽฒProbabilistic Programming
Flag this post
Building a Resilient API Key Pool System with Health Checks and Multi-Tier Degradation
github.comยท17hยท
Discuss: DEV
๐Ÿ—๏ธSoftware Architecture
Flag this post
Cure โ€“ Verification-First Programming for the Beam
cure-lang.orgยท9hยท
Discuss: Hacker News
โœ…Formal Verification
Flag this post
Making MLS More Decentralized
blog.phnx.imยท4dยท
Discuss: Hacker News
๐Ÿ”Cryptography
Flag this post
Secure Onion Encryption and the Case of Counter Galois Onion
eprint.iacr.orgยท3d
๐Ÿ”Cryptography
Flag this post
MCP standard
dev.toยท11hยท
Discuss: DEV
๐ŸŽฒProbabilistic Programming
Flag this post