Isabelle/HOL, Lean, Automated Reasoning, Proof Assistants
Full stack open
fullstackopen.com·1d
3 ways I'm using NotebookLM’s video overviews (and I kind of love them already)
xda-developers.com·10h
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
Bounded fuzzy logic control for optimal scheduling of green hydrogen production and revenue maximisation
arxiv.org·1d
Frequency Point Game Environment for UAVs via Expert Knowledge and Large Language Model
arxiv.org·37m
9 habits of the highly ineffective vibe coder
infoworld.com·1d
Loading...Loading more...