🏛️ Agda

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

Airbnb guest says images were altered in false £12,000 damage claim
theguardian.com·8h·
Discuss: Hacker News
🎫Kerberos Attacks
How AI Test Automation Cut Developer Productivity Bottlenecks by 30% at Scale
engineering.salesforce.com·3d
⚡Proof Automation
I Configure BorgBackup and Borgmatic
justus.pw·1d·
Discuss: Hacker News
🍎Apple Archive
GitHub - stelcodes/multiterm-astro: A coder-ready Astro blog theme with 60 of
github.com·1d
🌀Brotli Internals
Teaching Open Source in North Korea
izbicki.me·1d·
Discuss: Hacker News
🔓Open Source Software
Uncovering an ancient mechanism of growth and development in land plants
phys.org·1d
🧬Copy Number Variants
Python Data Wrangling: Pandas and Polars, A Comparison
hackernoon.com·1d
🧠Query Planners
Kargo strategy promotion with OCI private registry
reddit.com·2d·
Discuss: r/kubernetes
🔓Open Source Software
Comp AI secures $2.6M pre-seed to disrupt SOC 2 market
devops.com·1d
🏠Homelab Pentesting
Scientists shrink the genetic code of E. coli to contain only 57 of its usual 64 codons
phys.org·1d
🧬Palindrome Codes
Testing the full AI editorial system on No Cap Blog
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Proof Automation
AI reshapes the craft of software engineering, with Yoav Tzfati
complexsystemspodcast.com·4d·
Discuss: Hacker News
🔄Language Evolution
XeSS SDK 2.1 release opens up Intel's framegen tech to compatible AMD and Nvidia GPUs — Xe Low Latency also goes cross-platform if framegen is enabled
tomshardware.com·1d
🖥️Terminal Renaissance
Towards Locally Deployable Fine-Tuned Causal Large Language Models for Mode Choice Behaviour
arxiv.org·3d
💻Local LLMs
Can large language models assist choice modelling? Insights into prompting strategies and current models capabilities
arxiv.org·3d
💻Local LLMs
Context Engineering: The Hidden Superpower Fueling Next-Gen AI
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
ChatLoopBackOff: Episode 65 (Kubean)
youtube.com·1d
🏠Homelab Orchestration
Open source PDF reader built with Rust, Dioxus and PDFium
github.com·1d·
Discuss: Hacker News
📄PDF Internals
From Glitches to Glory: Crafting Give with Bolt
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Ollama's new app
simonwillison.net·2d
🐚Shell Monads