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

Silent magnetic stirrer
hackster.io·13h
⚙️Tape Mechanics
Making Question-Answering Systems Smarter with Knowledge Graphs Using FrOG: A Wikidata Research Fund 2024 Highlight
diff.wikimedia.org·3d
🕸️Knowledge Graphs
A Few Notes on <i>A Brief History of Time</i> (1988)
nytpu.com·2d
⏰Time Crystals
I built a board of 4 AIs and discovered their secret chat about me
gladicalexandru.medium.com·11h·
Discuss: Hacker News
🕵️Vector Smuggling
Context Rules Everything Around Me
jonmagic.com·3d·
Discuss: Hacker News
🔄Archival Workflows
ICML 2025 Outstanding Paper Awards
icml.cc·4d·
Discuss: Hacker News
🧠Machine Learning
Coding with LLMs in the summer of 2025 (an update)
antirez.com·6d·
Discuss: Lobsters, Hacker News, r/programming
🛠Language Design
Create AWS Diagrams with Python and Q in the CLI
dev.to·2d·
Discuss: DEV
🦋Format Metamorphosis
A Supervised Machine Learning Framework for Multipactor Breakdown Prediction in High-Power Radio Frequency Devices and Accelerator Components: A Case Study in P...
arxiv.org·2d
🧠Machine Learning
"Book" recommendation software
dev.to·3d·
Discuss: DEV
🔬Academic Search
Removing Box-Free Watermarks for Image-to-Image Models via Query-Based Reverse Engineering
arxiv.org·2d
👁️Perceptual Hashing
Understood: Real-Time Communication Support for Adults with ADHD Using Mixed Reality
arxiv.org·2d
🏛Digital humanities
Machine Learning Fundamentals: feature engineering
dev.to·4d·
Discuss: DEV
🌊Stream Processing
SV3.3B: A Sports Video Understanding Model for Action Recognition
arxiv.org·2d
👁️Perceptual Hashing
Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning
arxiv.org·3d
⚔️Lean Tactics
LTLZinc: a Benchmarking Framework for Continual Learning and Neuro-Symbolic Temporal Reasoning
arxiv.org·3d
🤖Lisp Machines
ProactiveVA: Proactive Visual Analytics with LLM-Based UI Agent
arxiv.org·2d
🌍Cultural Algorithms
Top 5 Python Libraries Every Control Engineer Should Know
dev.to·1d·
Discuss: DEV
🔄Finite State Machines
Oso Focuses on Fine-Grained Authorization To Thwart AI Risks
thenewstack.io·2d
🔒WASM Capabilities
Scoping Freelance Dev Projects with GPT: My Workflow
dev.to·1d·
Discuss: DEV
⚙️Batch Processing
Loading...Loading more...
AboutBlogChangelogRoadmap