Bilingual

Tor’s Arti 2.5.0 Released: Stable Counter Galois Onion
5 days ago
- Arti 2.5.0 released with Counter Galois Onion marked as a stable feature.
- Congestion Control is now enabled in default builds to increase speed.
- Includes fixes for two medium-severity DoS security issues.
- Ongoing development for using Arti as a relay and directory authority.
- Minimum supported Rust version increased to Rust 1.91.
- Contains bugfixes, cleanups, and improvements across the codebase.
From Julia to Rust: a differentiable tensor stack for scientific computing
5 days ago
- Transition from Julia to Rust for scientific computing due to Julia's runtime issues in large codebases.
- tenferro-rs is a Rust-native dense tensor stack supporting autodiff, einsum, FFT, and explicit CPU/CUDA backends.
- Rust's ownership and types enhance correctness at compile time, making it practical for AI-written code.
- Design separates operation families, autodiff rules, and backends into independent crates for extensibility.
- Supports both PyTorch-style eager autodiff and JAX-style traced transforms for dynamic shape computations.
- Correctness verified through finite-difference oracles, performance benchmarks, and design documentation.
Local Reasoning for Global Properties
5 days ago
- The author previously believed AI would not benefit from new programming languages, as AI can generate code in many existing languages.
- However, AI often generates good local code (e.g., functions) but struggles with global program understanding, leading to unnecessary defensive checks that can cause exponential state complexity.
- If AI's global reasoning weakness persists, programming language design may help by enforcing global properties through local reasoning, similar to Rust's data race prevention.
- Rust's ownership types and Send/Sync traits prevent data races statically, allowing local reasoning to ensure global data-race freedom without a new sublanguage.
- This demonstrates that programming languages can enforce surprising global properties (like data race freedom) with minimal burden on programmers.
- AI-generated code often includes excessive defensive checks, which are unnecessary, hurt performance, and mislead about program states, causing exponential state explosions.
- Future programming languages might incorporate features like effects systems to enforce more global properties, potentially benefiting AI code generation and human review.
- While not all global properties can be enforced, there is evidence that usable languages can provide more guarantees, changing incentives for language design in the AI era.
Curveball
a day ago
- Curveball is a curve generator tool for Neverball, available as a web app or downloadable desktop app, written in Rust.
- It was created to generate complex curves not possible with the existing curve.c tool, which only produces circular arcs.
- Neverball levels consist of convex brushes defined by intersections of halfspaces, described using the Quake map format.
- Curveball uses the chull crate to compute convex hulls from points, simplifying brush generation from curve vertices.
- The key abstraction is extrusion: a 2D profile is copied along a path, with vertices processed via convex hull to form brushes.
- Orienting profiles along paths involves Frenet frames to handle rotation, with torsion considered to avoid issues.
- Curveball supports extrusion-based curves plus three special types: Curve Classic, Curve Slope, and Rayto, with some overlap in generation methods.
- The tool aims to streamline level creation for Neverball, allowing diverse curve shapes through profile and path combinations.

Hasty Briefsbeta

#rust

Tor’s Arti 2.5.0 Released: Stable Counter Galois Onion

From Julia to Rust: a differentiable tensor stack for scientific computing

Local Reasoning for Global Properties

Curveball