🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ¦€ Rust Verification

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

[$] 6.17 Merge window, part 1
lwn.netΒ·5h
πŸ”ŒOperating system internals
AI and the Democratization of Cybercrime
cacm.acm.orgΒ·3h
🎯Threat Hunting
Kaizen (YC X25) Is Hiring Engineers to Build Browser Agents That Work
ycombinator.comΒ·3hΒ·
Discuss: Hacker News
πŸ‡―πŸ‡΅Japanese Computing
GenosDB (GDB) – Decentralized P2P Graph Database
npmjs.comΒ·1dΒ·
Discuss: Hacker News, Hacker News
πŸ•ΈοΈNeo4j
LFCS Seminar: Tuesday 28 October: Patrick Totzke
informatics.ed.ac.ukΒ·5h
πŸ”²Cellular Automata
Gary Marcus Is Right on AI Agents for Now, Can You Prove Him Wrong?
dreami.meΒ·23hΒ·
Discuss: Hacker News
πŸ€–AI Curation
LLVM integrated assembler: Engineering better fragments
maskray.meΒ·4dΒ·
Discuss: Lobsters, Hacker News, r/programming
πŸš€Compiler Optimizations
Industrial control systems: Updates close malware loopholes
heise.deΒ·1d
πŸ”Systems Hardening
🎯 Solved a team-blocking problem with Claude Code:
dev.toΒ·4dΒ·
Discuss: DEV
πŸ”©Systems Programming
Security Tensors as a Cross-Modal Bridge: Extending Text-Aligned Safety to Vision in LVLM
arxiv.orgΒ·2d
πŸ€–Advanced OCR
Language Arithmetics: Towards Systematic Language Neuron Identification and Manipulation
arxiv.orgΒ·16h
πŸ’»Local LLMs
GNU Binutils 2.45 Expands RISC-V Support
linuxiac.comΒ·1d
πŸ›‘οΈRISC-V Security
Show HN: I made a full Ethereum account-proof circuit in Circom
github.comΒ·5dΒ·
Discuss: Hacker News
🌳Archive Merkle Trees
Unpacking MCP Protocols: SSE vs. Streamable HTTP - A Deep Dive into URL-based MCPs
dev.toΒ·7hΒ·
Discuss: DEV
🌐WebSocket Framing
Build dynamic web research agents with the Strands Agents SDK and Tavily
aws.amazon.comΒ·5h
🏠Homelab Orchestration
MOR-VIT: Efficient Vision Transformer with Mixture-of-Recursions
arxiv.orgΒ·1d
⚑Compression Hardware
Beyond the Chatbot: Event-Driven Agents in Action
docker.comΒ·2d
🌊Streaming Systems
FLORES: A Reconfigured Wheel-Legged Robot for Enhanced Steering and Adaptability
arxiv.orgΒ·16h
βš™οΈTLA+
Transforming Legacy Insurance with Neo4J,Redis and AI β€” robust, scalable, low latency β€” Smart Crawling Legacy Portal.
dev.toΒ·1dΒ·
Discuss: DEV
🌊Apache Kafka
You’re Building AI Apps Backwards: The Model-Product Problem
thenewstack.ioΒ·3h
πŸ”ŒInterface Evolution
Loading...Loading more...
AboutBlogChangelogRoadmap