๐Ÿฟ๏ธ 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

Sealed Chain of Deception: Actors leveraging Node.JS to Launch JSCeal
research.checkpoint.comยท1d
๐ŸŽซKerberos Exploitation
DeployFast: One-command Next.js deployments on AWS without cold starts
deployfast.cloudยท12hยท
Discuss: Hacker News
๐Ÿ”„Sync Engine
Runtime over Syntax
devpoga.orgยท3dยท
Discuss: Hacker News
๐ŸงฉWASM Components
The First Few Milliseconds of an HTTPS Connection
moserware.comยท1dยท
Discuss: Hacker News
๐Ÿ”Certificate Analysis
The Discovery, Disclosure, and Investigation of CVE-2024-25825
arxiv.orgยท22h
๐Ÿ”“Hacking
Perfect Graph Modification Problems: An Integer Programming Approach
arxiv.orgยท22h
๐Ÿ”—Graph Isomorphism
Large-Scale Linear Energy System Optimization: A Systematic Review on Parallelization Strategies via Decomposition
arxiv.orgยท22h
โšกParallel Computing
Worldโ€™s Largest Hackathon Writing Challenge
dev.toยท5hยท
Discuss: DEV
๐Ÿ”ŒOperating system internals
Design of highly functional genome editors by modelling CRISPRโ€“Cas sequences
nature.comยท10h
๐ŸงฌCopy Number Variants
RRTO: A High-Performance Transparent Offloading System for Model Inference in Mobile Edge Computing
arxiv.orgยท22h
๐Ÿ“ŠHyperLogLog
LinDeps: A Fine-tuning Free Post-Pruning Method to Remove Layer-Wise Linear Dependencies with Guaranteed Performance Preservation
arxiv.orgยท22h
๐Ÿ“ŠQuantization
Show HN: I built a local AI system for SOAP notesโ€“no cloud, no wrappers
news.ycombinator.comยท14hยท
Discuss: Hacker News
๐ŸŽ™๏ธWhisper
Translating Cython to Mojo, a first attempt
fnands.comยท2dยท
Discuss: Hacker News
๐Ÿ”“Reverse engineering
Power Up Your Go Apps: Using PostgreSQL as a Job Queue with River
dev.toยท1dยท
Discuss: DEV
๐ŸŒŠStream Processing
arwen - cross-platform patching of the shared libraries ( patchelf && install_name_tool in rust)
reddit.comยท4dยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
Python Fundamentals: command line arguments
dev.toยท3dยท
Discuss: DEV
๐ŸšShell Calculus
Tokenomics by Grammar
hackernoon.comยท2d
๐Ÿ“‹Document Grammar
Evaluating the cognitive reality of Spanish irregular morphomic patterns: Humans vs. Transformers
arxiv.orgยท22h
๐Ÿ“ผTape Linguistics
Turbocharging Web Automation: The Impact of Compressed History States
arxiv.orgยท22h
โš™๏ธCompression Benchmarking
Methodology for intelligent injection point location based on geometric algorithms and discrete topologies for virtual digital twin environments
arxiv.orgยท1d
๐Ÿ“ŠComputational Geometry
Loading...Loading more...
AboutBlogChangelogRoadmap