🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

OO Design Principles: CUPID
slott56.github.io·2d
🐚Shell Calculus
Using Information Entropy To Make Choices / Choose Experiments
blog.demofox.org·6h
🔲Cellular Automata
Understanding Object-Oriented Programming
understandingoop.com·1h·
Discuss: Hacker News
💻Programming languages
DanielSant0s/AthenaEnv
github.com·1d
📺VT100 Emulation
Working pipe operator today in pure JavaScript
github.com·2d·
Discuss: Hacker News
🐚Shell Combinators
Any go lang devs, willing to help me implement some functionality in my project. Its open source.
reddit.com·1d·
Discuss: r/golang
🔓Open Source Software
Toward a Holistic Evaluation of Robustness in CLIP Models
arxiv.org·6h
📊Learned Metrics
SurveyBench: How Well Can LLM(-Agents) Write Academic Surveys?
arxiv.org·6h
🗣️Domain-Specific Languages
Geometry Meets Vision: Revisiting Pretrained Semantics in Distilled Fields
arxiv.org·6h
🌀Differential Geometry
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
Discuss: Hacker News, r/rust
📊HyperLogLog
Adventures on the AI Coding side of things
medium.com·2h·
Discuss: Hacker News
🌍Cultural Algorithms
Automatic Building Code Review: A Case Study
arxiv.org·6h
📏Code Metrics
Hilbert's Power
fi-le.net·4d·
Discuss: Hacker News
🔬Lean
DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding
arxiv.org·6h
🎙️Whisper
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·2h·
Discuss: DEV
📊Multi-vector RAG
Retrv-R1: A Reasoning-Driven MLLM Framework for Universal and Efficient Multimodal Retrieval
arxiv.org·6h
🗂️Vector Search
Delimited Continuations in Lone Lisp
matheusmoreira.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Goodbye Valve Spec Nightmares: AI's Got Your Back
dev.to·16h·
Discuss: DEV
⚙️Proof Engineering
Learning to Route: A Rule-Driven Agent Framework for Hybrid-Source Retrieval-Augmented Generation
arxiv.org·6h
🔍Information Retrieval
CLUE: Non-parametric Verification from Experience via Hidden-State Clustering
arxiv.org·3d
🧠Machine Learning