GULA-GUG - a modern terminal.
docs.google.com·1d·
Discuss: r/computers
✅Formal Verification
Forensic journey: Breaking down the UserAssist artifact structure
securelist.com·5h
✅Formal Verification
180 Days of Frontend Development Challenge: Day 32 CSS Advanced Flexbox
codewithdhanian.gumroad.com·1h·
Discuss: DEV
🤖AI
How I do it
daniel.haxx.se·1d·
Discuss: Hacker News
✅Formal Verification
Voidware: Software that only exists when you use it
ohad.com·1h·
Discuss: Hacker News
🤖AI
Testing Tracing Locally with OpenTelemetry
blog.apartment304.com·43m·
Discuss: Hacker News
🔧MLIR
9to5Linux Weekly Roundup: July 13th, 2025
9to5linux.com·13h
🔧MLIR
Introduction to Java
dev.to·1d·
Discuss: DEV
🤖AI
Advanced C# Testing: Property-Based Testing and Mutation Testing
dev.to·1d·
Discuss: DEV
📜Smart Contracts
Ask r/kubernetes: What are you working on this week?
reddit.com·4h·
Discuss: r/kubernetes
🤖AI
Machine Learning Fundamentals: data preprocessing project
dev.to·22h·
Discuss: DEV
🛡️AI Safety
Full-Stack DIY Smart Home: ESP8266/STM32, MQTT & WebSockets
hackster.io·1d
🔄Protocol Design
DSA Problem Solving — Day 4 and 5
dev.to·2d·
Discuss: DEV
🧮Homomorphic Encryption
Roslyn CodeFix for updating code
dev.to·23h·
Discuss: DEV
🔧MLIR
Code Review Request: MMO Client/Server architecture
github.com·2d·
Discuss: r/cpp
📜Smart Contracts
So, I built Devourer - an easy way to read and manage books, comics and manga.
reddit.com·20h·
Discuss: r/selfhosted
🔗Crypto
vanhauser-thc/thc-hydra
github.com·1d
✅Formal Verification
NeoPilot - the assistant
dev.to·1d·
Discuss: DEV
🤖AI
Can the Law Compile? Legal Speech as Machine Code
hackernoon.com·9h
📜Smart Contracts
My Linux Learning Journey: From Clueless to Confident
dev.to·1d·
Discuss: DEV
✅Formal Verification