๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿ“ Linear Logic

Resource Awareness, Session Types, Proof Nets, Substructural Logic

Why is there something rather than nothing?
invertedpassion.comยท9h
โฐTime Crystals
Khronos launches integration of 3D Gaussian splats into the glTF file format
heise.deยท1h
๐Ÿ“ธTIFF Evolution
โ˜… OpenAI Brings Back Legacy ChatGPT 4o Model in Response to Outcry From Users Who Find GPT-5 Emotionally Unsatisfying
daringfireball.netยท17h
๐Ÿ•ธ๏ธWASM Archives
Linux Meets AI: Top Machine Learning Frameworks You Need to Know
linuxjournal.comยท2dยท
Discuss: Hacker News
๐ŸงฎZ3 Applications
Show HN: Alternative to Htmx and Alpine.js
hmpl-lang.devยท2dยท
Discuss: Hacker News
๐ŸŒWeb Standards
AI Thing: A tool for everyone to perform complex tasks in parallel using AI
aithing.devยท1dยท
Discuss: Hacker News
๐Ÿ“ฒsyncthing
Spatio-temporal indexing the Bluesky firehose
joelgustafson.comยท4dยท
Discuss: Hacker News
๐Ÿ—ƒ๏ธDatabase Storage
The Zero-to-Vibe Coding Jumpstart Cube Catastrophication
vanonselenp.github.ioยท4dยท
Discuss: Hacker News
โšกHomebrew CPUs
Distributed Systems 101
mrinalxdev.github.ioยท4dยท
Discuss: Hacker News
๐ŸคDistributed Consensus
Reinforcement Learning Conference 2025: Outstanding Paper Awards
rl-conference.ccยท1dยท
Discuss: Hacker News
๐Ÿ”ฒCellular Automata
Updated Inclusive Language Guide Calls Out "Sanity Check", "Hung", "Native Support"
phoronix.comยท19hยท
Discuss: Hacker News
๐Ÿ“ABNF Extensions
ISPC: Implicit SPMD Program Compiler
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”ฉSystems Programming
Part 2: processing the LEGO interface B serial data
hackster.ioยท2d
โšกHomebrew CPUs
๐Ÿ“Š Smart Data 2025 โ€” Big Data Is Dead, Hereโ€™s Whatโ€™s Next ๐Ÿš€
dev.toยท9hยท
Discuss: DEV
๐Ÿ“ฐRSS Archaeology
DART: Dual Adaptive Refinement Transfer for Open-Vocabulary Multi-Label Recognition
arxiv.orgยท4d
๐Ÿ“„Document Streaming
Finding Needles in Images: Can Multimodal LLMs Locate Fine Details?
arxiv.orgยท4d
๐Ÿค–Advanced OCR
SwarmVLM: VLM-Guided Impedance Control for Autonomous Navigation of Heterogeneous Robots in Dynamic Warehousing
arxiv.orgยท10h
๐ŸงฉWASM Components
Quantifying Marine Ecosystem Resilience via Hyperdimensional Spectral Analysis of Bioacoustic Data
dev.toยท1dยท
Discuss: DEV
๐Ÿ“กFrequency Archaeology
Predicting Cardiovascular Risk Stratification in Urban Cohorts via Spatiotemporal Air Pollution Exposure Modeling
dev.toยท1dยท
Discuss: DEV
๐Ÿ“ˆTime Series
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.orgยท6d
๐Ÿ“ŠStatic Analysis
Loading...Loading more...
AboutBlogChangelogRoadmap