Opportunistically Parallel Lambda Calculus
dl.acm.orgΒ·5hΒ·
Discuss: Hacker News
πŸ”—Functional Compilers
Flag this post
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
dev.toΒ·12hΒ·
Discuss: DEV
πŸ—ΊοΈ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
forums.swift.orgΒ·2hΒ·
πŸ’§Liquid Types
Flag this post
Ajla Tutorial
ajla-lang.czΒ·3hΒ·
Discuss: Hacker News
πŸ’§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
A functional programming course in 6 books
ericnormand.substack.comΒ·1dΒ·
Discuss: Substack
🧬Functional Programming
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comΒ·10h
πŸ”—Combinatory Logic
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.comΒ·1hΒ·
πŸ¦€Rust Macros
Flag this post
Scalable Static Analysis Framework – hardening large C++ codebases (LLVM/Apple)
discourse.llvm.orgΒ·1dΒ·
Discuss: Hacker News
πŸ“ŠStatic Analysis
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.comΒ·1dΒ·
Discuss: Hacker News
✨Effect Handlers
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.comΒ·9hΒ·
Discuss: Hacker News
βœ…Format Verification
Flag this post
Llmtext – an open source toolkit for llms.txt adoption
llmtext.comΒ·8hΒ·
Discuss: Hacker News
πŸ”„Burrows-Wheeler
Flag this post