HNHacker News
TopNewBestAskShowJobs

spacesuitman2

17 karma · joined November 3, 2018

submissionscomments
spacesuitman2··on Mistakes with Rust smart pointers: when Deref goes wrong
>Rather, it only checks for method names and where-clauses such as T: Trait. Types are only resolved in the confirm phase, at which point rustc would have already picked its method.

Not following here, the compiler iterates over the deref-chain and acquires a list of method names, but it also "checks for ... where-clauses", what does that mean? A quick look at the linked probe code indicates what we filter on Self traits and return value traits.

spacesuitman2··on My First Impressions of Nix
>I see words like “flakes” and “derivations,” and I currently don’t know what they mean.

>So far, I don’t get how it’s deterministic.

To make nix deterministic you can specify a hash in non-flakes (or a git rev) for your dependencies, but flakes make this easier. When you "run" a flake (be it nix build, nix shell, nix develop), nix pulls the latest (if no explicit rev given in the flake.nix already) version of whatever is specified in flake.nix that it can find, and creates a `flake.lock` file that specifies the exact version that was used. This file is very similar to cargo's Cargo.lock, and specifies the exact version that was captured by ref/hash. The next time nix is "run", it uses the lock file to get the exact same version as it had previously.

One can develop a flake.nix locally, install, check if everything works, and alternatively change the refs in the lock file to make everything work. When this is done you can move the nix and lock file to another machine and get the same exact build there (with the exception of architecture differences).

Because you can put flake.nix and flake.lock inside of git, you can also share the exact same dependencies with other people using a repository. Whenever I see a repository using these I know that building will be a breeze because I don't have to do any dependency hunting.

spacesuitman2··on Rarbg Is No More
I think he means that employees/contributors exist on both the Russian and Ukrainian side.
spacesuitman2··on That people produce HTML with string templates is telling us something
>I don't have any particular answers to why string templating has been enduringly popular so far (although I can come up with theories, including that string templating is naturally reusable to other contexts, such as plain text).

This sounds similar to the concept of narrow waists: https://news.ycombinator.com/item?id=30483914

spacesuitman2··on The Hierarchy of Cringe
Based and redpilled.
spacesuitman2··on Tree stumps that should be dead can be kept alive by nearby trees
Perhaps it's the same advantage of living in a society like ants or humans. By keeping each other alive we stand stronger against other forces of nature and/or other species of trees or plants.
spacesuitman2··on Switch from Chrome to Firefox
Been using it since a few months, mainly because it can stop autoplaying all audio/video and no login nagging.
spacesuitman2··on AJIT, a ‘Made in India’ Microprocessor
Moderators, I'm attempting to flag this post, but I do not see the flag on this post's page.
spacesuitman2··on Show HN: Should you buy a house and rent it out?
Which European countries?
spacesuitman2··on Facebook Asking for Some New Users' Email Passwords
That's equally as bad for the consumer.
spacesuitman2··on Why GNU grep is fast (2010)
For all my searches so far, ripgrep is about 30-100x faster. Perhaps you're on some hardware which ripgrep isn't well suited for.
spacesuitman2··on Nokia’s new budget phones promise clean Android for all
Have they removed that repo yet that sends base64 IMEI, SIMID,... to zzhc.vnet.cn?
spacesuitman2··on Why Language-Oriented Programming? Why Racket?
>I have not yet seen a compelling argument for Racket there vs. for instance a parser generator framework.

Racket allows for easy interop between the various languages, so for instance, you can use typed racket from untyped modules. You can import documentation modules in base racket and so on.

With other languages, you have to glue the infrastructure yourself, racket does it for you.

spacesuitman2··on Should Mental Disorders Have Names?
Thank you very much.
spacesuitman2··on We ignored evidence linking cigarettes to cancer – Let's not do that with vaping
Not everyone vapes with nicotine though.
spacesuitman2··on Why are we templating YAML?
A consistent observation has been that all config languages tend to become turing complete over time.
spacesuitman2··on Wasted Creativity in the GNU/Linux Distribution Diversity
It's not wasted at all - people are learning and configuring, tweaking and optimizing their use of a computer. I for one really like the fact that Manjaro is an easy Arch for me. Is it wasted creativity now that I can focus on non-distro work since I found my distro?

Besides, who is the author to tell people to not waste creativity. It's remarkable to have this audacity. Even the notion of "wasted" creativity is just not nuanced.

spacesuitman2··on Firefox 66 to block automatically playing audible video and audio
How does this work with allowed website iframes?
spacesuitman2··on Dotfile madness
If only everyone would just put it in the `.config` dir and be done with it. Predictable. Simple. And without shrapnel in home.
spacesuitman2··on UltraViolet DRM will close on July 31, 2019
Don't remember to backup. I've had multiple drives fail (within 6 months!), luckily I always have at least 2 copies of my data.
spacesuitman2··on Skinny genes the 'secret to staying slim'
>The secret to staying slim is to not eat more calories than your body uses

This. There are too many people who do not understand that conservation of mass applies to the human body too. Nobody gains 1 kg by eating a single peanut, yet some people claim it's all genes.

spacesuitman2··on Three academics are launching a new journal for arguments to be made anonymously
This. People hark on 4chan for being bad but to be honest the non-popular boards are remarkably echo-chamber free. People get called out instantly and it's refreshing.
spacesuitman2··on A new look for rust-lang.org
Then why not make two sites?

management.rust-lang.org and rust-lang.org

spacesuitman2··on Aaron Klug, Nobel-winning scientist who examined molecular structure, dies at 92
What an incredibly annoying website, popups, auto-playing videos, loaders that cause the page to bob up and down for a good 5 seconds. Yuck.
spacesuitman2··on Nix Language Primer
What's your version? I'm on 8.2
spacesuitman2··on Nix Language Primer
However undesirable it appears at first, it does prevent the creation of an infinite number of new, incompatible languages. Config languages tend toward turing completeness and just become turing tarpits. That's why I'm asking about using a Lisp which is extendable to its problem domain.

Source on gdb disabling it? Just writing `gr` in gdb enters the guile repl.

spacesuitman2··on Nix Language Primer
Why the need for another new language? Why not just use Guile or Scheme instead?
spacesuitman2··on Ask HN: Companies using Racket?
Because racket has hygienic macros and #lang, and syntax-parse.
spacesuitman2··on Ask HN: Companies using Racket?
I have to agree on you regarding OS threads, although there are places, but they're processes. For long names, most names have an abbreviation like call-with-current-continuation has call/cc, and in any case, you can make your own abbreviation using make-rename-transformer so this shouldn't be an issue
spacesuitman2··on Ask HN: Companies using Racket?
Racket is unlike many other programming languages, firstly it's a lisp. Secondly, it features a builtin language framework that allows you to seamlessly interop different languages through racket. Once you learn racket you realize that most other languages are just macros in racket, or a #lang in racket, and that their unique implementations are mostly quite wasteful, as they make interop hard.
Page 1 of 2Next →