bugzmanov's Top FindsLoading...
RediGuard: AI-Powered Real-Time Security Monitoring with Redis 8
youtu.be·9h·
Discuss: DEV
🤖AI
Creating an assembler for a custom CPU
popovicu.com·6h
🐫Ocaml
How I code with AI on a budget/free
wuu73.org·1d·
Discuss: Hacker News
🤖AI
Zig's Lovely Syntax
matklad.github.io·2d·
Discuss: Lobsters, Hacker News, r/programming
⚡Zig
Typescript and Gemini evil mode
markjgsmith.com·8h
🔧PLT
Getting Good Results from Claude Code
dzombak.com·2d·
Discuss: Hacker News
📐formal specification
As a 15 year old, I built an AI Bot to Beat Four Pattern-Based Rock-Paper-Scissors Bots!
github.com·2d·
Discuss: DEV
🤖AI
More Thoughts on My Mental Model for Understanding Data Structures and Algorithms
projectsayo.hashnode.dev·1d·
Discuss: DEV
🔧PLT
Rust's Annual Tech Report: Trusted Publishing for Packages and a C++/Rust Interop Strategy
developers.slashdot.org·11h
🦀Rust
5 self-hosted LLMs I use for specific tasks
xda-developers.com·1d
🤖AI
Mars v1.0.0 — a small language implemented in Go, with Go-like struct literals and clear errors
reddit.com·1d·
Discuss: r/golang
🐫Ocaml
🏗️ Part 1: Foundation - Basic RAG and Agentic Concepts
dev.to·2h·
Discuss: DEV
🔧PLT
Kotlin's Rich Errors: Native, Typed Errors Without Exceptions
cekrem.github.io·1d·
Discuss: r/programming, r/webdev
🪜Scala
REPL + Prompt
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🐫Ocaml
Simulating Gravity In C++ (Amazing)
forums.anandtech.com·3d
🐫Ocaml
Try the Goddamned Thing Out
sundaystopwatch.eu·6h·
Discuss: Hacker News
📐formal specification
Microsoft POML – Prompt Orchestration Markup Language
github.com·19h·
Discuss: Hacker News
📐formal specification
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
Automated Formal Verification of Blockchain Smart Contracts via Hypergraph Analysis and Constraint Propagation
dev.to·16h·
Discuss: DEV
📐formal specification
Roo Code Workflow: An Advanced LLM-Powered Development Setup
gist.github.com·1d·
Discuss: Hacker News
📐formal specification
RedisFlow - Enterprise Feature Store for Real-Time ML
dev.to·5h·
Discuss: DEV
📐formal specification