Java Generics and Collections β’ Maurice Naftalin & Stuart Marks β’ GOTO 2025
youtube.comΒ·14h
Ξ»Lambda Formalization
Flag this post
Issue 496
haskellweekly.newsΒ·15h
πFunctional Compilers
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
πΊοΈCompetency Maps
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.infoΒ·5h
πCryptographic Protocols
Flag this post
Roadmap for Improving the Type Checker
π§Liquid Types
Flag this post
Ajla Tutorial
π§Liquid Types
Flag this post
Enabling Publishers to Express Preferences for AI Crawlers: An Update on the AIPREF Working Group
ietf.orgΒ·17h
πABNF Parsing
Flag this post
Evolving Product Security: Scaling YARA Detections with the Binarly Transparency Platform v3.5
binarly.ioΒ·7h
πCBOR
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukΒ·16h
π»Programming languages
Flag this post
Evaluating LLMs on Generating Age-Appropriate Child-Like Conversations
arxiv.orgΒ·1d
πABNF Extensions
Flag this post
AI Experiments: Fast Inference with Groq and Third-Party Tools with Kimi K2 in TypingMind
macstories.netΒ·7h
πBrotli Dictionary
Flag this post
A Short Introduction to Categorical Logic
youtube.comΒ·23h
πCategory Theory
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comΒ·10h
πCombinatory Logic
Flag this post
Scalable Static Analysis Framework β hardening large C++ codebases (LLVM/Apple)
πStatic Analysis
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
β¨Effect Handlers
Flag this post
Loading...Loading more...