Hacker News with Generative AI: Rust

Rust Foundation Collaborates with AWS to Verify Rust Standard Libraries (rust-lang.org)
Today, Amazon Web Services (AWS) announced a collaborative initiative aimed at verifying the safety of the Rust standard libraries.

Rust, Programming Languages, Security, Cloud Computing, AWS

7 points by mjb 7 hours ago | 0 comments

Show HN: Unbug – Rust macros for programmatically invoking breakpoints (github.com/greymattergames)
A crate to programmatically invoke debugging breakpoints with helping macros.

Rust, Debugging, Programming, Tools

88 points by BrainBacon 17 hours ago | 37 comments

Show HN: Rust library for numerical integration of real-valued functions (github.com/mtantaoui)
Integrate is a small, lightweight Rust library for performing numerical integration of real-valued functions. It is designed to integrate functions, providing a simple and efficient way to approximate definite integrals using various numerical methods.

Rust, Numerical Integration, Libraries, Software

123 points by mtantaoui 2 days ago | 43 comments

Show HN: Nova JavaScript Engine (github.com/trynova)
Nova is a JavaScript and WebAssembly engine written in Rust.

JavaScript, WebAssembly, Rust, Programming Languages, Open Source

267 points by aapoalas 3 days ago | 102 comments

Rust haters, unite! Fil-C aims to Make C Great Again (theregister.com)
Developers looking to continue working in the C and C++ programming languages amid the global push to promote memory-safe programming now have another option that doesn't involve learning Rust.

Programming Languages, C, Rust

4 points by tux1968 3 days ago | 0 comments

Show HN: Terminal3d – View 3D Models in Your Terminal, Built with Rust (github.com/liam-ilan)
Terminal3d (t3d) is a tool for viewing 3d .obj files, right in your terminal! 🦀

3D Modeling, Rust

17 points by liamilan 3 days ago | 1 comments

Safety in an unsafe world (lwn.net)
Joshua Liebow-Feeser took to the stage at RustConf to describe the methodology that his team uses to encode arbitrary constraints in the Rust type system when working on the Fuchsia operating system (slides). The technique is not unknown to the Rust community, but Liebow-Feeser did a good job of both explaining the method and making a case for why it should be used more widely.

Security, Programming Languages, Operating Systems, Rust

70 points by signa11 4 days ago | 42 comments

Stop making me memorize the borrow checker (erikmcclure.com)
I started learning Rust about 3 or 4 years ago. I am now knee-deep in several very complex Rust projects that keep slamming into the limitations of the Rust compiler. One of the most common and obnoxious problems is hitting a situation the borrow-checker can’t deal with and realizing that I need to completely re-architect how my program works, because lifetimes are “contagious” the same way async is. Naturally, Rust has both!

Rust, Programming Languages, Compiler Design, Software Development

176 points by signa11 4 days ago | 233 comments

Stop Making Me Memorize the Borrow Checker (erikmcclure.com)
I started learning Rust about 3 or 4 years ago. I am now knee-deep in several very complex Rust projects that keep slamming into the limitations of the Rust compiler.

Programming, Rust, Software Development

3 points by todsacerdoti 6 days ago | 1 comments

Speeding up the Rust edit-build-run cycle (davidlattimore.github.io)
There are two main aspects to compile times that matter to developers. Cold build times, when building from scratch and warm build times when you’ve already built and you’re rebuilding following an edit. This article focuses on warm build times, which for rapid iteration during development is what generally matters most.

Rust, Development, Programming, Optimization, Build Systems

113 points by tempaccount420 6 days ago | 122 comments

C++/Rust Interoperability Problem Statement (github.com/rustfoundation)
In collaboration with the Rust Foundation, Rust Project, and appropriate external stakeholders, make C++ and Rust interoperability easily accessible and approachable to the widest possible audience.

C++, Rust, Programming Languages, Interoperability, Open Source

8 points by weinzierl 7 days ago | 1 comments

Kibi – A text editor in less than 1024 lines of code, written in Rust (terminaltrove.com)
A text editor in less than 1024 lines of code, written in Rust.

Rust, Text Editors, Programming Languages, Open Source

20 points by jkstill 8 days ago | 8 comments

Rust Foundation Releases Problem Statement on C++/Rust Interoperability (rust-lang.org)
DOVER, DELAWARE, November 12, 2024 – The Rust Foundation, an independent non-profit dedicated to stewarding and advancing the Rust programming language, released a comprehensive problem statement addressing the challenges and opportunities in C++ and Rust interoperability.

Rust, Programming Languages, Interoperability, C++

14 points by pjmlp 8 days ago | 2 comments

Rust Needs an Official Specification (tweedegolf.nl)
Can we currently reason about Rust code with absolute certainty? Not really, but we should be able to. In this article, we dive into the reasons why it may be time for a Rust specification.

Programming Languages, Rust, Software Development, Specifications

55 points by todsacerdoti 9 days ago | 47 comments

The Rust Trademark Policy is still harmful (purplesyringa.moe)
Four days ago, the Rust Foundation released a new draft of the Rust Language Trademark Policy.

Rust, Open Source, Trademark Policy

37 points by mananaysiempre 10 days ago | 28 comments

Rust Trademark Policy Updates (rust-lang.org)
The Rust Foundation is pleased to announce that the Rust trademark policy has been updated and a new draft is available to view.

Rust, Trademark Policy, Open Source

56 points by PeterWhittaker 11 days ago | 47 comments

Rust vs. C vs. Go runtime speed comparison (2023) (rust-lang.org)

Rust, C, Go, Programming Languages, Performance

6 points by susam 11 days ago | 0 comments

NeoHtop: A Cross-Platform Activity Monitor Written in Svelte, Rust and Tauri (github.com/Abdenasser)
A modern, cross-platform system monitor built on top of Svelte, Rust, and Tauri.

Cross-Platform, System Monitoring, Rust, Svelte, Tauri

11 points by abdenasser 11 days ago | 1 comments

Show HN: Jaws – a JavaScript to WASM ahead-of-time compiler (github.com/drogus)
Jaws is a JavaScript to WebAssembly compiler written in Rust. It is similar to porffor in a way it also results in a standalone WASM binary that can be executed without an interpreter, but it takes a different implementation approach.

JavaScript, WebAssembly, Rust, Compilers

290 points by drogus 12 days ago | 107 comments

Rust's Sneaky Deadlock With `if let` Blocks (bearblog.dev)
Rust is my favorite programming language. I've been writing Rust for about 6 years, from college to professionally, and I'm vocal about how helpful the compiler is in catching particularly nasty multithreaded issues and memory bugs. What the compiler doesn't always catch though is deadlocks, which can occur using several well known types like Mutex and RwLock.

Rust, Programming, Deadlocks, Multithreading

131 points by lukastyrychtr 12 days ago | 79 comments

Gccrs: An Alternative Compiler for Rust (rust-lang.org)
gccrs is a work-in-progress alternative compiler for Rust being developed as part of the GCC project. GCC is a collection of compilers for various programming languages that all share a common compilation framework. You may have heard about gccgo, gfortran, or g++, which are all binaries within that project, the GNU Compiler Collection. The aim of gccrs is to add support for the Rust programming language to that collection, with the goal of having the exact same behavior as rustc.

Rust, Compilers, Programming Languages, Open Source

11 points by thunderbong 13 days ago | 2 comments

Rust for tokenising and parsing (xnacly.me)
I am currently writing a analysis tool for Sql: sqleibniz, specifically for the sqlite dialect.

Rust, Parsing, SQL, Analysis Tools

285 points by thunderbong 13 days ago | 295 comments

Hyperlight: Virtual machine-based security for functions at scale (microsoft.com)
The Microsoft Azure Core Upstream team is excited to announce the Hyperlight project, an open-source Rust library you can use to execute small, embedded functions using hypervisor-based protection for each function call at scale.

Virtual Machines, Security, Rust, Open Source, Cloud Computing

171 points by yoshuaw 14 days ago | 38 comments

Rust GSoC 2024 Results (rust-lang.org)
As we have previously announced, the Rust Project participated in Google Summer of Code (GSoC) for the first time this year. Nine contributors have been tirelessly working on their exciting projects for several months.

Rust, Open Source, Programming, Community

33 points by HieronymusBosch 14 days ago | 3 comments

Bringing Faster Exceptions to Rust (purplesyringa.moe)
Three months ago, I wrote about why you might want to use panics for error handling.

Rust, Programming Languages, Error Handling

103 points by stpn 14 days ago | 34 comments

Perhaps Rust Needs "Defer" (gaultier.github.io)
Or, how FFI in Rust is a pain in the neck.

Rust, Programming Languages, Software Development

74 points by broken_broken_ 15 days ago | 67 comments

A Rust Take on Bsdiff (github.com/divvun)
bidiff is a set of rust crates that generate and apply patches for arbitrary binary files.

Rust, Software, Patches, Programming, Binary Files

13 points by ocean_moist 15 days ago | 1 comments

Show HN: Hackertuah: A Hacker News CLI Built in Rust (github.com/program247365)
A terminal-based user interface for browsing Hacker News with Vim-style navigation and Claude AI integration for story summarization.

Hacker News, Rust, AI, Vim

7 points by program247365 15 days ago | 2 comments

I love Rust for tokenising and parsing (xnacly.me)
I am currently writing a analysis tool for Sql: sqleibniz, specifically for the sqlite dialect.

Rust, Programming Languages, Data Analysis, SQL, Tools

8 points by xnacly 15 days ago | 0 comments

Show HN: Whirlwind – Async concurrent hashmap for Rust (github.com/fortress-build)

Rust, Hashmaps, Concurrency, Show HN

140 points by willothy 16 days ago | 54 comments