still_grokking

8 ms·

61.
by still_grokking 10mo ago
Extremely weird list. The Scala spec is much shorter than the C spec… Also it's of course much shorter than Rust, where nobody has a real issue with its complexity, at least nobody is complaining really loudly. The C and Go specs are a
62.
by still_grokking 10mo ago
> In the end it was "so bad so sad you can always reenable brackets". This is not true. Nobody ever proposed to replace the old syntax! The new syntax was, and is, optional, and that's exactly like designed from the very b
63.
by still_grokking 10mo ago
> Its nice but to pretend it prevents bugs or is even a great design goal is questionable and not backed up by research (as they claim). That's why people use JavaScript instead of Rust for critical systems, right? Claiming in the y
64.
by still_grokking 10mo ago
> It was a little weird it blew up in industry for a while. It never went away. It only got more: https://business4s.org/scala-adoption-tracker/
65.
by still_grokking 10mo ago
> It's really a shame because in many ways I do think it is a better language than anything else that is widely used in industry but it seems the world has moved on. No it didn't. Scala is powering some of the biggest companies
66.
by still_grokking 10mo ago
> PS Perhaps they should make an actual unit test suite for their compiler. Instead they have a couple of dozen tests and have to guess if their compiler PR will break things. You did not even try to formulate it in a way that could be i
67.
by still_grokking 10mo ago
> My main recollection of it is getting Java compiler errors because Scala constructs were being implemented with deeply nested inner classes and the generated symbol names were too long. Sounds like you've used some beta version ov
68.
by still_grokking 1y ago
What parent describes is pretty simple: That's just how the compiler transforms some code. Do-notation in Haskell, or for-comprehensions in Scala are just syntax sugar for nested calls to `flatMap`, `filter`, and `map`. I think this he
69.
by still_grokking 1y ago
Scala's new effect library Kyo just uses `map`. See: https://getkyo.io/#/?id=the-quotpendingquot-type-lt All pure values are automatically lifted into the Kyo monad, so `map` is effectively `flatMap`. From the lin
70.
by still_grokking 1y ago
> the user is responsible to obey the license of the original work The user is in this case the "AI" company. They already violated law almost certainly by copying stuff from the net in the first place. (Almost certainly as it
71.
by still_grokking 1y ago
That's not true. Some people (like the NYT¹) are in fact demanding before curt the destruction of the trained models as they obviously contain copyrighted content. ¹ https://pressgazette.co.uk/media_law/new-york-ti
72.
by still_grokking 1y ago
But why should things work differently for "AI"? One could of course say that "IP" ("intellectual property") is an ill concept all in all and abolish it. But than without exceptions! If it's not a valid co
73.
by still_grokking 1y ago
As you say, "China" is here only a placeholder. This "logic" that you need to do obviously illegal stuff (under current legislation) because otherwise someone else would do it and take the loot from that raid remains hig
74.
by still_grokking 2y ago
I'm not sure you tried to understand what I've depicted. As long as you don't know how the end result should look like there are no "mistakes" . The whole point of explorative work is to find out how to approach
75.
by still_grokking 2y ago
Rust? Since when is Rust the pinnacle of static type safety? After I've worked for some time with a language that can express even stronger invariants in types than Rust (Scala) I don't see that property anymore as clear win rega
76.
by still_grokking 2y ago
By chance I came just today across GitHub's SpecLang: https://githubnext.com/projects/speclang/ Funny coincidence! I leave it here for the nice contrast it creates in light of the submission we're discus
77.
by still_grokking 2y ago
> isn't that just copilot "explain", one of the earliest copilot capabilities. It's definitely helpful to understand new codebases at a high level In my experience this function is quite useless. It will just repeat
78.
by still_grokking 2y ago
AI can predict how some code behaves when run? So AI can predict whether some program halts? Seriously?
79.
by still_grokking 2y ago
I didn't watch any other talks of this conference, but it looks to me as part of the issue here was that the presenter didn't explain basic (ML) types upfront. Maybe they did in other talks earlier, IDK. If you never seen such typ
80.
by still_grokking 2y ago
I agree that something like "over-typing" exists. But where it starts is imho very context dependent. For the lowest level (e.g. an OS) you really want an extremely strict regime. Bugs are "simply not allowed"… For appli
81.
by still_grokking 2y ago
> Replacing `Either<this, that>` with something like `this | that` That's not the same. The first one is an ADT instance with exactly two cases , whereas the other is an arbitrary union type. The difference is when you patt
82.
by still_grokking 2y ago
But it's not template magic. Not even something close. It's just nested generic types. How would you otherwise express all the constrains in a type?
83.
by still_grokking 2y ago
Imho quite bad example. Not even one tubo-fish. No multiple lines of `where` clauses. No (dyn) trait impl. Not even a lambda! On top of that Rust's syntax is full of noise. Curly braces, semicolons, ugly angel brackets, `::` instead of
84.
by still_grokking 2y ago
I don't think this would go well for Linux. The companies actually paying for the kernel development want Rust. That's a matter of fact. Just see who's sponsoring the Linux Foundation, and check what they said elsewhere about
85.
by still_grokking 2y ago
There is a flaw in this reasoning. Nobody ever said that a subsystem maintainer needs to fix Rust bindings. As Ts'o correctly states, that's the problem of the bindings maintainers. But there is no problem at all. All that the Rus
86.
by still_grokking 2y ago
Debian is already ported (in parts) to different kernels.
87.
by still_grokking 2y ago
Windows "Teletubby Edition"? :-) No, Win2k was "peak Windows", imho. Frankly MS later ditched the quite ambitious Windows NT 5.0 project, which was the planed Win2k successor, for a Frankenstein monster made out of the s
88.
by still_grokking 2y ago
But you're not running Microsoft's Windows. You're running the output of an AI! And as everybody knows, there is no copyright on the output of an AI. The (real-time) training of the AI was also completely legal, as an AI may
89.
by still_grokking 2y ago
Excellent trolling! Funny thread.
90.
by still_grokking 2y ago
Use of humor on HN triggers down-votes quite often. Why it's like that, IDK.

More ›