🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚙️ Operational Semantics

Small-step Semantics, Reduction Relations, Programming Language Theory, Formal Methods

The Ultimate Secure Code Review Checklist
boostsecurity.io·19h
🛡️WebAssembly Security
Turn pose photos into editable animation code
news.ycombinator.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
A friendly starter paper - Entropy-Guided Loop: Achieving Reasoning through Uncertainty-Aware Generation [R]
reddit.com·3d·
Discuss: r/MachineLearning
🔗Constraint Handling
The Term "Non-Deterministic" and LLMs
vishalbakshi.github.io·2d·
Discuss: Hacker News
🧮Kolmogorov Complexity
The Next Generation of Compound on GroqCloud
groq.com·1d·
Discuss: Hacker News
🌀Brotli Internals
I made a transformer by hand (no training)
vgel.me·2d·
Discuss: Hacker News
🤖Grammar Induction
Dependency Chain Analysis of ROS 2 DDS QoS Policies: From Lifecycle Tutorial to Static Verification
arxiv.org·2d
🛡️Error Boundaries
Go from Zero to a Full-Stack, Type-Safe, Cross-Platform App in Seconds
dev.to·8h·
Discuss: DEV
🔄Language Evolution
BIDO: A Unified Approach to Address Obfuscation and Concept Drift Challenges in Image-based Malware Detection
arxiv.org·1d
🔗Binary Similarity
I built a simple HTTP key-value store in Go (learning project) – feedback welcome
reddit.com·1d·
Discuss: r/golang
🌊Streaming Databases
StealthEval: A Probe-Rewrite-Evaluate Workflow for Reliable Benchmarks
arxiv.org·3d
🏗️Compiler Archaeology
LangChain vs. LlamaIndex: The Right Framework for the Job, Not the Hype.
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Nonlinear Performative Prediction
arxiv.org·3d
🧠Machine Learning
Meta-Policy Reflexion: Reusable Reflective Memory and Rule Admissibility for Resource-Efficient LLM Agent
arxiv.org·1d
📏Linear Logic
AI in Healthcare: How LLMs are Transforming Medical Documentation and Decision Making
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Unlock the Black Box: AI-Powered Optimization for Any Problem
dev.to·14h·
Discuss: DEV
⚡Incremental Computation
Evals are a scam. And we're being gaslit into believing they aren't
hacktrace.substack.com·5h·
Discuss: Substack
📏Code Metrics
Galactic Algorithm
en.wikipedia.org·1d·
Discuss: Hacker News
🎯Performance Proofs
Simplify Validation in Golang— No Struct Tags, No Reflection, TypeSafety: Meet GoValidator
dev.to·23h·
Discuss: DEV
✅Format Verification
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·3d
🔍Type Inference
Loading...Loading more...
AboutBlogChangelogRoadmap