HNHacker News
TopNewBestAskShowJobs

jxcl

1,315 karma · joined March 4, 2015

submissionscomments
jxcl··on Why Physicists Tried to Put a Ferret in a Particle Accelerator
Thank you for introducing me to the fact that a collection of ferrets is called a "business".

https://en.wikipedia.org/wiki/Ferret#Etymology

jxcl··on I'm Joining CloudFlare
I was super excited to try out Lambda@Edge with Rust a few weeks ago but discovered that right now, Lambda@Edge only supports Node.js. It's a pretty major limitation of the platform.

(Although since Rust can compile to WASM, it might be possible to write Rust, compile it to WASM, load that WASM in Node and run that on Lambda@Edge.)

jxcl··on Correctness – A paradigm for sustainable software development
If Haskell allows you to express code as simple and correct at the expense of being fast, I think arguments can be made both ways as to whether or not that's a bug. If we accept the premise that the first two are more important than the last, then I think it follows that it's not a bug.

To your second point, I think the author is making an argument that it can perhaps even be earlier than that: the bug is introduced when the programmer's model of the behavior differs from reality. That is to say, the "bug" exists purely in the developer's mind. After that it's a matter of course for the bug to be transferred from there to the codebase.

If the developer chooses to interrogate their model before committing it to code, there is the possibility of the bug being caught before it ever makes it into the codebase. But perhaps it is still correct to say the bug still existed, for a short time, at least.

jxcl··on PostgreSQL Performance on Raspberry Pi
That may also be a concern, but there are software workarounds. I would also not run Postgres on a non-checksummed filesystem or without data checksums enabled in the postgres cluster.
jxcl··on PostgreSQL Performance on Raspberry Pi
I'm wary of running anything with data I care about on a device without ECC RAM.

From the docs:

> PostgreSQL does not protect against correctable memory errors and it is assumed you will operate using RAM that uses industry standard Error Correcting Codes (ECC) or better protection.

https://www.postgresql.org/docs/11/wal-reliability.html

Re: IS ECC RAM really needed?

https://www.postgresql.org/message-id/20070526145214.GA21290...

jxcl··on Keybase is not softer than TOFU
Thank you for your your detailed response! It would be really nice to have this information in the official documentation.
jxcl··on Keybase is not softer than TOFU
My concern isn't that I don't trust Keybase to not be malicious, it's that I don't trust their packaging to not conflict with other packages. Debian has a very strict packaging process and it effectively guarantees a stable system, but installing packages that don't follow the standards that their packagers have could cause problems on upgrades.

I don't know enough about Linux to verify that the Keybase package does everything right; I delegate that to the Debian packagers and don't install anything as root unless it's from the Debian package repositories. Any software that I need that isn't in the distro is installed to a folder inside my home folder, where it might conflict with other custom installed software, but at least it won't break the entire system.

jxcl··on Keybase is not softer than TOFU
They also have no (as far as I could find) way of installing Keybase without root permissions on Linux. I tried looking for a way to install keybase without "sudo dpkg -i keybase.deb" but had no luck. In the end, since the people I'm working with use it, I had to spin up a VM to install it in so that keybase wouldn't mess up my Debian installation.
jxcl··on Standardizing WASI: A system interface to run WebAssembly outside the web
1. It's an open standard that the major browsers have agreed to, so it's not a plugin that you have to install. A WASM app will work seamlessly in your browser without any additional software.

2. WASM is designed from the ground up as a compile target, not a language. We already see many languages with support for building to WASM. C, C++, Rust, and eventually when WASM supports garbage collection we'll probably see Python, JS, Go, all with support for compiling to WASM.

jxcl··on Simple script to analyse your PostgreSQL database config, give tuning advice
I reject the idea that all tools can be made simple enough for people to use them without understanding what they're doing.

Yes, of course we all want our tools to the best they can be, but that involves making tradeoffs in features because the maintainers don't have an infinite pool of time.

Postgres is a sufficiently advanced tool that if you're using it for any serious work you need to read the documentation for it. Ideally cover to cover, but at least skim the whole thing and pick out the important parts. The Postgres "Routine Database Maintenance Tasks" documentation [1] describes in great detail everything you need to do to keep your database working well.

[1]: https://www.postgresql.org/docs/11/maintenance.html

jxcl··on California declared drought free for first time in seven years
Many years being on the scale of tens to thousands of years. Cody did a great video on his channel showing confined aquifers, how they work, and why they recharge so slowly:

https://www.youtube.com/watch?v=tF4iCgxsZX4

jxcl··on System requirements
I am still able to log in to my chase account with Firefox on Debian. I don't have any user agent switching going on.
jxcl··on Fully managed PostgreSQL databases
How do I see the detailed pricing of this offering if I don't have an account? I want to know what $15/mo gets me before I decide whether I want to sign up.
jxcl··on For Owners of Ring Security Cameras, Strangers May Have Been Watching Too
Eh, I don't know about privacy concerns being minimal at the places where ring devices are installed.

The ring doorbell is installed at your front door. It records pretty much all movement to and from your house. It records audio at the doorstep, so if you're having a conversation with anyone at your doorstep, that gets recorded too. If you have a porch and are sitting on it and speaking with people, etc etc etc.

jxcl··on Thank u, next
I've interacted with Steve a few times on the Rust IRC channel and he's always been super awesome and helpful. He's also been very receptive to feedback on the Rust documentation and helped me to contribute to it.

Thanks for all your hard work on Rust, Steve, and good luck with the future!

jxcl··on Why We Sleep, and Why We Often Can’t
I feel like this could easily be read as "software engineer finds placebo sleeping pills".

You very well could be right, but those sources are not scientific. If you want to show me that magnesium helps people sleep, show me a PubMed article on the subject.

jxcl··on Can you use a magnifying glass and moonlight to light a fire? (2016)
Also, since the moon is tidally locked to the earth, it rotates at the same rate it revolves, which means that sunrise and sunset only happen once a month, which makes dawn a pretty long time.

There's a pretty good song about how the moon's day/night cycle would affect a lunar mining colony: https://www.youtube.com/watch?v=GDPUdUGJpjc

jxcl··on Dotsies (2012)
> hey, trillions of humans have collectively decided over a few thousand years that the latin alphabet hits a pretty good sweet spot in human communication. I bet they didn't consider how readable it is, though. I can do better than all of them

I don't know all the fancy names for logical fallacies but this seems to be deliberately misrepresenting the argument. The website clearly states that the problem with the Latin alphabet is that it has to be able to be written efficiently as well as read. Your trillions of humans over a few thousand years have had to both read and write this alphabet. In the past few hundred years we've had technology that allows someone who made a huge investment to produce massive amounts of text without writing, and in the past few decades the ability to produce text without writing has become completely ubiquitous. Does it still make sense for this alphabet to optimize for hand writing? Are you arguing that the constraints that made the Latin (or any handwritten) alphabet have remained unchanged over thousands of years? They want to redesign an alphabet to fit modern constraints. We consume a lot of text on devices that need to have screens that fit in our pockets. Perhaps a two-thousand year old alphabet isn't still the optimal solution?

I also don't think the authors necessarily expect to disrupt anything. They just made something cool and put it on the internet. I'm happy people like this exist.

jxcl··on C.S. Lewis on the Reading of Old Books
This is the one I have listened to on and off: https://historyofphilosophy.net/
jxcl··on C.S. Lewis on the Reading of Old Books
I can entirely relate to what Lewis writes about reading Plato. I was interested in philosophy but found myself gravitating to reading and listening to podcasts about philosophy rather than reading it directly.

Once I actually picked up a volume of Plato's works I was surprised how approachable it was to me, a complete layman of philosophy.

jxcl··on SQLite Code of Conduct
Isn't the whole point of good satire that it's not immediately evident whether it's a joke or not?

Regardless, I don't see how this satire could be considered dangerous.

jxcl··on Solo – Open-source FIDO2 security key
Right now the killer feature of yubikeys for me is the fact that they're waterproof and have no physical buttons to wear out, making them effectively indestructible on my keychain.

I'm still waiting for another manufacturer to even come close to the physical design of yubikeys.

jxcl··on Mastodon 2.5 released
> Email exists well within our very centralized federated political and cultural system, and so no, it is not meaningfully decentralized.

I'm not sure I understand what you mean by this, especially since you go on to say that artist communes in the US qualify. Surely these artist communes exist within our centralized political and cultural system as well? These communes presumably refer crimes such as murder to the centralized authority, the police, rather than lynch mob.

I actually suspect that any significant regulation of Mastodon would in fact increase decentralization. Since the software itself is open source, it will be hard to regulate, if not impossible (is code speech?). That means regulators have to go after hosts of instances. Perhaps some instances will comply with regulation, but I suspect many will not. The largest of the non-complying instances will be shut down.

If the complying instances are seen as inferior to non-complying instances, instead of flocking to the complying instances, the users of the instances that were shut down should distribute themselves amongst the remaining non-compliant instances. Some of these instances will be outside of the centralized authority's jurisdiction (for example, after SESTA, many sex workers flocked to a mastodon instance that was specifically set up for them; this instance is hosted outside the jurisdiction of the US).

jxcl··on [dead]
Why is this a link to a cnet.com?

Direct link: https://www.youtube.com/watch?v=sbNv9MP27xE

jxcl··on States Can Require Internet Tax Collection, Supreme Court Rules
In Colorado you're already asked when filing state taxes what the value of the goods you bought online that haven't been taxed yet, so the onus is on the filer to look up receipts from the year for tax purposes.

Amazon already collects tax in Colorado, but a few smaller retailers will send you a letter at the end of the year totaling up your untaxed purchases. Since different counties and localities collect different rates, it's hard to get the total tax right at the time of sale.

jxcl··on How Firefox is using Pocket to try to build a better news feed than Facebook
On my version (60.0.2), I can click the hamburger menu on the right side of the address bar, click customize... and there's a "subscribe" button with the RSS logo that can be dropped onto the address bar or the overflow bar.
jxcl··on Ask HN: How to find a mental health professional?
You should check the website of your insurance company. Many of them offer exactly this sort of tool.
jxcl··on The single most important criteria when replacing GitHub
This is what I like about collaborating on code that still uses mailing lists to collaborate. I already have an account that I can use for every mailing list in existence -- my email account.
jxcl··on Pwned Passwords in Practice: Real World Examples of Blocking the Worst Passwords
The point of a secure password is that it _won't_ be in the list of hashes by the server. The service should prevent the user from using any of the passwords that are matched by the password database.
jxcl··on Winds 2.0: It’s Time to Revive RSS
> You're not forced to use the App Store

Is this true if you're a developer? I've stayed away from macs because you need xcode to get any sort of dev tools and xcode is only available on the App store (at least this was the case the last time I tried to develop on a mac).

← PreviousPage 5 of 7Next →