Opportunistically Parallel Lambda Calculus
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
Flag this post
ZK-SenseLM: Verifiable Large-Model Wireless Sensing with Selective Abstention and Zero-Knowledge Attestation
arxiv.org·1d
🤐Secure Multiparty
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·20h
λLambda Formalization
Flag this post
Unlock Peak Performance: Refining MCTS with Action-Aware State Grouping
dev.to·6h·
Discuss: DEV
🔄Finite State Machines
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.net·13h
🌀Brotli Dictionary
Flag this post
Defending QUIC from acknowledgement-based DDoS attacks
blog.cloudflare.com·1d·
Discuss: Hacker News
🌐DNS over QUIC
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.info·11h
🔑Cryptographic Protocols
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·8h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Flag this post
Show HN: IRCd in Pure Bash
github.com·11h·
Discuss: Hacker News
✅Shell Verification
Flag this post
The Complete Guide to Model Context Protocol
machinelearningmastery.com·2d
📞Session Types
Flag this post
Let's Poison Your LLM Application: A Security Wake-Up Call
dev.to·17h·
Discuss: DEV
🧪Binary Fuzzing
Flag this post
Show HN: I built a lightweight AI tool to analyze visitor behavior
getallinsights.com·19h·
Discuss: Hacker News
📊Feed Optimization
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·5h
📝Log Parsing
Flag this post
Notes from RIPE 91
blog.apnic.net·10h
🌐DNS over QUIC
Flag this post
Issue 496
haskellweekly.news·21h
🔗Functional Compilers
Flag this post
What's the point of HTTP Signatures? (All open source)
orangestack.substack.com·11h·
Discuss: Substack
🌐NetworkProtocols
Flag this post
Claude Skills vs. MCP: Complementary Philosophies for AI Customization
subramanya.ai·10h·
Discuss: Hacker News
🔐Capability Systems
Flag this post
How Remote Procedure Call Works
newsletter.systemdesign.one·1d·
Discuss: r/programming
⚡gRPC
Flag this post
Hardware to Prove Humanity
juliver.bearblog.dev·15h·
Discuss: Hacker News
🎯Threat Hunting
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·11h·
Discuss: Lobsters, Hacker News
🌐WASI
Flag this post