Search
1000 results for “hywan”
-
It has rained 36mm in 2 days. We have collected 7200L, be 120 days of self-sufficiency, be 4 months. Nature is nice.
Yes, the house consumes ≈60L/day/4persons, be 15L/day/person, which is not a lot!
Want to learn more about our self-sufficient house? https://lamaisonvivante.blog/
-
It has rained 36mm in 2 days. We have collected 7200L, be 120 days of self-sufficiency, be 4 months. Nature is nice.
Yes, the house consumes ≈60L/day/4persons, be 15L/day/person, which is not a lot!
Want to learn more about our self-sufficient house? https://lamaisonvivante.blog/
-
It has rained 36mm in 2 days. We have collected 7200L, be 120 days of self-sufficiency, be 4 months. Nature is nice.
Yes, the house consumes ≈60L/day/4persons, be 15L/day/person, which is not a lot!
Want to learn more about our self-sufficient house? https://lamaisonvivante.blog/
-
It has rained 36mm in 2 days. We have collected 7200L, be 120 days of self-sufficiency, be 4 months. Nature is nice.
Yes, the house consumes ≈60L/day/4persons, be 15L/day/person, which is not a lot!
Want to learn more about our self-sufficient house? https://lamaisonvivante.blog/
-
> type systems are the parts of formal methods that we’ve figured out how to make easy
– @graydon (according to https://without.boats/blog/ownership/)
I’m not gonna lie, that’s a good view of the problem 😛.
-
wide, https://github.com/Lokathor/wide.
> [it] has portable "wide" data types that do their best to be SIMD when possible.
> On x86, x86_64, wasm32 and aarch64 neon this is done with explicit intrinsic usage (via safe_arch), and on other architectures this is done by carefully writing functions so that LLVM hopefully does the right thing. When Rust stabilizes more explicit intrinsics then they can go into safe_arch and then they can get used here.
-
A Practical Approach for Model Checking C/C++11 code, http://plrg.eecs.uci.edu/publications/toplas16.pdf.
-
SpiderMonkey newsletter (Firefox 126-127), https://spidermonkey.dev/blog/2024/05/15/newsletter-firefox-126-127.html.
Improvements everywhere. Sometimes really great performance boosts, like `Array.prototype.sort` up to 4x faster, or general 8% speedup with a cache improvement.
-
ParadeDB, https://www.paradedb.com/.
It’s a modern ElasticSearch alternative built on Postgres and Tantivy, in Rust.
#database #ParadeDB #elasticsearch #tantivy #search #analytics
-
ParadeDB, https://www.paradedb.com/.
It’s a modern ElasticSearch alternative built on Postgres and Tantivy, in Rust.
#database #ParadeDB #elasticsearch #tantivy #search #analytics
-
ParadeDB, https://www.paradedb.com/.
It’s a modern ElasticSearch alternative built on Postgres and Tantivy, in Rust.
#database #ParadeDB #elasticsearch #tantivy #search #analytics
-
It brings the following interesting features:
• Generally faster and/or more memory efficient than alternatives
• Scales better to multiple cores for some workloads than alternatives
• Custom Out-Of-Memory handlers for just-in-time heap management and recovery
• Supports creating and resizing arbitrarily many heaps
• Optional allocation statistics
• Partial validation in debug -
Talc, https://github.com/SFBdragon/talc.
A memory allocator built in Rust, for Rust. It is for embedded system, OS kernels or other no_std environments. It is also for WebAssembly.
-
Tock Compiles on Stable Rust, https://tockos.org/blog/2024/talking-tock-55/.
Tock is an embedded operating system designed for running multiple concurrent, mutually distrustful applications on low-memory and low-power microcontrollers. It’s written in Rust. And now it can be compiled with the stable Rust versions.
-
freenginx, http://freenginx.org/pipermail/nginx/2024-February/000000.html.
freenginx is a fork of nginx, to keep the open source aspect safe.
> The goal is to keep nginx development free from arbitrary corporate actions
-
javascript.rs, https://github.com/endoli/javascriptcore.rs/.
Rust bindings for WebKit's JavaScriptCore.
-
https://bugs.webkit.org/show_bug.cgi?id=265151 if anyone can help :-).
-
macOS Sonoma (14.1.1) seems to have disable WebAssembly from JavaScriptCore. Does anyone know something about this?
-
ePBF for Windows, https://github.com/microsoft/ebpf-for-windows.
> eBPF is a well-known technology for providing programmability and agility, especially for extending an OS kernel, for use cases such as DoS protection and observability. This project is a [WIP] that allows existing eBPF toolchains and APIs familiar in the Linux ecosystem to be used on top of Windows. That is, this project takes existing eBPF projects as submodules and adds the layer in between to make them run on top of Windows.
-
ePBF for Windows, https://github.com/microsoft/ebpf-for-windows.
> eBPF is a well-known technology for providing programmability and agility, especially for extending an OS kernel, for use cases such as DoS protection and observability. This project is a [WIP] that allows existing eBPF toolchains and APIs familiar in the Linux ecosystem to be used on top of Windows. That is, this project takes existing eBPF projects as submodules and adds the layer in between to make them run on top of Windows.
-
ePBF for Windows, https://github.com/microsoft/ebpf-for-windows.
> eBPF is a well-known technology for providing programmability and agility, especially for extending an OS kernel, for use cases such as DoS protection and observability. This project is a [WIP] that allows existing eBPF toolchains and APIs familiar in the Linux ecosystem to be used on top of Windows. That is, this project takes existing eBPF projects as submodules and adds the layer in between to make them run on top of Windows.
-
ePBF for Windows, https://github.com/microsoft/ebpf-for-windows.
> eBPF is a well-known technology for providing programmability and agility, especially for extending an OS kernel, for use cases such as DoS protection and observability. This project is a [WIP] that allows existing eBPF toolchains and APIs familiar in the Linux ecosystem to be used on top of Windows. That is, this project takes existing eBPF projects as submodules and adds the layer in between to make them run on top of Windows.
-
ePBF for Windows, https://github.com/microsoft/ebpf-for-windows.
> eBPF is a well-known technology for providing programmability and agility, especially for extending an OS kernel, for use cases such as DoS protection and observability. This project is a [WIP] that allows existing eBPF toolchains and APIs familiar in the Linux ecosystem to be used on top of Windows. That is, this project takes existing eBPF projects as submodules and adds the layer in between to make them run on top of Windows.
-
Beating the Fastest Lexer Generator in Rust, https://alic.dev/blog/fast-lexing.
-
Optimizing Rust programs with PGO and BOLT using cargo-pgo, https://kobzol.github.io/rust/cargo/2023/07/28/rust-cargo-pgo.html.
Feedback-directed optimisations made easy with `cargo-pgo`! Neat.
-
Optimizing Rust programs with PGO and BOLT using cargo-pgo, https://kobzol.github.io/rust/cargo/2023/07/28/rust-cargo-pgo.html.
Feedback-directed optimisations made easy with `cargo-pgo`! Neat.
-
cargo-pgo, https://github.com/Kobzol/cargo-pgo.
Cargo subcommand that makes it easier to use PGO (Profile-Guided Optimisation) and BOLT to optimize Rust binaries.
PGO: https://doc.rust-lang.org/rustc/profile-guided-optimization.html
BOLT: https://github.com/llvm/llvm-project/tree/main/bolt
#RustLang #cargo #PGO #BOLT #compiler #performance #optimisation
-
Do you know how to create a Unity plugin?
Coqui awesome Text-to-Speech project needs you, https://github.com/coqui-ai/TTS/issues/2589. Imagine being able to create any speech from a simple text, in multiple languages, with any voices (including voice cloning), based on open source technologies and state-of-the-art algorithms? You can make it real.
-
St³, https://github.com/asynchronics/st3.
The Stealing Static Stack. Very fast lock-free, bounded, work-stealing queues with FIFO stealing and LIFO or FIFO semantic for the worker thread.