Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more โ
Top 4 Rust Research Projects
-
Theseus
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
Project mention: What do we mean by "the foundations of mathematics"? | news.ycombinator.com | 2023-11-01In mathematics, the roof holds up the building, not the foundation. Since humans use mathematics a lot, we design foundations to our specific needs. It is not the building we are worried about, we just want better foundations to create better tools.
Not only are we going to treat mathematics as subjective, but also having formal theories that reason about different notions of subjectivity. https://crates.io/crates/joker_calculus
> Could our conception of paradox be itself primal, and perhaps, in some plane, could it be something ranking higher, of first-class?
Yes! Paradoxes are statements of the form `false^a` in exponential propositions. https://crates.io/crates/hooo
> Also, Iโve been thinking, recently, on the role of time in structures. There canโt possibly be any structure whatsoever without time, or, more concretely, at least the memory of events, recollecting distinctive and contrasting entropic signatures. So, mathematics manifesting as, of, and for structure, wouldnโt it require, first and foremost, a treatment from physics? Regular or meta?
Path semantical quality models this relation, where you have different "moments" in time which each are spaces for normal logical reasoning. Between these moments, there are ways to propagate quality, which is a partial equivalence. https://github.com/advancedresearch/path_semantics
Rust Research related posts
- What do we mean by "the foundations of mathematics"?
- Theseus OS
- Making a RISC-V Operating System Using Rust
- Linux kernel use-after-free in Netfilter, local privilege escalation
- Need help for porting my kernel to different architectures.
- Exploiting null-dereferences in the Linux kernel
- grub-install: command not found
-
A note from our sponsor - InfluxDB
www.influxdata.com | 25 Apr 2024
Index
What are some of the best open-source Research projects in Rust? This list will help you:
Project | Stars | |
---|---|---|
1 | Theseus | 2,735 |
2 | FutureSDR | 261 |
3 | reason | 184 |
4 | path_semantics | 158 |
Sponsored