I'd like to sign up for their newsletter, but it appears I can't because I use a nonstandard TLD for my personal email (.info). Lame.
Strange, I was able to sign up from my .family email
Readit Newsoconnor0 commented on Ashet Home Computer ashet.computer/... · Posted by u/todsacerdoti
oconnor0 commented on SimpleW – Web Server Library .NET Core github.com/stratdev3/Simp... · Posted by u/prodbro
Not sure about this one. It's based on NetCoreServer which is great but it's definitely not something I'd be comfortable putting into production over kestrel or IIS.
From a performance standpoint, it is very difficult to beat kestrel now. If you don't want all the fancy Microsoft bullshit (I certainly don't), use the minimal APIs and map out routes to lightweight HttpContext handlers.
I really wish that Kestrel was available as a standalone library. Kind of like Jetty on the JVM.
oconnor0 commented on Cwerg: C-like language that can be implemented in 10kLOC github.com/robertmuth/Cwe... · Posted by u/nateb2022
oconnor0 commented on I've started using Firefox and can never go back to Chrome techradar.com/in/features... · Posted by u/p4bl0
Except that Google Drive just doesn't seem to work in Firefox.
oconnor0 commented on Wrapping Up 2021. Leaving C++ izzys.casa/2021/12/wrappi... · Posted by u/AlexeyBrin
We should cut people some slack about this, especially considering that the language itself is case insensitive :P
I'm not sure what actually triggers the confusion about this, but it is Ada, not ADA. It's not an acronym, I'm curious about the origin of the incorrect all caps version, but it seems like there's a forgotten historical reason for this.
Ada came out of the DOD so assuming it's an all-caps acronym makes a lot of sense. ;)
From https://luau-lang.org/typecheck
> Luau’s type system is structural by default
I think that makes it the second (production-ready) language to have a primarily-structural type system, after TypeScript/Flow(/and Closure to some extent) for JS. I wonder if it will follow in their impressive footsteps or if it will tread new territory.
One of the things that Flow gets right that TypeScript doesn't yet support is switching to nominal type-checking between class instances. In TypeScript you can assign an instance of one class to an instance of another as long as they have compatible fields. Compare:
Flow: https://bit.ly/3jZx4rB
TypeScript doesn't have any understanding of prototypes or prototypal inheritance, which is a big gap considering that it's a fundamental aspect of JS.
I'm really hoping Luau will come to do the right thing with tables and prototypes. Perhaps it already does, but unfortunately there doesn't seem to be a Luau playground to try in the browser.
> I think that makes it the second (production-ready) language to have a primarily-structural type system
I assume we are talking about a static type system here? Many common "scripting" languages are structurally typed - what Python calls duck typing.
Their intent is still entirely market share. We need to be vigilant on how they get there. History has taught us a lot of lessons we seem to have forgotten because shiny and new layer of marketing. There is still a massive cultural and technical impedance mismatch.
It is interesting to me that I read people criticizing Microsoft for their open sourcing code as doing it for marketing reasons---which seems accurate---but not criticizing Google or Apple or whoever else when they open source code.
oconnor0 commented on Unix System Programming with Standard ML (2001) [pdf] mlton.org/References.atta... · Posted by u/vector_spaces
Standard ML is almost the perfect language—functional-first without all the heavyweight and seemingly endlessly proliferating categorical abstractions which keeps the level of knowledege one needs to be productive low. Plus it’s easy to drop into old school imperative code when needed.
The only thing holdong sml back in my eyes is somewhat clunky syntax and the module system—which is great at first but quickly becomes tricky once you start having to use functors.
A modern, reimagined sml that keeps its core while adopting some of the nicer syntactic improvements from other langs in the family and improving the module system would be a god send
What's the problem with the module system and functors?
oconnor0 commented on Writing a DSL in Lua (2015) leafo.net/guides/dsl-in-l... · Posted by u/ColinWright
The reason explicit asynchrony produces more reliable software than
implicit cooperative threading like Lua coroutines is explained at book length in the doctoral dissertation of Mark S. Miller: http://www.erights.org/talks/thesis/markm-thesis.pdf
He is one of the main participants in the ECMAScript committee.
If you disagree with his arguments, please explain why. But you don't seem to have heard of them in the first place, simply assuming that the reason JS isn't designed the way you would have designed it is because the designers weren’t as smart as you are, explaining their choice as “someone finds it tedious to split their 300 C calls to few continuation callbacks.” Sometimes people will disagree with you for reasons other than being stupid or lazy.
Would you be willing to explain why explicit asynchrony is superior to implicit cooperative threading? Rather than simply engaging in more namecalling.
oconnor0 commented on OCaml on Baremetal Shakti RISC-V Processor kcsrk.info/ocaml/riscv/sh... · Posted by u/lelf
I guess it is the typical complain about using separate operators for ints and floats.
It never bothered me in Caml Light, let alone when Objective Caml was introduced.
Ah, maybe, perhaps I am in the minority that liked the different operators for ints and floats. :D