HNHacker News
TopNewBestAskShowJobs

phs

130 karma · joined November 15, 2015

Big Data, Service and Systems Developer

FAFE E9B3 5843 C7C8 3523 3013 8881 9421 2B4F F174

[ my public key: https://keybase.io/phs; my proof: https://keybase.io/phs/sigs/VqqTe7aNSmwR1RzI09iDvoHVcM-9-51nCpmzhYeUU_c ]

submissionscomments
phs··on The Big Alien Theory
> I am more likely to have been born in a high population country than a low population country

There are more people who are not me than who are me. Therefore I am more likely to have been born not me than to have been born me.

phs··on The new corporate owner of Freenode is Imperial Family Companies
Where does it say freenode has changed hands at all?

Not here: https://freenode.net/project

Seemingly not here?: https://imperialfamily.com/

Merely linking to freenode.net under "technology" is less than convincing.

phs··on Amazon Sidewalk
Picked up a few of these, they look fine and work great.
phs··on Cars are about to be a software platform, subscriptions and all
This twelve inch cast iron skillet, on the other hand, will last forever.
phs··on Typing Is Hard
Or perhaps type checking simply not terminating at all.
phs··on Shitbowl: The algorithmically powered in-home physical caching platform
Overflow actually spills off the top. It's MRU!
phs··on Aegis Authenticator – Open-source 2FA for Android
I love AndOTP. It's boring, it keeps the master key in my head and offers simple backups.
phs··on Test for Divisibility by 13
A more formal treatment can be found in "Elementary Number Theory and its Applications", Kenneth H. Rosen, 3rd Ed, specifically Chapter 4, "Applications of Congruences".

The 7 * 11 * 13 = 1001 development in particular appears just after example 4.4 and is then generalized to arbitrary bases by theorem 4.3. For example to divide by five in octal, do the alternating sum trick on digits grouped in pairs, because 5 divides 8^2+1.

Though it quickly stops being useful for manual checks, Fermat's Little Theorem is a fun gizmo. It says for any prime `p` (say, 17) and base `a` not divisible by it (10), we have that `a^(p-1) % p == 1`. Put another way, so long as we meet the criteria (prime, doesn't divide base), we can form a divisibility test by summing blocks of `p-1` (16) digits and testing the result, just like the `3` case.

Further, since `p-1` is even we can take the square root of both sides (`a^((p-1)/2) % p == +/-1`) and use either the sum or alternating sum tricks with blocks half that size, depending on the sign of the final `1`.

phs··on Andy Kelley (of Zig) intimidated into vacating apartment for Hulu filming
> This is retaliation related to the taping of Shrill Season 3.

Just to know what to skip

phs··on Intercepting Zoom's encrypted data with BPF
That's most of what lua's purpose is: to be a reasonably pleasant and featureful language that is dead easy to embed in larger systems that want some kind of scripting or macros.
phs··on Intercepting Zoom's encrypted data with BPF
Looks like nextgen ad blocking to me. If you can instrument TLS connections on the client, you can identify ad content and substitute blank video frames or just 404s.
phs··on I'm a Coffin Confessor
Playing a practical joke is great, your grandfather sounds awesome.

On the other hand outing someone this way is shitty. It is what a coward does.

> it has a Diogenic quality

Diogenes had the hutzpah to call people on their crap when he was alive. To me, his purported opinion of his burial was not meant to lash out, but to show us the reality of death.

phs··on Winston Churchill’s Image Removed in UK/US Search Results?
And yet Hitler shows up.
phs··on New System76 Laptop: Lemur Pro
I tossed ubuntu+mate on my galago pro 4, works like a champ (and the interface works like every other ubuntu+mate that I have)

Is the lemur notably different?

phs··on Google's Abandoned Android Authenticator App
I love andOTP, it does one job and gives me (not my phone's firmware) control over the secret storage.
phs··on Trying out the Pinebook Pro – a $200 ARM Laptop
My pbp arrived a few days ago. The stock image it ships with seemed a little laggy, probably due to aggressive cpu throttling for power. Since I'm interested in encrypted disks I knew I would be installing a new OS from the get-go.

Desiring LUKS basically rules out image-based distribution, so to find a compatible installer this [0] page was useful. I opted for straight Debian (bullseye). This amounts to a script wrapping debootstrap that adds in the local firmware and kernel patches. I was required to use a sufficiently fast and large microSD card (16 GB+). As reported on [1] and in the dedicated thread [2] there are a few small issues:

* firefox does indeed crash in the way described, though I expect this will resolve itself after an upstream update

* The brightness up/down keys do not work, though they do in the base image

* I've encountered issues with the wifi getting wedged after resuming from sleep.

Still, on the whole it seems snappier than the base image, and the track pad latencies issues I noticed there don't seem to manifest here.

[0]: https://wiki.pine64.org/index.php/Pinebook_Pro_Software_Rele... [1]: https://wiki.pine64.org/index.php/Pinebook_Pro_Debian_Instal... [2]: https://forum.pine64.org/showthread.php?tid=8487

edit: formatting.

phs··on Trying out the Pinebook Pro – a $200 ARM Laptop
My pbp arrived a few days ago. The stock image seems to introduce a small but noticeable latency when moving the cursor via the trackpad. It also seems overshoot slightly: picking out a small button usually has me circling it once or twice first.
phs··on Philosopher Philip Goff answers questions about panpsychism
I recently finished watching Prof. Patrick Grim's excellent Mind-Body Philosophy[0] course, which helped me clarify my own position. I thought that it fit reasonably well under the term "panpsychism", but this article is making me think it may be something slightly different. Under the expectation that it has already been studied, I'm now curious what it is named.

In short, I am a computationalist[1]: consciousness is a pattern that may appear in physical processes. I expect it can be translated into different physical processes. I think the definitional boundary separating conscious processes from other processes is subjective, even if there are common landmarks we generally agree are on one side or the other.

That seems all well and good. However I am not a hard materialist[2]: I do not believe that physicalism addresses the hard problem of consciousness[3]. I like to note this by the absence of timelessness in my experience: the present moment seems to be distinguished from the perceived past and future only because I am experiencing it. Contrast this to a physical description or model of myself and my surroundings that seems sound without reference to a specific "present" moment. To see that such a model does not contain a "now", think about simulating it: you would need to choose a moment on the timeline to start, to insert a "now". Physical models don't seem to capture the notion of "present moment". Attempts to shoe-horn it in (with e.g. consciousness particles or what have you) seem simultaneously untestable and offensive to Occam's razor.

Subjective experience then seems to be unaccounted for. I am content saying it is not found in any model of physical processes, only in the physical processes themselves. Notice I am no longer talking about consciousness: the computation and brain state is still susceptible to description. Only the subjective experience, whose toe we can catch with the present moment, escapes.

Odd as it might sound, I find it tempting to say that the subjective experience is not personal. It seems incommunicable, but what I mean is that there is no aspect of myself in it: that's all over in the computation (incidentally I am reminded of one of the objections to "Cogito, ergo sum"[4].)

At this point, the idea of "Atman"[5] is starting to look pretty good (thank you those who found the Adviata link, I would not have.) However, besides Prof. Grim's touch on the topic I know nothing about it (haw). My impression of Atman is that it is ineffable, primitive and pervasive. It does not have a location because it is not a thing: it is an aspect of reality.

And now we arrive at panpsychism, or at least what I thought panpsychism is. Subjective experience, but not the computational content that gives rise to the more visible parts of consciousness, is a fundamental aspect of reality. Rocks have subjective experience. Rocks are not conscious, unless they include physical processes we choose to recognize as consciousness. A rock's subjective experience is a lot like your subjective experience of the IR spectrum, assuming that you are like me and have no qualia affected by it.

[0]: https://www.thegreatcourses.com/courses/mind-body-philosophy... [1]: https://en.wikipedia.org/wiki/Computational_theory_of_mind [2]: https://en.wikipedia.org/wiki/Materialism [3]: https://en.wikipedia.org/wiki/Hard_problem_of_consciousness [4]: https://en.wikipedia.org/wiki/Cogito,_ergo_sum#Use_of_%22I%2... [5]: https://en.wikipedia.org/wiki/Advaita_Vedanta

phs··on A single character code change
Shucks! I came in here guessing it would be adding the trailing period on a domain name, to disable a long list of resolv.conf entries.
phs··on Show HN: AI Dungeon 2 – AI-generated text adventure built with 1.5B param GPT-2

    You are phs, a wizard living in the kingdom of Larion. You have a staff and a
     spellbook. You finish your long journey and finally arrive at the ruin you've
     been looking for. You look around and see that it's not much different than
     when you left it. A few more skeletons here and there, but nothing to write
     home about
    > "Hey skeletons, what's up?"

     They all start talking at once.

    "What do you want? We're dead! What do you want with us? We're just bones!"

    "We're not really dead, we're just asleep".


    > "Uh-huh.  And that's just ketchup."


    The skeletons start laughing and they don't stop until you leave. You never did
     find out who was behind this place, but you can only assume that whoever is,
     he or she doesn't like you
That is _just awesome_
phs··on An Overview of the Monad
His video lecture series is also well-paced.

https://www.youtube.com/user/DrBartosz/videos

phs··on YouTube can now terminate accounts that are “no longer commercially viable”
I'm in a similar position, but I still use it for oauth on applications that only support e.g. it and facebook.
phs··on Google, in Rare Stumble, Posts 23% Decline in Profit
A year+ ago I switched to FF, DDG and Fastmail after briefly evaluating Protonmail. It was surprisingly easy. Fastmail works nicely on Lineage as well.

My hardest remaining FAAMG property to kick is Youtube, followed by maps.

phs··on Drilling open a smart door lock in 4 seconds
Turns out powers tools work well on non-Turing complete locks too.

The interesting part of the threat model for smart locks are cases where a physical attacker is _not_ present.

phs··on All the balls are the same color: brown
I'm zooming in on one pair until each is about one hand-width in diameter. The effect is still present for me.
phs··on After 24 years, Doom II's final secret has been found
The phantom train in VI/III, yea.
phs··on I'm Scott Aaronson, quantum computing/computational complexity researcher. AMA
As a follow-up, what is your position on intuitionist/constructivist logic?
phs··on The NES Homebrew Scene
As someone who simply wanted a NES assembler, I've found cc65 [0] to be great, for example wrapped as a docker image in [1].

[0]: https://github.com/cc65/cc65 [1]: https://hub.docker.com/r/philhsmith/cc65/

phs··on Things I Wish I'd Known Before Using Vagrant
I've been struggling with 1) for years. My current attempt is to exploit ZFS snapshot shipping, since modern ZFS ports are available for both mac and linux (and apparently one for windows is on the way).

Unlike rsync, ZFS always knows what's changed since the last snapshot, so there's no directory scanning.

Unlike inotify, there is (seemingly) no(?) risk of dropped events, which I've experienced with tools like watchman. My ZFS solution still needs prompting event to start the snapshot, but it no longer needs to be told _what_ changed.

Critically the sync flows in one direction. This is a deal breaker for applications that need to communicate file changes back out to the host, but that hasn't been an issue in my use cases.

Unlike NFS, it also means we must (and can) relax the strong consistency model, and so using the filesystem is not so latency bound. This becomes important if the virtual machine is not running locally..

phs··on Ask HN: What books fundamentally changed the way you think about the world?
In my early 20s I embraced Objectivism through this and Atlas Shrugged (bad writing aside), and in my 30s I abandoned it.

Particularly, the process of abandoning it forced me into a clearer view of my personal value system. That in turn has made me a better person: it is hard to have integrity if one doesn't understand what they believe.

← PreviousPage 2 of 3Next →