remexre

48 ms·

631.
by remexre 6y ago
Ah, I think I was seeing a slightly different problem; the problem I saw was that when the OS and compiler start to be tied together tightly enough that changes to one make it necessary to change the other, so anyone working on them needs b
632.
by remexre 6y ago
Uh, the author's in the Non-binary Writers category, which would explain the use of the pronoun "they," if that's what you're referring to...
633.
by remexre 6y ago
> you still have to draw a clear line between the OS and the language it uses I'm hoping to avoid this in one of my own OS projects using Forth, actually; I think using a language with most features implemented outside of the core l
634.
by remexre 6y ago
I think you can do "real" ownership in ATS; or check ownership with a static analysis tool in many languages, including C; and you should be able make a hacky version as a library that dies at runtime in any language with parametr
635.
by remexre 6y ago
I thought that was, they can/could break HTTPS half the time, and that was the Logjam attack.
636.
by remexre 6y ago
That GitHub page in particular, versus any GitHub page? That'd involve a TLS break, no?
637.
by remexre 6y ago
Some interesting discussion here [0] about an OOP solution to the expression problem (object algebras). [0]: http://lambda-the-ultimate.org/node/4572
638.
by remexre 6y ago
Huh, was somewhat surprised to see that this uses Lean instead of something purely ML-ful, though I suppose GPT-{2,3} can't be "trusted" to output correct mathematics without something much more rigid to validate it.
639.
by remexre 6y ago
Why Apple shouldn't allow websites to email you instead of causing those websites to create iOS apps?
640.
by remexre 6y ago
I started using FreeBSD on a VPS a couple months ago, and I've moved my home router to be FreeBSD -- PF is /so much better/ than anything else wrt understandability, and putting miscellaneous services the router runs in jails
641.
by remexre 6y ago
Hm, this makes me wonder, are there any hand-assembled TTL computers that can send UDP packets on the internet? ChaCha20 is easy enough to implement and simple enough that you could probably do encrypted chat between two almost-definitely-n
642.
by remexre 6y ago
Have you seen the GA144?
643.
by remexre 6y ago
Think there's a race condition here, I get other people's signs... Danger of using the date and time as a file path, I guess.
644.
by remexre 6y ago
Never used Vimperator, but I'm happily typing this message in an embedded Vim using SurfingKeys on Firefox 97.
645.
by remexre 6y ago
I believe flexbox does actually work for those cases, assuming you set the images/paragraphs/tables to be block elements (or wrap them in divs)? Flexbox and Grid seem to me like recognition that the existing CSS primitives were de
646.
by remexre 6y ago
Googled those, and it looks like some company selling remotely-running models, which I think is what GP was referring to. Is there another technique that's been SEOd out by this company?
647.
by remexre 6y ago
> I don’t see how JS or Python (not so sure about Julia) meaningfully have “dynamic checking for types”. What would you describe as dynamic typechecking then? Would Scheme be a language that would fall under your definition, since it has
648.
by remexre 6y ago
Does that do AoT-compiling-on-install, or is it still just JIT? I thought the JVM ecosystem was ahead on purely static binaries with Graal, but I might be mistaken.
649.
by remexre 6y ago
Having no type system (e.g. Forth) is different from having dynamic checking for your types (e.g. JavaScript, Python, Julia iirc), though. Julia also has Common Lisp-like multimethods, which are pretty nice, especially for linear algebra so
650.
by remexre 6y ago
Maybe desktop applications will see something like what Android does, wrt shipping applications as bytecode and doing the last stages of compilation on the device, to get uarch-specific optimizations. CPU upgrades potentially being traumati
651.
by remexre 6y ago
And if you're fine with something much longer than others have suggested, Types And Programming Languages [0] covers the notation, in addition to most of the other knowledge most PL papers take for granted. [0]: https://www.
652.
by remexre 6y ago
Do you know of a general-purpose newspaper / news site that does this well? I thought of LWN when I read this, but of course I'm not going to use them as my primary source of general news.
653.
by remexre 6y ago
And, since people tend to link Go statically, it's not just like `apt-get upgrade libgo`, one has to do a full recompile. (Which, to be fair, Go makes a lot less painful than many languages.)
654.
by remexre 6y ago
How possible would it be to use APL as a DSL, or to include one file of it in a larger Erlang/Elixir project?
655.
by remexre 6y ago
sr.ht for me -- being able to ssh into failed builds' vms is super-duper nice
656.
by remexre 6y ago
pipes are really nice, jq lets you use them on json; compactness of syntax is another plus
657.
by remexre 6y ago
If you run your builds in Docker, this is usually taken care of. If not, it seems like it'd be good practice to document exactly what build dependencies are used; I've had to track down a regression introduced by inlined code from
658.
by remexre 6y ago
Hm, the calendar item they sent out isn't working for me; anyone know what timezone it's in?
659.
by remexre 6y ago
Anyone know of a good replacement?
660.
by remexre 6y ago
> Python is incredibly popular because its runtime performance is "good enough" for a huge fraction of application > But Rust will never "eat the world" of general applications (that is, the overwhelming majority o

More ›