🏛️ Agda

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

Perplexity AI
perplexity.ai·13h
🏛Digital humanities
Using DuckDB for Embeddings and Vector Search – Random Thoughts
blog.brunk.io·3h
🗂️Vector Databases
A cellular entity retaining only its replicative core
biorxiv.org·13h·
Discuss: Hacker News
🧬Copy Number Variants
MVC Isn't MVC – Collin Donnell
collin.blog·1d·
Discuss: Hacker News
🔌Interface Evolution
Learning to never give up by following you're passion
thelabyrinthoftimesedge.com·10h·
Discuss: Hacker News
⚖️Emulation Ethics
Programming Language Theory has a public relations problem
happyfellow.bearblog.dev·13h·
Discuss: Lobsters, Hacker News
💻Programming languages
Happy 20th birthday Django! Here's my talk on Django Origins from Django's 10th
simonwillison.net·10h
🚀Indie Hacking
The Cost of Human-Centric Tools in LLM Workflows
joshbeckman.org·13h·
Discuss: Hacker News
⚡Proof Automation
Temporal Motifs for Financial Networks: A Study on Mercari, JPMC, and Venmo Platforms
arxiv.org·1h
🌳Archive Merkle Trees
Introduction Koca - A universal and OS-agnostic build, package, and publishing tool
reddit.com·2d·
Discuss: r/linux
🔓Open Source Software
Personal Project - ASCII Arcade
reddit.com·2d·
Discuss: r/golang
🖥️Terminal Renaissance
SPINT: Spatial Permutation-Invariant Neural Transformer for Consistent Intracortical Motor Decoding
arxiv.org·1h
🧠Neural Codecs
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2024
youtube.com·4d
🧬Functional Programming
Data: The Land DevOps Forgot • Michael Nygard • GOTO 2024
youtube.com·2d
🚚Data Migration
🚀 Exo-Binary: A Symbolic Language of Code Beyond Convention
dev.to·2d·
Discuss: DEV
📋Format Specification
Analysis of Propaganda in Tweets From Politically Biased Sources
arxiv.org·1h
📥Feed Aggregation
Natural Language Processing from Basics to Advanced: The Complete Guide for Innovators
dev.to·11h·
Discuss: DEV
📝Text Parsing
What’s New in CodeRabbit (May–July 2025)
dev.to·2d·
Discuss: DEV
📏Code Metrics
MoSAiC: Multi-Modal Multi-Label Supervision-Aware Contrastive Learning for Remote Sensing
arxiv.org·1h
🤖Advanced OCR
Resource-Efficient Modular Automation Core Library in Go (First Project!)
reddit.com·3d·
Discuss: r/golang
🌐Protocol Synthesis