🐓 Coq

Dependent Types, Proof Development, Tactics, Mathematical Foundations

Are We Teaching Rust Effectively?
blog.kodewerx.org·1d·
Discuss: Hacker News
🦀Rust Borrowing
Quark’s Outlines: Python Complex Numbers
dev.to·22h·
Discuss: DEV
🧮Z3 Applications
Functional Programming HOWTO
docs.python.org·1d·
Discuss: Lobsters
🔗Lisp
An ECC-based Fault Tolerance Approach for DNNs
arxiv.org·2h
⚛️Quantum Error Correction
Modelling Exactly-Once Delivery Using TLA+
medium.com·1d·
Discuss: Hacker News
⚙️TLA+
Towards Open-Ended Emotional Support Conversations in LLMs via Reinforcement Learning with Future-Oriented Rewards
arxiv.org·2h
💻Programming languages
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·1d
🎯Gradual Typing
A Python RAG tutorial with Pinecone and Ollama 3.2 with a code example
blog.yasuflores.me·2h·
Discuss: Hacker News
🌀Brotli Dictionary
Automated Knowledge Graph Augmentation via Dynamic Semantic Embedding Refinement
dev.to·21h·
Discuss: DEV
🔗Constraint Handling
Code Vulnerability Detection Across Different Programming Languages with AI Models
arxiv.org·2h
🧪Binary Fuzzing
CURE: Critical-Token-Guided Re-concatenation for Entropy-collapse Prevention
arxiv.org·1d
🔗Concatenative Programming
What do Speech Foundation Models Learn? Analysis and Applications
arxiv.org·2h
🎙️Whisper
GraphCogent: Overcoming LLMs' Working Memory Constraints via Multi-Agent Collaboration in Complex Graph Understanding
arxiv.org·2h
🔄Graph Rewriting
Structured (Synchronous) Concurrency
fsantanna.github.io·8h·
Discuss: Lobsters, Hacker News
📞Session Types
Automated Protocol & Metric Harmonization for KS Standard Validation & Gap Analysis
dev.to·7h·
Discuss: DEV
✅Format Verification
Natural Language → SQL with Reinforcement Fine Tuning (RFT)
docs.fireworks.ai·7h·
Discuss: Hacker News
🔗Constraint Handling
Generalized quantum Chernoff bound
arxiv.org·2h
⚛️Quantum Channels
DESIGNER: Design-Logic-Guided Multidisciplinary Data Synthesis for LLM Reasoning
arxiv.org·2h
⚡Circuit Design
Predicting ChatGPT Use in Assignments: Implications for AI-Aware Assessment Design
arxiv.org·2h
🗺️Competency Maps
MoonBit Language Tour
tour.moonbitlang.com·9h·
Discuss: Lobsters
λLambda Formalization