👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Luke Littler comes from behind to beat Jonny Clayton
the-independent.com·19h
🧠Learned Indexing
BSD-user-4-Linux project
freebsd.org·15h·
Discuss: Lobsters, Hacker News
🕸️WASM Archives
How Python Implements List Comprehensions
pythonkoans.substack.com·5d·
Discuss: Substack
🔗Concatenative Programming
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·3d·
Discuss: Hacker News
📝Text Parsing
People Are Seeking God in Chatbots
nytimes.com·4h
📡RSS Readers
Show HN: Llmswap – Universal AI SDK and Code Generation CLI
sreenathmenon.com·3d·
Discuss: Hacker News
🪟Awesome windows command-line
Becoming an algorithmic problem: Resistance in the age of predictive technology
transformingsociety.co.uk·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Stop Outsourcing Thinking
vaibhawvipul.github.io·3d·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Fork that: Three alternative kernels show devs don't need Linux
theregister.com·2d·
Discuss: Hacker News
🔌Operating system internals
Show HN: Vibe Code Kit code with confidence
vibecodekit.dev·2d·
Discuss: Hacker News
⚡Proof Automation
Using Linters to Direct Agents
factory.ai·4d·
Discuss: Hacker News
🔄Language Evolution
How I Turned a $4 Microcontroller into a Rubber Ducky
infosecwriteups.com·4d
🔌Single Board PC
Codeminer42 Dev Weekly #78
blog.codeminer42.com·2d
🏺ZIP Archaeology
Quantization Explained: A Concise Guide for LLMs
dev.to·4d·
Discuss: DEV
📊Quantization
Predictive Maintenance Optimization via Hybrid Bayesian Network & Deep Reinforcement Learning in Yokogawa Centum CS
dev.to·3d·
Discuss: DEV
🌊Stream Processing
STL-based Optimization of Biomolecular Neural Networks for Regression and Control
arxiv.org·5d
📊Quantization
Automated Classification of Tutors' Dialogue Acts Using Generative AI: A Case Study Using the CIMA Corpus
arxiv.org·2d
🎙️Whisper
New Layer of AI Engineer - on AWS Bedrock
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
LangChain for EDA: Build a CSV Sanity-Check Agent in Python
towardsdatascience.com·4d
⚡Proof Automation
Enhanced Gas Separation via Dynamically Tuned Polymer Chain Entanglement Networks
dev.to·2d·
Discuss: DEV
⚛️Information Physics