๐Ÿ“ Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Universities can turn AI from a threat to an opportunity by teaching critical thinking
phys.orgยท5h
๐Ÿ”ฒCellular Automata
The Church of Emacs
jxself.orgยท6h
๐ŸงFOSS
Why you should be using pathlib (2018)
treyhunner.comยท6hยท
Discuss: Lobsters
๐ŸชŸAwesome windows command-line
The non-problem of unsigned integers in Java
bitmath.blogspot.comยท2hยท
Discuss: Hacker News
๐ŸงฎAlgebraic Datatypes
Show HN: Maudit, a Rust library to build static websites
maudit.orgยท5hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Increase of AMPA receptors associated with cognitive impairment of long Covid
pubmed.ncbi.nlm.nih.govยท1dยท
Discuss: Hacker News
๐Ÿง Intelligence Compression
Introducing CodeMender: an AI agent for code security
deepmind.googleยท8hยท
Discuss: Hacker News
โšกProof Automation
Vjeux ยป Birth of Prettier
blog.vjeux.comยท1dยท
Discuss: Hacker News, r/javascript, r/webdev
๐Ÿ“Concrete Syntax
Show HN: A minimal VPN implementation written in Go
github.comยท11hยท
Discuss: Hacker News
๐Ÿ“กNetwork Protocol Design
Excited, Skeptical, or Worried? A Multi-Institutional Study of Student Views on Generative AI in Computing Education
arxiv.orgยท17h
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Why is allocating in this example so fast? Am I actually allocating?
reddit.comยท7hยท
Discuss: r/rust
๐Ÿฆ€Rust Verification
Using AI Code Assistants to Generate Unit Tests and Maximize Coverage
qt.ioยท15h
๐Ÿ“Code Metrics
AI-Driven Predictive Maintenance of Compression Testing Machines via Multi-Modal Data Fusion & Semantic Parsing
dev.toยท13hยท
Discuss: DEV
๐Ÿง Intelligence Compression
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.toยท5hยท
Discuss: DEV
๐Ÿ“ŠMulti-vector RAG
Introduction to Python Module Two Part Four Data Types
dev.toยท6hยท
Discuss: DEV
๐Ÿ“Concrete Syntax
Multimodal Function Vectors for Spatial Relations
arxiv.orgยท17h
๐ŸงฎVector Embeddings
Multimodal Carotid Risk Stratification with Large Vision-Language Models: Benchmarking, Fine-Tuning, and Clinical Insights
arxiv.orgยท17h
๐Ÿง Machine Learning
๐ŸŽฅ Model Context Protocol (MCP) Clearly Explained in Hindi
dev.toยท7hยท
Discuss: DEV
๐ŸบProtocol Archaeology
FinReflectKG - MultiHop: Financial QA Benchmark for Reasoning with Knowledge Graph Evidence
arxiv.orgยท17h
๐Ÿ”BitFunnel
A rubber duck, even on acid, won't take your job
spikepuppet.ioยท41mยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing