🧪 CBOR Fuzzing

Binary Protocol Testing, Security Validation, Parser Robustness, Format Security

Restoring a Prototype Macintosh Quadra 700: Low End Mac Mailbag
lowendmac.com·2h
🖥️Vintage Macintosh
Win-DDoS Under the Microscope: Lab Insights into Potential Threat Behavior
corero.com·1d
🕵️Domain Enumeration
slash - a customizable, vibrant, and modern shell
github.com·3h
🐚Bash Monads
Hmf4j parallelizes as well as orders message processing
handy-messaging-framework.github.io·14h·
Discuss: Hacker News
🌊Apache Kafka
Show HN: Convert your Bubble and other no-code apps into full code
fullcode.yonocode.io·20h·
Discuss: Hacker News
🔌Interface Evolution
Hashlock Launches Free AI Audit Tool for Smart Contracts
aiaudit.hashlock.com·2d·
Discuss: Hacker News
⚡Proof Automation
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·4d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
Systematic LLM Prompt Engineering Using DSPy Optimization
towardsdatascience.com·2d
⚡Proof Automation
Stop “vibe testing” your LLMs. It's time for real evals.
developers.googleblog.com·16h·
Discuss: Hacker News
📏Code Metrics
A chatbot that builds Rails apps
kodykendall.com·2d·
Discuss: Hacker News
🦋Format Metamorphosis
Classic Psion fan releases proof-of-concept language server for OPL
theregister.com·18h·
Discuss: Hacker News
🕹️Retro Gaming
5 Tokens to Invest In as the Fed Ends Program That Increased Bank Scrutiny of Crypto
hackernoon.com·15h
🔗Hash Chains
Show HN: HTML-to-docx – generate word docs from HTML (MIT Licensed)
github.com·14h·
Discuss: Hacker News
🖋Typography
The Software Is Always Broken (And AI Is Just Broken Faster)
dev.to·19h·
Discuss: DEV
⚙️Proof Engineering
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.org·2d
⚖️RISC-V Formal
aria - Event Driven websocket framework
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Building High-Load API Services in Go: From Design to Production
dev.to·2h·
Discuss: DEV
⚡gRPC
Generative Interfaces for Language Models
arxiv.org·1d
⚙️Parser Generators
GhostBSD 25.02-R14.3p2 Released with Gershwin Desktop Preview
discoverbsd.com·1d
🔌Operating system internals
TypeScript: Enable Strict Mode by Default
github.com·2d·
Discuss: Hacker News
🎯Gradual Typing