Specifying digital systems.
yodaiken.comยท6h
๐ŸŽฏFinite Automata
Flag this post
Dual-stage collaborative path planning and task allocation for UAV swarms in complex maritime rescue environments
sciencedirect.comยท5h
๐Ÿš‚Cranelift IR
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.orgยท22h
๐Ÿ—‚๏ธType Indexing
Flag this post
Ransomware-Proof Backups: I Replaced duplicacy with a Custom restic Orchestrator and a Raspberry Pi
lackhove.deยท7hยท
Discuss: r/selfhosted
๐ŸŒNetwork Protocols
Flag this post
Weekly DC Stats - 23NOV2025
forums.anandtech.comยท5h
๐Ÿ“‹JSON Parsing
Flag this post
Exploring Thompson Sampling for model selection
sourcepilot.coยท9hยท
Discuss: Hacker News
๐ŸชœRecursive Descent
Flag this post
The Interplanetary FINAL FANTASY IV
superjumpmagazine.comยท1d
๐Ÿ›Interactive Debuggers
Flag this post
Playing with cryptography
voboda.bearblog.devยท2d
๐Ÿ”—Hash Functions
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.meยท22hยท
Discuss: Hacker News
๐ŸŽญProgram Synthesis
Flag this post
Silent Signals: Hiding Red Team Operations in AI Noise by Arvind Sundararajan
dev.toยท14hยท
Discuss: DEV
๐Ÿ›ก๏ธSecurity Type Systems
Flag this post
Next step: Redundancy - but how?
reddit.comยท1dยท
Discuss: r/selfhosted
๐ŸฐCapability Machines
Flag this post
I'm 16 and I built The Exploit Museum completely alone. I would love to know your opinion.
reddit.comยท1dยท
Discuss: r/reactjs
๐Ÿ indieweb
Flag this post
This tiny Windows shortcut file is a bigger security threat than you think
makeuseof.comยท1h
๐Ÿ›ก๏ธParser Security
Flag this post
Solved a micro-stutter by spawning collectibles in batches โ€” sharing in case it helps
reddit.comยท12hยท
Discuss: r/godot
๐ŸŽชPlayground Compilation
Flag this post
Basic Rust FFI Tutorial
bhh32.comยท3dยท
๐Ÿฆ€Rust Macros
Flag this post
Free open-source tool for encrypting secrets locally and storing them safely on paper (no server, no cloud)
reddit.comยท1dยท
Discuss: r/selfhosted
๐Ÿ“Rope Editors
Flag this post
AimDB v0.2.0 โ€“ A unified data layer from MCU to Cloud (Tokio + Embassy)
reddit.comยท3hยท
Discuss: r/rust
๐ŸŒ‰Cross-Platform FFI
Flag this post
Announcing Conf: A derive-based, highly composable config parser (v0.2)
github.comยท2dยท
Discuss: r/rust
โš™๏ธTOML Parsers
Flag this post
Type-safe `net/rpc` alternative with context support
github.comยท23hยท
Discuss: r/golang
๐Ÿ”งAPI Design
Flag this post