🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
λ Lambda Formalization

Type Theory Resources, Programming Language Theory, Formal Systems, Beginner Guides

Towards Digital Sovereignty
systemsapproach.org·2h
🖥️Self-hosted Infrastructure
Semantic Kernel for JavaScript
kerneljs.com·14h·
Discuss: Hacker News
🎙️Whisper
In defense of floating point
leancrew.com·1d·
Discuss: Hacker News
📐Arithmetic Precision
Open Source License Obligations Checklists
osadl.org·1d·
Discuss: Hacker News
🔓Open Source Software
Testing AWS EventBridge for Cross-Region Event Replication
blog.devops.dev·1d
🌊Streaming Systems
Data Structure Visualizations
cs.usfca.edu·21h·
Discuss: Hacker News
📐Mathematical Art
Building a Language Server
bullno1.com·6d·
Discuss: Hacker News, r/programming
🗣️Domain-Specific Languages
Data Science Projects You can start this weekend
dev.to·18h·
Discuss: DEV
🧪Data science
Hey devs, we're Kinde
dev.to·1h·
Discuss: DEV
🔓Open Source Software
AWS User Group Toronto @ Toronto Tech Week'25 – June Meetup Recap
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
AWS User Group Toronto @ Toronto Tech Week'25 – June Meetup Recap
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
AWS User Group Toronto @ Toronto Tech Week'25 – June Meetup Recap
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
AWS User Group Toronto @ Toronto Tech Week'25 – June Meetup Recap
dev.to·2d·
Discuss: DEV
🏠Homelab Orchestration
🚀 Automating Weekly SLA Reports — A No-Code, Practical Framework
dev.to·1d·
Discuss: DEV
⚡Proof Automation
From Jupyter to Production: Operationalizing ML Models at Scale
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·5d·
Discuss: DEV
🔗Concatenative Programming
Inverse scattering without phase: Carleman convexification and phase retrieval via the Wentzel--Kramers--Brillouin approximation
arxiv.org·5h
📐Linear Algebra
Machine Learning Fundamentals: anomaly detection with python
dev.to·18h·
Discuss: DEV
👁️Observatory Systems
Memory Safety in Web Rust System Zero Cost Secure(1750931826373700)
dev.to·3d·
Discuss: DEV
🦀Rust Borrowing
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.uk·6d
💻Programming languages
Loading...Loading more...
AboutBlogChangelogRoadmap