junon

36 ms·

781.
by junon 2y ago
Nah not really. Pin is for self-refefential data typically. It's compile time only so that information would get lost in C anyway, and there's no way to distinguish that data at runtime. The kernel is doing so much anyway with mem
782.
by junon 2y ago
Context: I'm writing a novel kernel in Rust. Lifetimes aren't bad, the learning curve is admittedly a bit high. Post-v1 rust significantly reduced the number of places you need them and a recent update allows you to elide them eve
783.
by junon 2y ago
And if you're really wanting to be stringent, clippy exists for more subjective or more expensive lints. And it's also very good.
784.
by junon 2y ago
Doubt it. I assume they're under HIPAA regulations and it'd be a massive cost if they did it even once.
785.
by junon 2y ago
Important missing info I suppose for some readers - that's what the "p" in "pae" stands for - physical address extension. It has no bearing on virtual addresses.
786.
by junon 2y ago
We have the programmer to woodworker pipeline, programmer to runner pipeline... is there a programmer to tugboat operator pipeline I'm missing out on?
787.
by junon 2y ago
This has less to do with photogrammetry and more to do with height maps, I'd think. Photogrammetry is perfectly capable of modeling holes. Height maps are not, and this is exactly what I'd expect from a height map based approach.
788.
by junon 2y ago
Why are passwords leaving the auth services though?
789.
by junon 2y ago
Let's not normalize placing people who do cool things on unnecessarily large pedestals. Idolization like that never has a good outcome.
790.
by junon 2y ago
If you haven't seen it already, check out "Tea with the Dames". It's great, and I'd assume one of the last things Dame Maggie Smith was in.
791.
by junon 2y ago
Nah not really, just frustration a bit with how it's managed. But Rust is relatively young, and it's growing so fast that it'll take a while to reach an equilibrium with management etc.
792.
by junon 2y ago
That's obviously not the case. GitHub even has their DMCA takedowns public. You can't redistribute copyrighted material unless it's under a license that allows for it.
793.
by junon 2y ago
Check out ferrocene.
794.
by junon 2y ago
Oh I believe you, was more commenting on the uncertainty of all of it.
795.
by junon 2y ago
Music to my ears, thanks!
796.
by junon 2y ago
You may be right, I was under the impression that the Haskell version was the verified version.
797.
by junon 2y ago
> rust isn’t memory safe if you use unsafe. Did you read my comment at all ? How do you define "memory safe"?
798.
by junon 2y ago
This comment demonstrates a lack of understanding of what the unsafe keyword is for in Rust. Unsafe specifically states that no code within it may introduce UB after the unsafe block exits (post-condition). It also doesn't allow certai
799.
by junon 2y ago
Probably two years ago or so.
800.
by junon 2y ago
I have "angry" in my channel name, anecdotally. So it could have been something else.
801.
by junon 2y ago
Coming from freecad as my only frame of reference, even though I understand the concepts of build123d, I found it wildly difficult to express anything useful in it. Not saying it's not possible - I've seen what it can do - but e
802.
by junon 2y ago
Working on one over at github.com/oro-os but haven't proven efficacy of the design yet, so haven't announced it. Just if you want something to follow.
803.
by junon 2y ago
Depends on the use case. Rust has more explicit types, yes. It's kind of a weak argument against the language though, in my opinion.
804.
by junon 2y ago
Quasar was awesome when it came out. Still remember trying to make it work when I was at Uber but it was really finicky.
805.
by junon 2y ago
Yeah this is a bad example for introductions for rust - namely that async rust is something I'd consider advanced. However the type explicitness is, IMO, one of its strengths. It lets you build up types that e.g. in C++ we're not
806.
by junon 2y ago
Oops, could be. I was half awake when I responded. Apologies!
807.
by junon 2y ago
Question, is it named after the sites?
808.
by junon 2y ago
Not a physicist so this may not be related but AFAIU magnetic fields must change to produce current. Just having a magnetic field does not imply electrical current.
809.
by junon 2y ago
Sorry to hear that. Amazing GitHub username by the way.
810.
by junon 2y ago
Yeah QEMU's story for this sort of thing is pretty rough around the edges for OS dev. Wishing there was something like Unicorn-but-with-devices for making osdev tooling.

More ›