관심도 점수
100
- 검색 slug
- rust
- 실제 연결
- Hacker News, GitHub, arXiv
- 키워드
- and, rust, the, for, with, that, from, code
- 마지막 수집
- 2026-09-21T09:02:06.371Z
출처별 탭
Show HN: Radius – A Meetup.com Alternative
Hello HN! I'm relaunching Radius [1] - far too long after the original Show HN [2] (I'll blame the day job for that). Radius started out from my frustration with not knowing what was going on around me. The in...
Show HN: Ifso.io – Personal finance simulator with no sign up required
Hey all! I've been building Ifso.io, it's a personal finance simulator that lets you configure and play out life decisions. The main philosophy that I built Ifso around is decision-making. I personally wanted...
Show HN: CUA-S1 – A System One Model for Computer Use
Hello HN! We're Dillon and Francesco from Cua. We were wondering how many computer use tasks actually need a full general purpose LLM (e.g. gpt-6-astra, claude-opus-5 etc.) to think through all their decisions and...
What Zig felt like, coming from Rust
The EventCV Library for Event-Based Robotic Vision
Event cameras detect per-pixel brightness changes asynchronously on microsecond timescales, with high dynamic range and low power draw. These are desirable properties for robots that move fast or work in difficult lighting conditions. However, integrating an event camera into a real-world robotic pipeline still requires substantial effort: plug-and-play drivers do not exist, event streams are recorded in a variety of incompatible file formats, and most projects rely on custom research-grade code. Here, we present...
Show HN: Scry, programmable internet search w/ congestion pricing
Meet Scry, a 500 TB NVMe internet index in ClickHouse that you can run ~arbitrary readonly SQL and some of Datalog over, and I handle the problem of resource-contention with congestion-based micro-auction pricing. When...
Mind the Gap: How SBOM Specification Ambiguities Lead to Divergent Software Bills of Materials. An Empirical Tool Study
Software Bill of Materials (SBOMs) will become mandatory starting in December 2027 under the European Cyber Resilience Act (CRA) [8]. Although previous studies have highlighted significant differences among SBOM generators, the reasons for these discrepancies remain unknown, as does whether they stem from implementation errors or deliberate design choices. In this paper, we evaluate three widely used SBOM generators across more than 3,000 JavaScript and Rust projects, using a groundtruth baseline derived from depe...
Why building a Rust LSP is hard
Nvidia announces native GPU programming in Rust
Closing the Loop: Bidirectional Fully Encrypted Protocols
Fully encrypted protocols (FEPs) provide encrypted channels that make all protocol-generated bytes computationally indistinguishable from uniform random strings. Several previous works have explored security definitions and constructions of unidirectional FEPs: protocols in which one party acts only as a sender, and the other acts only as a receiver. However, most applications require two-way information exchange, and a network adversary can observe communication in both directions and their shared lifetime. Becau...
Assurance Envelopes for Autonomous Coding Agents: Minimum-Cost Evidence for Software Change
When a coding agent returns to existing software, it inherits evidence from earlier engineering work: tests, type checks, proofs, static analyses, and traces. Reloading all of it is wasteful, but dropping a piece the change depends on can leave a required property unsupported. Given the properties a change must preserve, its obligations, we ask which least-cost subset of the available evidence re-establishes them, and we call such a subset a task-conditioned assurance envelope. Evidence and the rules that combine...
Developing provably correct Rust code with Verus
Scaling Verification of Cryptographic Software with Aeneas, Rust, and Lean
We develop a new methodology for verifying cryptographic software. We target production code written in Rust for performance and system integration, rather than verification convenience. Rust's ownership discipline enables Aeneas to extract a pure model of this code in Lean, relieving us from low-level reasoning about pointer liveness and aliasing. Lean's extensibility lets us develop tactics and libraries that greatly simplify reasoning about extracted Rust code. We design and tune our toolchain to facilitate the...
Translator vs. Challenger: Adversarial Agentic Learning for C-to-Rust Translation
C-to-Rust translation remains challenging due to the substantial semantic gap between the two languages. Recent experience-enhanced LLM translators improve translation quality by learning reusable insights from prior failures and repairs. Yet learned insights do not automatically constitute reusable translation knowledge: derived from sparse, program-specific traces, they often contain missing conditions, narrow applicability boundaries, or overlooked corner cases. This limits their robustness and generalizability...
Agentic Porting, Construction and Initial Verification and Validation of Libraries within the Open Source Unified TRAnsient Multi-Physics Advanced Reactor simulation Kit (Outram Park) Part II: Nuclear Data and Neutronics
An agentic Rust port of both Njoy and OpenMC components was attempted to produce a convenient ENDF to Monte Carlo simulation pipeline in Outram Park. The code is still a prototype with more extensive verification and validation studies required in future studies. For initial verification work, Doppler-broadened cross sections of U-238 are demonstrated in this paper and compared to OpenMC pre-generated HDF5 files. Additionally, initial testing of the Monte Carlo ports from OpenMC were also performed with ICSBEP ben...
ABDS: Classifying Protocol Divergence Causes via AS-Boundary Correlation
Network operators frequently encounter protocol divergence---where ICMP, TCP, and UDP experience different treatment along a path. Existing tools identify where divergence occurs but not why, forcing manual investigation that delays resolution. We present two contributions: (1) the AS-Boundary Divergence Score (ABDS), a metric that correlates protocol divergence locations with BGP topology to automatically classify causes as routing-policy-driven versus internal-policy-driven; and (2) the localhost response signat...
Generation of Custom Solvers in Rust for Convex Optimization
We introduce cvxgenrust, an open-source tool for generating custom Rust code that solves families of parameterized convex optimization problems modeled in CVXPY. cvxgenrust canonicalizes a problem family, extracts affine maps to Clarabel cone-program data, and generates a specialized Rust crate that updates parameters and calls Clarabel natively at runtime. The generated solver can also be exposed to Python and registered as a custom CVXPY solver. Our code generator supports a wide range of convex optimization pro...
PQLN: Post-Quantum Security for the Bitcoin Lightning Network's Off-Chain Surfaces
A cryptographically relevant quantum computer will break the elliptic-curve cryptography behind Bitcoin and its Lightning Network, the most widely used payment channel network. Even a post-quantum consensus upgrade of Bitcoin would not cover Lightning's off-chain surfaces, so its gossip, peer transport, invoices, payment onions, and offers need separate protection. An adversary can already record Lightning's encrypted traffic today and decrypt it once such a computer exists. Lightning can therefore move to post-qu...
ultraworkers/claw-code
An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.
rtk-ai/rtk
CLI proxy that reduces LLM token consumption by 60-90% on common dev commands. Single Rust binary, zero dependencies
farion1231/cc-switch
A cross-platform desktop All-in-One assistant for Claude Code, Codex, OpenCode, OpenClaw, Grok Build & Hermes Agent. Only official website: ccswitch.io
astral-sh/uv
An extremely fast Python package and project manager, written in Rust.
krahets/hello-algo
《Hello 算法》：动画图解、一键运行的数据结构与算法教程。支持简中、繁中、English、日本語，提供 Python, Java, C++, C, C#, JS, Go, Swift, Rust, Ruby, Kotlin, TS, Dart 等代码实现
oven-sh/bun
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
rustdesk/rustdesk
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
tauri-apps/tauri
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
denoland/deno
A modern runtime for JavaScript and TypeScript.
rust-lang/rust
Empowering everyone to build reliable and efficient software.