🐿️ 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

Unveiling RIFT: Enhancing Rust malware analysis through pattern matching
microsoft.com·17h
🦀Rust Borrowing
[$] Supporting kernel development with large language models
lwn.net·1d
💻Local LLMs
AI, artisans and brainrot
blog.kronis.dev·1d
⚡Incremental Computation
First NetHack ascension, and insights into the AI capabilities it requires
mikaelhenaff.substack.com·2d·
Discuss: Substack
🔲Cellular Automata
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·2d·
Discuss: Hacker News
📟Terminal Typography
Proficient Python: A free interactive online course
blog.pamelafox.org·4d·
Discuss: www.blogger.com, Hacker News
🔗Concatenative Programming
Visualizing CPU Pipelining (2024)
timmastny.com·1d·
Discuss: Hacker News
⚙️RISC-V Microcode
No Time To Learn (Web) Framework X
brainbaking.com·1d·
Discuss: Lobsters, Hacker News, r/javascript
🔌Interface Evolution
Why Go Rocks for Building a Lua Interpreter
zombiezen.com·4d·
Discuss: Lobsters, Hacker News, Hacker News, r/golang, r/programming
⬆️Lambda Lifting
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·3d·
Discuss: Hacker News
🦀Rust Macros
Your Guide to the Python print() Function
realpython.com·2d
📝Concrete Syntax
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·3d
⬆️Lambda Lifting
Deploying a Static Website on S3 with Terraform
dev.to·14h·
Discuss: DEV
🧱Immutable Infrastructure
ColumnTransformer and Pipelines in Scikit-Learn: Clean, Scalable, and Powerful Preprocessing
dev.to·1d·
Discuss: DEV
🌊Streaming Compression
MCP Security Vulnerabilities and Attack Vectors
dev.to·19h·
Discuss: DEV
🔐CBOR
👹 Longest Binary Subsequence K – LeetCode 2311 (C++ | JavaScript | Python )
dev.to·2d·
Discuss: DEV
λLambda Encodings
SACL: Understanding and Combating Textual Bias in Code Retrieval with Semantic-Augmented Reranking and Localization
arxiv.org·2d
🔍BitFunnel
DigitalOcean Fundamentals: API
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
🧠 Solving LeetCode Until I Become Top 1% — Day `31`
dev.to·2d·
Discuss: DEV
🔢Bitwise Algorithms
7 Python Caching Strategies That Boost Application Performance by 70%
dev.to·18h·
Discuss: DEV
⚡Redis Internals
Loading...Loading more...
AboutBlogChangelogRoadmap