Type Theory, Lambda Calculus, Semantics, Compiler Design

Multilingualism and Extending Healthspan โ€“ By Eric Topol
erictopol.substack.comยท1hยท
Discuss: Substack
๐Ÿ”Static Analysis
Flag this post
Native Apps with ClojureScript, React and Static Hermes
romanliutikov.comยท1dยท
Discuss: r/programming
๐ŸชœScala
Flag this post
Good Evening November 9
blog.preahs.comยท17h
๐ŸซOcaml
Flag this post
Monday 10 November, 2025
memex.naughtons.orgยท3h
๐Ÿค–AI
Flag this post
Risky Bulletin: Yanluowang ransomware IAB pleads guilty
news.risky.bizยท19h
๐Ÿ”Static Analysis
Flag this post
Synthetic Socrates, Teaching Assistant
jimmyalfonsolicon.substack.comยท11hยท
Discuss: Substack
๐Ÿค–AI
Flag this post
I built one ChatGPT prompt that works for absolutely any scenario
makeuseof.comยท7h
๐Ÿค–AI
Flag this post
Dynamic instantiation pattern for 100+ message types?
reddit.comยท15hยท
Discuss: r/golang
๐Ÿ”Static Analysis
Flag this post
PCT quantum symmetries -- section
ncatlab.orgยท4d
๐ŸซOcaml
Flag this post
Wikipedia-based Datasets in Russian Information Retrieval Benchmark RusBEIR
arxiv.orgยท17h
๐ŸซOcaml
Flag this post
Physics as Code: Train AI with Differentiable Simulations
dev.toยท19hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Automatic segmentation of colorectal liver metastases for ultrasound-based navigated resection
arxiv.orgยท17h
๐Ÿค–AI
Flag this post
TRICK: Time and Range Integrity ChecK using Low Earth Orbiting Satellite for Securing GNSS
arxiv.orgยท17h
๐Ÿ“formal specification
Flag this post
SurgiATM: A Physics-Guided Plug-and-Play Model for Deep Learning-Based Smoke Removal in Laparoscopic Surgery
arxiv.orgยท17h
๐Ÿค–AI
Flag this post
Tech With Tim: 7 Python Anti Patterns to Avoid
dev.toยท6hยท
Discuss: DEV
๐Ÿ”Static Analysis
Flag this post
Context-Driven Development: How AI Fixed Image Rendering in Jira Integration
dev.toยท20hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
DevMind - AI-Powered Developer Second Brain
dev.toยท18hยท
Discuss: DEV
๐Ÿค–AI
Flag this post
Variations on a Theme of Krylov
arxiv.orgยท3d
๐Ÿ”„Concurrency Models
Flag this post
TabGemma: Text-Based Tabular ICL via LLM using Continued Pretraining and Retrieval
arxiv.orgยท4d
๐ŸซOcaml
Flag this post