2025-08-26: Summer in the Midwest
ws-dl.blogspot.com·5h·
Discuss: ws-dl.blogspot.com
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Chatbots, APIs, and the Hidden Risks Inside Your Application Stack
blog.qualys.com·6h
👁️System Observability
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·18h
🕸️Network Topology
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·1d·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
Some recent project milestones
markjgsmith.com·2d
🔌Interface Evolution
Gonk - The First Steps and Routing
dev.to·2d·
Discuss: DEV
⚡gRPC
Adding MCP
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔑Cryptographic Protocols
Claude Code's 19 cent Parser
blogger.com·1d
🔧Binary Parsers
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
The Lobster Programming Language
strlen.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·3d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Builder Pattern in CDK
medium.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
Simulation Results of Distributed Fair Assignment and Rebalancing in Mobility‑On‑Demand
hackernoon.com·1d
⚡Incremental Computation
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.org·18h
⚖️RISC-V Formal
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·8h·
Discuss: Hacker News
⚔️Lean Tactics
DIAC ∞ 2: A Post-Quantum, P=NP-Resistant Hybrid Encryption System
osf.io·4h·
Discuss: Hacker News
🔐Quantum Security
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·18h
🤝Consensus Protocols