🏛️ Agda

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

Dealing With The Thing At Point
irreal.org·1d
🔗Concatenative Programming
Microsoft introduces Phi-4-mini-flash-reasoning with up to 10x higher token throughput
the-decoder.com·2d
⚡Hardware Transactional Memory
Cactus Language • Stylistics 3
inquiryintoinquiry.com·3d
🔲Proof Irrelevance
Ransomware Threat Landscape Analysis - May through July for 2025
cstromblad.com·4h
🦠Malware Analysis
InfoSec News Nuggets 7/14/2025
aboutdfir.com·9h
🔓Hacking
Announcing Full Cross-Platform Support for the mssql-python Driver
devblogs.microsoft.com·11h
🕸️WASM Archives
Learn Commodore 64 Basic Programming – Type-In Text-Based Games
retrogamestart.com·1h·
Discuss: Hacker News
🎮Gameboy Emulation
XBOW Battles Ninja Tables
xbow.com·2h·
Discuss: Hacker News
🔓Hacking
GPUHammer: Rowhammer Attacks on GPU Memories Are Practical
gpuhammer.com·9h·
Discuss: Hacker News
🔓Password Cracking
Spending Inference Time
kevinlu.ai·1d·
Discuss: Hacker News
🌊Streaming Algorithms
LLMs for coding (+ free workflow templates)
blog.n8n.io·3d·
Discuss: Hacker News
💻Local LLMs
Ask HN: Using AI/LLM APIs makes me want to give up. What am I doing wrong?
news.ycombinator.com·15h·
Discuss: Hacker News
🤖Archive Automation
[R] Anyone at Foundation Labs Working on Multimodal / Visual-Reasoning Data — PhD Student Here 🙏
reddit.com·21h·
Discuss: r/MachineLearning
🏛Digital humanities
Itty-AWS: 34KB AWS SDK for Effect
github.com·21h·
Discuss: Hacker News
🔒Linear Types
Scrape Smarter, Not Harder: Let MCP and AI Write Your Next Scraper for You
hackernoon.com·9h
🔄Burrows-Wheeler
Build a Receipt Reader with Docuglean AI in Under 10 Minutes! 📜
dev.to·7h·
Discuss: DEV
🤖Archive Automation
Leveraging Large Language Models for Classifying App Users' Feedback
arxiv.org·18h
🎛️Feed Filtering
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·3d
🎯Proof Tactics
PyNarrative: An Excellent Python Library for Data Storytelling
kdnuggets.com·8h
🏛Digital humanities
Machine Learning Fundamentals: data augmentation project
dev.to·3d·
Discuss: DEV
⚡Incremental Computation