Modern perspectives in proof theory (2023)
pmc.ncbi.nlm.nih.gov·14h·
Discuss: Hacker News
🏹Effect Systems
Flag this post
Operating Margins
fi-le.net·19h·
Discuss: Hacker News
📊Threat Intelligence
Flag this post
Trump Cybersecurity Policy Is Indistinguishable From A Foreign Attack
techdirt.com·2d
🛡Cybersecurity
Flag this post
Who's watching the watchers? This Mozilla fellow, and her Surveillance Watch map
theregister.com·1d·
Discuss: Hacker News, Hacker News
🕵️OSINT
Flag this post
Speech at Christening of Computer [1967]
mynamelowercase.com·4h·
Discuss: Hacker News
🧠LLM Engineering
Flag this post
MIT researchers propose a new model for legible, modular software
news.mit.edu·3d·
Discuss: Hacker News, Hacker News
🏛️Technical Architecture
Flag this post
AI's 70% Problem
zed.dev·4d·
Discuss: Lobsters, Hacker News
👨‍💻AI Coding
Flag this post
From Code to Confidence: Building AI Apps That Earn User Trust
devops.com·4d
🛡️AI Security
Flag this post
Show HN: NyxProxy – Destroy rate limits with IPv6 rotation (100K+ req/s)
github.com·17h·
Discuss: Hacker News
🖥Home Lab Setup
Flag this post
💻 What Is Blogging? A Beginner’s Guide for Tech Creators
dev.to·10h·
Discuss: DEV
🖥️Self-hosted apps
Flag this post
Noise Injection: Improving Out-of-Distribution Generalization for Limited Size Datasets
arxiv.org·3d
🔧MLOps
Flag this post
Part 3: Agentic AI in Telecom — From Insight to Action
dev.to·5d·
Discuss: DEV
🖥️Self-hosted apps
Flag this post
Building a URL Shortener with Go and Redis
dev.to·1d·
Discuss: DEV
☁️Cloud Security
Flag this post
Quantum AI: Are We Building Castles in the Clouds? by Arvind Sundararajan
dev.to·5d·
Discuss: DEV
⚛️Quantum Security
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·1d·
Discuss: DEV
👨‍💻AI Coding
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·1d·
Discuss: DEV
🏛️Technical Architecture
Flag this post
LLM-enhanced Air Quality Monitoring Interface via Model Context Protocol
arxiv.org·4d
👁️Observability
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.to·22h·
Discuss: DEV
👨‍💻AI Coding
Flag this post
EQ-Negotiator: Dynamic Emotional Personas Empower Small Language Models for Edge-Deployable Credit Negotiation
arxiv.org·4d
🛡️AI Security
Flag this post
Tech With Tim: Is This the Fastest App Build Ever? (Base44 Demo)
dev.to·12h·
Discuss: DEV
🖥️Self-hosted apps
Flag this post