👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Bear training week 29 recap
sgillies.net·10h
🔗Topological Sorting
Read more: Credit Suisse shareholders fighting UBS face limited document access
swissinfo.ch·1d
⚖️Legal Compliance
Devlog: Trying OpenAI Codex to Produce Freelens Logo Creator
lmika.org·1d
🔠Terminal Fonts
Black Swan and Black Chickens
w.ouzu.im·26m·
Discuss: Hacker News
🧬Bitstream Evolution
Grimoire CSS - flexible utility class tool
grimoirecss.com·1d·
Discuss: Lobsters, Hacker News
📟Terminal Typography
ChatGPT Confidant
aidarwinawards.org·1d·
Discuss: Hacker News
📝ABNF Parsing
Holding It Together
onelook.com·4d·
Discuss: Hacker News
🖋Typography
Tcpreplay – Modify and Replay Packet Captures Back into the Network
thegraynode.io·22h·
Discuss: Hacker News
📊PCAP Analysis
The Weekly Win
yusufaytas.com·22h·
Discuss: Hacker News
🔗Data Provenance
Show HN: Writing – How to make a computer browser internet automatically
news.ycombinator.com·18h·
Discuss: Hacker News
🪟Awesome windows command-line
5 Portfolio Mistakes That Keep Data Scientists From Getting Hired
kdnuggets.com·3d
🧪Data science
An Interpretable Deep Learning Model for General Insurance Pricing
arxiv.org·3d
🧠Machine Learning
I Finally Stopped Alt-Tabbing to ChatGPT While Coding
dev.to·4d·
Discuss: DEV
🪟Awesome windows command-line
How Token Marketing Agencies Drive Adoption Through Social Media
dev.to·1d·
Discuss: DEV
🔃Feed Algorithms
Need Speed in Python? When to Use Threading vs. Multiprocessing.
dev.to·1d·
Discuss: DEV
🌊Stream Processing
How I Handle 15-Second AI Tasks Without Losing 87% of Users
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·3d
🎯Content Recommendation
Voice AI: The Secret to Restaurant Efficiency & Happier Customers with Pannalabs.ai
dev.to·3h·
Discuss: DEV
🎙️Whisper
Unlocking Restaurant Efficiency: The Voice AI Revolution with Pannalabs.ai
dev.to·3h·
Discuss: DEV
🌊Streaming Systems
The Security Time Capsule: Evolving Beyond Legacy Pen Testing
praetorian.com·3d
🔐Archive Cryptanalysis