Readit News logoReadit News
drrotmos commented on Luce: First Electric Ferrari   ferrari.com/en-US/auto/fe... · Posted by u/kaizenb
ROOFLES · a month ago
Well you cant just get rid of Gasoline in the refinery process. Crude oil essentially gets destilled. The different fractions are split based on boiling point/weight. Heavy fuel oil-> Diesel-> Kerosene->Gasoline-> Naphta-> Propane/Butane whatever. That is why making new Plastic is so incredibly cheap. You need (i think) ethylene to make plastic. Ethylene is a byproduct of oil refining. If no one buys it, the whole refinery grinds to a halt because you are not allowed to burn it anymore. They practically give this stuff away. Same thing would happen to gasoline. If fewer people need Gasoline, it will become crazy cheap since you cant really do anything with it, except burn it. So it really isnt that easy. IF you get rid of Diesel/Gasoline you will also get rid of the entire petrochemical industry.Elastomers, plastics, lubricants. A huge lot depends on the sweet dino juice.
drrotmos · a month ago
Plastic isn't a single material. Some plastic materials (e.g PE, polyethylene or PVC, polyvinyl chlorine, but also others that use ethylene derivatives as intermediates) require ethylene, but there certainly are plastic materials which are produced without any involvement of ethylene or other petrolium derivatives.
drrotmos commented on Cloudflare claimed they implemented Matrix on Cloudflare workers. They didn't   tech.lgbt/@JadedBlueEyes/... · Posted by u/JadedBlueEyes
armchairhacker · 2 months ago
It’s not a working or complete implementation, but…
drrotmos · 2 months ago
But according to the README, it is production grade! Presumably "production" in this case is an isolated proof of concept?
drrotmos commented on Ask HN: COBOL devs, how are AI coding affecting your work?    · Posted by u/zkid18
antonvs · 2 months ago
The weakness goes beyond lifetimes. In Rust programs with non-trivial type schemas, it can really struggle to get the types right. You see something similar with Haskell. Basically, proving non-trivial correctness properties globally is more difficult than just making a program work.
drrotmos · 2 months ago
True. I do however like the process of working with an AI more in a language like Rust. It's a lot less prone to use ugly hacks to make something that compiles but fail spectacularly at runtime - usually because it can't get the ugly hacks to compile :D

Makes it easier to intercede to steer the AI in the right direction.

drrotmos commented on Ask HN: COBOL devs, how are AI coding affecting your work?    · Posted by u/zkid18
deaddodo · 2 months ago
AI isn’t particularly great with C, Zig, or Rust either in my experience. It can certainly help with snippets of code and elucidate complex bitwise mathematics, and I’ll use it for those tedious tasks. And it’s a great research assistant, helping with referencing documentation. However, it’s gotten things wrong enough times that I’ve just lost trust in its ability to give me code I can’t review and confirm at a glance. Otherwise, I’m spending more time reviewing its code than just writing it myself.
drrotmos · 2 months ago
In my experience AI and Rust is a mixed bag. The strong compile-time checks mean an agent can verify its work to a much larger extent than many other languages, but the understanding of lifetimes is somewhat weak (although better in Opus 4.5 than earlier models!), and the ecosystem moves fast and fairly often makes breaking changes, meaning that a lot of the training data is obsolete.
drrotmos commented on Heroku Is Down   status.heroku.com/... · Posted by u/cornfieldlabs
cornfieldlabs · 9 months ago
Maybe US servers are down? Mine are hosted in EU
drrotmos · 9 months ago
We have multiple apps across both Common Runtime (EU) and Private Spaces (eu-west-1). It's a mixed bag. Some are up, some are down.
drrotmos commented on Heroku Outage   status.heroku.com/error... · Posted by u/rahulr0609
drrotmos · 9 months ago
We're seeing mixed results with our apps, both in the Common Runtime (EU) and Private Spaces. A few apps are up, most are down.
drrotmos commented on Rust on the RP2350 (2024)   thejpster.org.uk/blog/blo... · Posted by u/fanf2
DrNosferatu · a year ago
But doesn't the ESP32-S3-WROOM have some large on-chip RAM?

For the Pico, say, something in the line of the approach taken by many smartphone SoCs that package memory and processor together.

drrotmos · a year ago
The ESP32-S3 has 512 KB of SRAM, and the RP2350 has 520 KB of SRAM. The ESP32-S3-WROOM does indeed come in configurations with additional PSRAM, but that would be comparing apples and pears. The WROOM is an entire module complete with program flash, PSRAM, crystal oscillator etc. It comes in a much larger footprint than the actual ESP32-S3, and it is entirely conceivable that one could create a similar module with the same amount of PSRAM using the RP2350.

Furthermore, the added RAM in both cases is indeed PSRAM. That being said, the ESP32-S3 supports octal PSRAM, not just quad PSRAM, which does make a difference for the throughput.

drrotmos commented on Rust on the RP2350 (2024)   thejpster.org.uk/blog/blo... · Posted by u/fanf2
boguscoder · a year ago
Embassy got _some_ support for rp2350 for quite some time now

https://github.com/embassy-rs/embassy

drrotmos · a year ago
I'm very much looking forward to giving Embassy on the RP2350 a go. I've been using it for a while with the RP2040, and it's a joy to use.
drrotmos commented on Rust on the RP2350 (2024)   thejpster.org.uk/blog/blo... · Posted by u/fanf2
drrotmos · a year ago
Note that this was written 2024-08-08. While I haven't kept up to date with exactly what's been happening in rp-rs, I do know that probe-rs has since been updated with support for the RP2350. Other things may be outdated as well.

u/drrotmos

KarmaCake day506January 16, 2012View Original