mratsim

13 ms·

121.
by mratsim 3y ago
Rust is not race condition free unless it the compiler does formal verification like Ada/Sparks? It is data-race free however.
122.
by mratsim 3y ago
Or provide continuations and use them to implement coroutines.
123.
by mratsim 3y ago
Work-stealing has been there since 1996 and is optimal if greedy. Original Cilk paper: http://supertech.csail.mit.edu/papers/cilkjpdc96.pdf There are other techniques that are optimal like Parallel Depth First scheduli
124.
by mratsim 3y ago
Apple Metal does this though.
125.
by mratsim 3y ago
Tromp-Taylor ruleset?
126.
by mratsim 3y ago
I have a blockchain idea to pitch to your adtech CEO.
127.
by mratsim 3y ago
Is that a pro or a con?
128.
by mratsim 3y ago
A cheap way to collect a panel of old and modern day malwares. It's akin to a Petri Dish.
129.
by mratsim 3y ago
At a glance this sounds like a re-discovery of addition chains and using them to construct Pippenger algorithm. But applied to matrices instead of group elements. See: https://github.com/mratsim/constantine/issues&
130.
by mratsim 4y ago
On the topics of gaming, the energy consumption isn't pretty https://ethereum.org/en/energy-consumption/ - Youtube 244 TWh/year - Gold mining 240 TWh/year - Bitcoin 200 TWh/year - Ethereum PoW
131.
by mratsim 4y ago
https://ethereum.org/en/energy-consumption/ - Youtube 244 TWh/year - Gold mining 240 TWh/year - Bitcoin 200 TWh/year - Ethereum PoW 112 TWh / year - Netflix 94 TWh / year - Gaming 34 TWh &
132.
by mratsim 4y ago
America's underground economy is estimated at 2.5 trillions, 10-12% of GDP: https://www.investopedia.com/articles/markets/032916/how-big... The total market cap of ALL crypto is about 1 trillion today. S
133.
by mratsim 4y ago
- https://www.newstatesman.com/science-tech/2016/08/25-years-h... "The Internet, bah. Hype alert" - https://www.youtube.com/watch?v=UlJku_CSyNg "What is the Internet, Anyway?&q
134.
by mratsim 4y ago
> To this day I'm still yet to find a problem that Web3 solves uniqely well other than money laundering, sanctions evasion etc. Many of cryptographical constructs of the past 4 years were and are spearheaded by blockchains, in parti
135.
by mratsim 4y ago
You also have MLM and Ponzis with cash, stocks (pump and dumps), diamonds, art, fine wine, gold and jewellery. Anything of values get its share of fakes, even dev shops.
136.
by mratsim 4y ago
consensus is strongly related to distributed computing fault tolerance and database or file systems' atomicity and integrity in case of crash. Basically problems that involve multiple readers and multiple writers.
137.
by mratsim 4y ago
Chia plotting managed to get banned from all cloud providers in a month. It's also wasting by actively destroying storage disks.
138.
by mratsim 4y ago
> a forum for your average developer The average developer doesn't use Rust
139.
by mratsim 4y ago
> used for financial speculation, conducting illicit transactions, and dodging regulators... https://decrypt.co/66411/cia-bitcoin-surveillance > Michael Morell, who was previously the CIA’s acting director, said
140.
by mratsim 4y ago
Why replace? It's not a winner-takes-all game.
141.
by mratsim 4y ago
> More engagement (even if from fake profiles) = more ads to show = more money. I'm surprised bots actually load ads.
142.
by mratsim 4y ago
The "only" thing that change was the consensus algorithm. That's good software engineering practice when you have hundreds of billions at stake. Minimize the bug surface. Furthermore there are other concerns, Ethereum prides
143.
by mratsim 4y ago
0.0089%: source https://ethereum.org/en/energy-consumption/ using Digiconomist figures. 22000x less energy consumed than Youtube or gold mining and 10000x less than Netflix.
144.
by mratsim 5y ago
In my benchmarks, Nim is faster than Rust: - multithreading runtime (i.e Rayon vs Weave https://github.com/mratsim/weave ) - Cryptography: https://hackmd.io/@gnark/eccbench#Pairing - Scientific com
145.
by mratsim 5y ago
The runtime overhead is type-specific. If you don't use automatically managed types like seq/string and ref, there is no GC underneath. And even then, the GC is just reference counting so no difference from Rust Rc/Arc.
146.
by mratsim 5y ago
> The benchmark game makes it clear that no language with GC gets closer than a 2-3x the time of a non-GC language (julia is the closest) and that matches most real world experience (and also that we don't always care about that hit
147.
by mratsim 5y ago
Isn't that duck type?
148.
by mratsim 5y ago
Still true. Cuda warps work by team of 32 threads and if there is a branch they have to take both and then select the result. It's fine for loop termination ``while (i < 1000)`` but if there is actual work it's often significan
149.
by mratsim 5y ago
For example one, it works for signal processing or graphics but compile-time dimensions are unusable in Machine Learning or Numerical Computing because it's too much friction on serialization/deserialization and some operations th
150.
by mratsim 5y ago
The cited part was "I feel" and a question. I don't see any "put words in mouth".

More ›