Devlog: Godot Game - A Trigger That Reveals Secrets
lmika.orgยท14h
๐ŸŽฏProof Tactics
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.comยท2d
๐Ÿ’ŽInformation Crystallography
Microsoft Adds Agentic AI Capabilities to Sentinel
darkreading.comยท1d
๐Ÿ“ŠHomelab Monitoring
PoC for Critical Lua Engine Vulnerabilities in Redis 7.4.5
redrays.ioยท18hยท
Discuss: Hacker News
๐ŸงชCBOR Fuzzing
Beyond the AI Hype: Guido van Rossum on Python's Philosophy, Simplicity, and Th
odbms.orgยท1dยท
๐Ÿ“ŠAPL Heritage
Show HN: I built a SaaS in 8 weeks, solo, using our own AI platform
zine.aiยท1dยท
Discuss: Hacker News
๐Ÿš€Indie Hacking
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท12hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Can You Improvise Software? One Developer Put AI to the Test
hackernoon.comยท1d
๐Ÿš€Indie Hacking
CVE-2025-11371: Unpatched zero-day in Gladinet CentreStack, Triofox under attack
securityaffairs.comยท18h
๐Ÿ”“Hacking
A 7-year-old CLI tool reborn with AI, meet gokill
reddit.comยท1dยท
Discuss: r/golang
๐ŸชŸAwesome windows command-line
The Library Method: Understanding @cache
dev.toยท2dยท
Discuss: DEV
โšกCache Theory
Tech With Tim: How to Build AI Agents in Python
dev.toยท10hยท
Discuss: DEV
โš”๏ธLean Tactics
Does OpenCode Support Hooks? A Complete Guide to Extensibility
dev.toยท2dยท
Discuss: DEV
๐Ÿ”“Open Source Software
Padding
reddit.comยท1dยท
Discuss: r/golang
๐Ÿ”งKAITAI
Online KubeDiagrams Service
reddit.comยท4hยท
Discuss: r/kubernetes
๐Ÿ“ฆContainer Security
Small Language Models for Agentic Systems: A Survey of Architectures, Capabilities, and Deployment Trade offs
arxiv.orgยท5d
โš™๏ธTLA+
Tech With Tim: Why 1M People Tried This AI Coding Tool (Full Vibe Coding Tutorial)
dev.toยท10hยท
Discuss: DEV
๐ŸŒ€Brotli Internals
Enhanced SoC Design via Adaptive Topology Optimization with Reinforcement Learning
dev.toยท2dยท
Discuss: DEV
๐ŸงฉRISC-V
What Every Developer Should Know About AI in 2025
dev.toยท1dยท
Discuss: DEV
๐Ÿ”„Language Evolution
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.toยท1dยท
Discuss: DEV
โš™๏ธProof Engineering