remexre

31 ms·

391.
by remexre 5y ago
> If you're gonna be calling a lot of external programs and interacting with files a lot, non-shell scripting languages tend to feel pretty clunky. Perl's actually pretty good here; I'm pretty new to it, but it's gene
392.
by remexre 5y ago
Rust's lifetimes need full subtyping, with covariant and contravariant type constructors (though I don't think it supports annotations for them, and always infers them instead), which I think would make the generics implementation
393.
by remexre 5y ago
I think more because of potential confusion with the Shell Oil Company.
394.
by remexre 5y ago
> Is real estate fraud common enough? I've talked to someone who worked on a (non-NFT-based!) solution for this in developing countries -- it turns out that yes, the cost to bribe officials to falsify documents to steal property can
395.
by remexre 5y ago
A social network(?) based on .plan files -- back in the day, this was how you let people know your status; you'd use the finger [0] command to get them for a user. [0]: https://en.wikipedia.org/wiki/Finger_protocol
396.
by remexre 5y ago
The oversimplified view is that it's basically an API like Python's "dunder methods," but both more powerful and (iiuc) able to be compiled to reasonably fast code.
397.
by remexre 5y ago
Does the shelving system of the library that owns the book matter to the library requesting it?
398.
by remexre 5y ago
You might find https://www.microsoft.com/en-us/research/uploads/prod/2020/1... interesting; not a JIT, but lets you get a similar optimization.
399.
by remexre 5y ago
Also, the "hot loop hypothesis" still tends to hold in CL; you only end up needing to annotate the crap out of the small number of functions that end up being most of your runtime. (It can sometimes be worth it to declare types fo
400.
by remexre 5y ago
Maybe hardware support would make it viable, at least at an academic level.
401.
by remexre 5y ago
If you don't have experience with both, "Elixir is FP" and "Haskell is FP" makes it sound like "Elixir and Haskell are comparable" ig?
402.
by remexre 5y ago
It looks like [0] there currently exist extensions for H.264 and H.265. I don't know anything about Khronos politics, but I expect there's nothing that would stop e.g. Google from proposing similar extensions for VP9, AV1, etc., b
403.
by remexre 5y ago
Though Vulkan has video decoding built in, so eventually everything will hopefully unify to use that and we can avoid needing multiple separate subsystems depending on vendor...
404.
by remexre 5y ago
Are there people treating food as an appreciating asset?
405.
by remexre 5y ago
For scripting and "just throwing something together for internal use," Python is a pretty traditional choice, but I think Go is able to outclass it for maintainability -- static typing and somewhat better package management are a
406.
by remexre 5y ago
Though it gets much longer to implement all of the special forms present in CL, some of which are going to be tougher than others (e.g. TAGBODY).
407.
by remexre 5y ago
PF and jails come to mind, as someone who uses FreeBSD for the "important" home infra
408.
by remexre 5y ago
I conjecture the securely booted kernel won't load unsigned modules, and out-of-tree drivers don't get signed when the kernel and its modules do.
409.
by remexre 5y ago
I'm now imagining an old beige-box desktop with a Raspberry Pi acting as a de-HTTPS proxy... with more compute power than the desktop
410.
by remexre 5y ago
A non-deterministic Turing machine has the ability to choose "correctly" from a finite set of options. (This corresponds to search, which gives a nice intuitive notion that search can't do better than exponential time without
411.
by remexre 5y ago
Can I ask what kind of languages you're thinking of compiling? I was pretty excited about WASM too, until I realized it was bring-your-own-GC (which makes sense in retrospect I suppose), and libgc's WASM support had heavily atroph
412.
by remexre 5y ago
I'm partial to Forth, but I think "get rid of C" is a bit of an extreme opinion...
413.
by remexre 5y ago
I think the goal of that language is to avoid an increase in drama from random people outside the community (e.g. us!) reacting to the apology without actually being an affected party. If you don't know what the apology's referrin
414.
by remexre 5y ago
I think the answer to both of these is that the Linux driver interface on Linux changes over time!
415.
by remexre 5y ago
Don't you need mandatory locking of files and directories, or rather powerful transactional semantics for the filesystem then?
416.
by remexre 5y ago
I believe that unless you put the inline pragma on the Lisp function, the compiler isn't allowed to optimize the recursion. In general, Common Lisp doesn't favor recursive functions (as opposed to Scheme), and as far as I know, mo
417.
by remexre 5y ago
Doesn't WebAuthn fix phishing? I was under the impression the secrets are tied to individual origins by the browser.
418.
by remexre 5y ago
Wouldn't a language with built-in support for proving properties of the code be better? My understanding was that compared to most of the typed functional programming languages, idiomatic JavaScript code is terribly more difficult to p
419.
by remexre 5y ago
Cross-compilation is iffy at best -- too many developers of build scripts don't think about it, and end up not supporting it (e.g. Makefile doing codegen using a binary built during the run for the target arch) or having subtle and mys
420.
by remexre 5y ago
How many of these things are fundamental limitations of plugins? (Besides the "can start native programs," of course; though I thought one of the Vim-keybinding-plugins had an optional native component that exposed an HTTP interfa

More ›