🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⏱️ Real-time Systems

Deterministic Scheduling, Hard Deadlines, Embedded Systems, RTOS

Poor child process management in Rust terminal apps leads to terminal corruption
fiveonefour.com·4d·
Discuss: Hacker News, r/programming
⚡Async Rust
[RFC] Upstream target support for CHERI-enabled architectures
discourse.llvm.org·3d·
Discuss: Lobsters, Hacker News
🏗️LLVM
Contraction Hierarchies: HMC Clinic Project Recap
blog.appliedcomputing.io·4d·
Discuss: Lobsters, Hacker News
🎮Game Engines
Black-Box Bug-Amplification for Multithreaded Software
arxiv.org·3d
🔧Embedded Rust
Agentic Coding Things That Didn’t Work
lucumr.pocoo.org·4d·
Discuss: Lobsters, Hacker News, Hacker News
🎭Proc Macros
The Effect of Prior Parameters on Standardized Kalman Filter-Based EEG Source Localization
arxiv.org·1d
🤖AI
An Algorithm-to-Contract Framework without Demand Queries
arxiv.org·4d
📈Graph Algorithms
SOME: Symmetric One-Hot Matching Elector -- A Lightweight Microsecond Decoder for Quantum Error Correction
arxiv.org·1d
📦Binary Formats
Comparing Normalizing Flows with Kernel Density Estimation in Estimating Risk of Automated Driving Systems
arxiv.org·2d
🎮Game Engines
Large Language Model Powered Automated Modeling and Optimization of Active Distribution Network Dispatch Problems
arxiv.org·3d
🌍Distributed Systems
Some mistakes in thinking about AGI evolution and control
lesswrong.com·1d
🤖AI
Tropical solution of discrete best approximation problems
arxiv.org·2d
🧮Linear Algebra
FGFP: A Fractional Gaussian Filter and Pruning for Deep Neural Networks Compression
arxiv.org·2d
🕯️Candle
RL from Teacher-Model Refinement: Gradual Imitation Learning for Machine Translation
arxiv.org·2d
🕯️Candle
Morph: ChirpTransformer-based Encoder-decoder Co-design for Reliable LoRa Communication
arxiv.org·2d
📡Network Protocols
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
arxiv.org·2d
🗣️Language Servers
RLVMR: Reinforcement Learning with Verifiable Meta-Reasoning Rewards for Robust Long-Horizon Agents
arxiv.org·2d
🤖AI
Numerical Methods for Solving Nonlinearly Coupled Poisson Equations in Dual-Continuum Modeled Porous Electrodes
arxiv.org·2d
🎮Game Engines
GlideinBenchmark: collecting resource information to optimize provisioning
arxiv.org·3d
🧠Memory Allocators
Adaptive Fuzzy Time Series Forecasting via Partially Asymmetric Convolution and Sub-Sliding Window Fusion
arxiv.org·4d
🤖AI
Loading...Loading more...
AboutBlogChangelogRoadmap