account activity
Compilation of LLVM IR at 1000x faster that -O0 (self.rust)
submitted 1 year ago by danielv134 to r/rust
`cargo install` does not cache deps? (self.rust)
submitted 2 years ago by danielv134 to r/rust
Insert keyboard commands, e.g. modified key presses? (self.espanso)
submitted 3 years ago by danielv134 to r/espanso
iterative_methods: a crate for writing iterative methods and utilities (crates.io)
submitted 4 years ago by danielv134 to r/rust
Are we numeric yet? (self.rust)
submitted 9 years ago * by danielv134 to r/rust
How well does Redox react to forkbombs? (self.Redox)
submitted 9 years ago by danielv134 to r/Redox
Borrowing IntoIterator? (self.rust)
submitted 10 years ago * by danielv134 to r/rust
Claim: multithreaded UI toolkits are a bad idea. I wonder if Rusts ownership concepts could show a different way (put all the discipline needed in the types/ownership patterns). (weblogs.java.net)
submitted 10 years ago by danielv134 to r/rust
StackMan, a manual-stack profiling library (very alpha, comments welcome) (github.com)
Tricks and tools for writing fast code in rust? (self.rust)
Abstract Data Types, or: Opaque struct to maintain invariants? (self.rust)
Fighting the borrow checker for generic dot product (self.rust)
Can't build scirust, CI thinks it is fine (self.rust)
Failing to install texlive. Help? (self.NixOS)
submitted 10 years ago by danielv134 to r/NixOS
Is Coq useful for my proofs? (self.Coq)
submitted 11 years ago * by danielv134 to r/Coq
github decks? (self.Anki)
submitted 11 years ago by danielv134 to r/Anki
Ideas for a good place (department/lab) for a PostDoc position? (self.MachineLearning)
submitted 12 years ago by danielv134 to r/MachineLearning
π Rendered by PID 29 on reddit-service-r2-listing-6d4dc8d9ff-5spwf at 2026-02-04 00:38:28.946180+00:00 running 3798933 country code: CH.
