🏛️ Agda

Dependent Types, Proof Assistant, Type-driven Development, Verification

Cybersecurity Snapshot: Asset Inventories Key for OT Security, CISA Says, as NIST Issues Lightweight Algorithms to Secure IoT Devices
tenable.com·2d
🛡Cybersecurity
“Dragon Delves” Is A Stunning Anthology for the Post-Core 5e Era
popularmechanics.com·2d
🏺Gaming Archaeology
Commodore is Back Selling New C64s, but Should You Buy them?
hackaday.com·13h
🕹️Retro Gaming
LLMs in Programming
thecodedmessage.com·6d·
Discuss: Hacker News
🦀Rust Macros
Pivoting to new funding sources in light of new government regulations
statmodeling.stat.columbia.edu·1d
🔍BitFunnel
Problem with dataset for my my physics undergraduate paper. Need advice about potential data leakage. [N]
reddit.com·2d·
Discuss: r/MachineLearning
🔍Vector Forensics
Linux is about to lose a feature – over a personality clash
theregister.com·2d
🐧FOSS
Bungling Brit Bureaucrats
aardvark.co.nz·3h
🏠Personal Archives
How I Built a Simple AI Text Summarizer in Python
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Verification Method for Graph Isomorphism Criteria
arxiv.org·5d
🔗Graph Isomorphism
Top Ways to Make Money Using AI Content Automation: Your Ultimate Guide to Digital Income
dev.to·2d·
Discuss: DEV
📊Feed Optimization
Merge Forward Meeting - 2025-08-13
youtube.com·2d
🌊Streaming Systems
Build a Serverless Distance Calculator on AWS (Amplify, Lambda, API Gateway & DynamoDB)
dev.to·5d·
Discuss: DEV
⚡gRPC
🚀 How I Built an AI Agent That Generates Structured Test Cases in Minutes
dev.to·5d·
Discuss: DEV
⚡Proof Automation
AI Apps with memory or without
dev.to·4d·
Discuss: DEV
🎙️Whisper
How We're Helping AI Startups Cut Costs by 67% With Open-Source Models
dev.to·4d·
Discuss: DEV
⚡Incremental Computation
Automated Semantic Graph Validation via Differentiated Hyper-Score Assessment
dev.to·6d·
Discuss: DEV
🔗Constraint Handling
Top 6 Best AI Task Managers in 2025
dev.to·2d·
Discuss: DEV
📊Feed Optimization
Fine-tune OpenAI GPT-OSS models on Amazon SageMaker AI using Hugging Face libraries
aws.amazon.com·6d
💻Local LLMs
Algorithmic Risk Assessment & Dynamic Pricing for Complex Infrastructure PPPs via Bayesian Sequential Optimization
dev.to·2d·
Discuss: DEV
⚡Incremental Computation