🏛️ Agda

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

antiX vs. MX Linux on old-ish laptops
kevinboone.me·6h
🔌Operating system internals
From Cookie Consent to Command Execution: A Real-World SQLi + Full PII Leak to RCE on a Careers…
infosecwriteups.com·2h
🔓Hacking
From Cartography to Code: Architectures of Power at the Venice Biennale 2025
stirworld.com·7h·
Discuss: Hacker News
🏺Computational Archaeology
Arva AI (YC S24) Is Hiring an AI Research Engineer (London, UK)
arva.ai·1d·
Discuss: Hacker News
🎙️Whisper
Show HN: Indiehacker Portfolio
adityamallah.com·2d·
Discuss: Hacker News
🌊Stream Processing
Need help with Software solution and checking if I made a mistake or oversight in my build
reddit.com·3h·
Discuss: r/homelab
🔌Operating system internals
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·3d
📜Proof Carrying Code
25.04.1 can run Nvidia 570.153.02 without dev tools (50XX cards)
reddit.com·23h·
Discuss: r/homelab
🍎XNU Internals
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·3d
🎯Gradual Typing
DPNO: A Dual Path Architecture For Neural Operator
arxiv.org·1d
📊Quantization
How to Add Generative UI to Any React App in 5 Minutes
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
When Pattern-by-Pattern Works: Theoretical and Empirical Insights for Logistic Models with Missing Values
arxiv.org·1d
🧮Kolmogorov Complexity
Meet the Hybrid Tester: The Future of QA in the Age of AI
devops.com·1d
🔍Concolic Testing
Manage multi-tenant Amazon Bedrock costs using application inference profiles
aws.amazon.com·23h
🖥️Self-hosted Infrastructure
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·3d
💻Local LLMs
Iterative Augmentation with Summarization Refinement (IASR) Evaluation for Unstructured Survey data Modeling and Analysis
arxiv.org·2d
⚙️Compression Benchmarking
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·2d
🌳Context free grammars
Predicting the Future with Python: My Magic 8-Ball Project
dev.to·1d·
Discuss: DEV
🔗Concatenative Programming
Improving Drug Identification in Overdose Death Surveillance using Large Language Models
arxiv.org·1d
🧠Machine Learning
Inverse Reinforcement Learning Meets Large Language Model Post-Training: Basics, Advances, and Opportunities
arxiv.org·1d
🧠Neural Compression