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

Step-debugging Docker Compose NestJS services
akrabat.com·20h
📦Container Security
A Conversation with James Gosling (acm.org)
queue.acm.org·4d
⚙️Operating System Design
The Hidden World of Coordinates
youtube.com·16h
🕸️Algebraic Topology
The Case Against Metrics for Developer Productivity
thenewstack.io·14h
📏Code Metrics
cargo license v0.7.0
reddit.com·20h·
Discuss: r/rust
📦Archive Formats
Tactile-Guided Robotic Ultrasound: Mapping Preplanned Scan Paths for Intercostal Imaging
arxiv.org·1d
📄Document Digitization
Hierarchical Game-Based Multi-Agent Decision-Making for Autonomous Vehicles
arxiv.org·2h
🔲Cellular Automata
Failure Risk Prediction in a MOOC: A Multivariate Time Series Analysis Approach
arxiv.org·2h
🧪Data science
SCORPION: Addressing Scanner-Induced Variability in Histopathology
arxiv.org·1d
📄Document Digitization
Enhancing Spatial Reasoning through Visual and Textual Thinking
arxiv.org·1d
🤖Advanced OCR
Python Ceiling Division
dev.to·2d·
Discuss: DEV
📐Interval Arithmetic
Show HN: Hypersigil – Prompt management UI – test, evaluate, deploy
github.com·10h·
Discuss: Hacker News
🔗Hypermedia APIs
Whilter: A Whisper-based Data Filter for "In-the-Wild" Speech Corpora Using Utterance-level Multi-Task Classification
arxiv.org·2h
🎙️Whisper
Developers remain willing but reluctant to use AI: The 2025 Developer Survey results are here
stackoverflow.blog·13h·
Discuss: Hacker News
🔓Open Source Software
Dialogues of Dissent: Thematic and Rhetorical Dimensions of Hate and Counter-Hate Speech in Social Media Conversations
arxiv.org·1d
📜Digital Philology
RemoteReasoner: Towards Unifying Geospatial Reasoning Workflow
arxiv.org·2d
📰RSS Archaeology
DEM-NeRF: A Neuro-Symbolic Method for Scientific Discovery through Physics-Informed Simulation
arxiv.org·2h
🕸️Tensor Networks
DxHF: Providing High-Quality Human Feedback for LLM Alignment via Interactive Decomposition
arxiv.org·2d
🧠Intelligence Compression
Dependency on Meta AI Chatbot in Messenger Among STEM and Non-STEM Students in Higher Education
arxiv.org·2h
⚡Proof Automation
DAG-AFL:Directed Acyclic Graph-based Asynchronous Federated Learning
arxiv.org·1d
🤝Consensus Networks
Loading...Loading more...
AboutBlogChangelogRoadmap