Yoric

29 ms·

601.
by Yoric 2y ago
> 3) While advanced skillsets and deep experience is necessary in many (but not most) startups, and while these skills are more difficult to find in India or Pakistan, the reality is, for many, many tech companies, most of the work doesn
602.
by Yoric 2y ago
> All the CEOs are investing money in AI and that budget has to come from somewhere. So we have reduced hiring. Indeed. That was even communicated officially by several companies during their layoffs (including Google, iirc).
603.
by Yoric 2y ago
I'm probably going to be unpopular, but as a non-American, I actually find that hiring non-American is a good trend, especially if you want to sell all around the world. I don't have an opinion on H1-B specifically.
604.
by Yoric 2y ago
I'll grant you that Rust is not nearly as ergonomic as Ada in this domain, but doing it manually is fairly easy. Turning it into a library is a bit more complicated - these days, I'd do it with macros. Of course, making sure that
605.
by Yoric 2y ago
For what it's worth, many Rust developers (including myself) are also Ada fans. Note that ranged types, decimal types, etc. can fairly easily be emulated in Rust, with what I find is a clearer error mechanism. SPARK is, of course, extr
606.
by Yoric 2y ago
No, I mean for the developer of the web browser. I have worked on a web browser. It's fricking hard. Remove JavaScript and DOM entirely, and it gets much easier. Now if you start to implement select parts of the spec, it becomes even h
607.
by Yoric 2y ago
Feels much harder to both implement and debug, though.
608.
by Yoric 2y ago
Yeah, I briefly mentioned those in my previous message :)
609.
by Yoric 2y ago
Yes, but not necessarily more so than at the thought of a machine gun in the hands of a human being.
610.
by Yoric 2y ago
> So in these cases where you think you’ve jailbroken an LLM, is it really jailbroken or is it just playing around with you, and how do you know for sure? With a LLM, I don't think that there is a difference.
611.
by Yoric 2y ago
I agree that with the generation of code we're discussing this mental model is broken, but I think it goes a bit beyond determinism. Non-determinism is something that we've always had to deal with. Maybe your user is going to take
612.
by Yoric 2y ago
Thanks for your response. My bad for "massive starvation", that's clearly a mistake, I meant to write something along the lines of "massive unemployment – and sometimes starvation". Sadly, too late to amend. Now, I&
613.
by Yoric 2y ago
I've spent most of my career working to make sure that my code works safely, securely and accurately. While what you write makes sense, it's a bit of a shock to see such solutions being proposed. So far, when thinking about securi
614.
by Yoric 2y ago
That definitely feels more useful :)
615.
by Yoric 2y ago
Well, in the 90s, cyberpunk was a parody. But of course, a few too many people took it as an instruction manual, so yes, by now, we're basically there.
616.
by Yoric 2y ago
Why not? Because crypto is somehow easier to buy/liquidate than gold?
617.
by Yoric 2y ago
!remindme 1 year (oops, we're not on reddit) Very interesting prediction! I wouldn't be surprised.
618.
by Yoric 2y ago
My feeling is that, while the rest of Big Tech is busy kissing Trump's ring at Mar-a-Lago, Musk is something between Trump's consigliere and Trump's owner. I also don't think that it's going to end well for them, bu
619.
by Yoric 2y ago
Fair enough, but this doesn't sound like a major correction, does it?
620.
by Yoric 2y ago
> -Crypto has a major correction; bitcoin finishes the year well under $100k. Eh, I was expecting the opposite, with people flocking it to bitcoin (or some other crypto) as a backup strategy in case of political/ecological instabili
621.
by Yoric 2y ago
We progressively advance towards Cyberpunk: - governments around the world proceed with bowing to megacorps/cults/mobs; - entire jobs disappear to AI [1], people are told that they "just need to" learn a new job, at the
622.
by Yoric 2y ago
I'm not entirely certain I understand the benefit here. Code reviews are how you share knowledge among the team, learning and teaching best practices. Code reviews (alongside pair programming) are how you help more junior devs grow. Co
623.
What would it take to add refinement types to Rust?(yoric.github.io)
136 points by Yoric 2y ago|94 comments
624.
by Yoric 2y ago
Just to clarify: the Luddites were being automated out of a job. From what I understand of history, while industrial revolutions have generally increased living standards and employment in the long term, they have also caused massive unempl
625.
by Yoric 2y ago
I haven't played with Scala in a while, but Rust's error-handling is not syntactically monadic. If you look at the code, you don't see combinators, you see either error propagation or error handling.
626.
by Yoric 2y ago
No, sum types are certainly not a global optimum. But they remain the best error-handling mechanism that I've used professionally so far. Effect types (and effect handlers) are very nice, but they come with their own complexities. We&#
627.
by Yoric 2y ago
Is it time to brag about Rust error-handling or should we wait a little?
628.
by Yoric 2y ago
Well, yes, if you're just using errors as error messages, you only need strings and %w. That's usually good enough if you're writing an application. However, if you're writing a library, chances are that your users want
629.
by Yoric 2y ago
FWIW, I wrote an EPUB (well, it was called OEBPS at the time) reader that rendered pretty much all of the format ~21 years ago (including all of XHTML and CSS) and it had very decent performance. I seem to recall that someone tried it on th
630.
by Yoric 2y ago
This feels unlikely. Rust is trying very, very hard to not have a runtime [1], by opposition to Go (which ships the runtime in every executable) or Java, .Net, JS, Python... (which require the runtime to be installed separately). That'

More ›