computer science, automata, theory, computation

Visualizing Intersecting Sets
upset.app·1d·
Discuss: Hacker News
📐Mathematical Art
Flag this post
InfoSec News Nuggets 11/07/2025
aboutdfir.com·1d
🛡Cybersecurity
Flag this post
Learning from Software Errors – Part 7: The Billion-Dollar Mistake
heise.de·2d
🧪Binary Fuzzing
Flag this post
Why Model?
abitgamey.substack.com·2h·
Discuss: Substack
⚙️Proof Engineering
Flag this post
Sharing my Clean Architecture boilerplate I'll be using in 2026
etsd.tech·1d·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
Interpolate a Video from the First and Last Frames with Veo 3.1 and Nano Banana
dev.to·6h·
Discuss: DEV
⏱️SMPTE Timecode
Flag this post
Made Dog Tags for my first Linux Festival coming up!
reddit.com·1d·
Discuss: r/linux
⚙️DIY Electronics
Flag this post
Modern motherboard features explained: Connectors, headers, ports, and chipsets decoded
tomshardware.com·22h
🖥️Modern Terminals
Flag this post
MathCanvas: Intrinsic Visual Chain-of-Thought for Multimodal MathematicalReasoning
dev.to·2d·
Discuss: DEV
📐Mathematical Art
Flag this post
Tech With Tim: OpenAI’s New Agent Builder is Insane - Full Tutorial
dev.to·1h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Happy Eyeballs Version 3: Better Connectivity Using Concurrency
datatracker.ietf.org·3d·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
You can now interrupt ChatGPT as it learns to take feedback on the fly
techradar.com·1d
🎙️Whisper
Flag this post
Large language models require a new form of oversight: capability-based monitoring
arxiv.org·3d
Effect Handlers
Flag this post
Why Choose Selenium with Python for Your Automation Testing Needs?
dev.to·1d·
Discuss: DEV
🤖Archive Automation
Flag this post
AI/ LLM Hacking — Part 6 — Excessive Agency | Insecure Plugin
infosecwriteups.com·2h
🛡️WASM Sandboxing
Flag this post
Show HN: I made a browser extension to practice phonetic scripts (like katakana)
github.com·1d·
Discuss: Hacker News
📟Terminal Typography
Flag this post
Towards Transparent Stance Detection: A Zero-Shot Approach Using Implicit and Explicit Interpretability
arxiv.org·3d
🗂️Vector Search
Flag this post
Expected Value Analysis in AI Product Management
towardsdatascience.com·2d
🧮Kolmogorov Bounds
Flag this post
Tech With Tim: I Let 3 AIs Compete to Build the Same App…
dev.to·2d·
Discuss: DEV
Proof Automation
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·6d·
Discuss: Hacker News
🎯Performance Proofs
Flag this post