HNHacker News
TopNewBestAskShowJobs

silasdavis

765 karma · joined February 27, 2013

Wearer of socks.

[ my public key: https://keybase.io/silasdavis; my proof: https://keybase.io/silasdavis/sigs/W1ncYgiogWNgpdzI7fQk-YTKecuo-Mj2tl9i3qEv-jQ ]

submissionscomments
silasdavis··on Fix it, Fork it, Fuck off (2019)
Fork out, presumably.
silasdavis··on Using the same Arch Linux installation for a decade
Windows -> Solaris -> Windows -> Gentoo -> Arch -> NixOS

I feel much more satisfaction pouring hours into NixOS over doing the same on Gentoo and Arch. The hours on nix are in a source file I can carry around. The hours on Gentoo and Arch I'm doomed to forget and have to repeat.

I do miss the AUR though. I haven't been able to package a rust program that has a build with a transitive dependency that expects internet access (https://github.com/foundry-rs/foundry). Something something sandbox, crate2nix. But a frivolous install of a little binary that isn't packaged is not necessarily an easy endeavour.

Overall I'm very happy. Nix unstable feels equivalent to Arch more or less. You can pull in master with flakes easily enough too.

silasdavis··on Poly-time algorithm for deciding Hilbert Nullstellensatz. A proof of P=NP
Yes I think this is where NP is hiding.
silasdavis··on Falling for Kubernetes
https://www.pulumi.com/docs/get-started/kubernetes/

Gives you a Typescript API for generating resources. The difference is that these templates are semantic (via the type system) not just syntactic as in text templates. Relatedly, they also factor and compose better because functions and imports.

silasdavis··on Mysterious holes on the seafloor
The spinal column of a since devoured vertebrate?
silasdavis··on Coinbase does not list securities. End of story
What a wonderfully content-free discussion on hacker news regarding crypto currency. Again. They're all the same. Crypto scammers. It's so tiresome.

At least acknowledge the difference between ICO funds, NFTs, native tokens, inflationary or deflationary assets, liquidity pools, slush funds with voting and governance attached.

Even getting some nuance on the different ways in which one thinks different crypto assets are a scam would be nice. But here I see no engagement or interest in the particular assets in question or the details of the story. Why?

silasdavis··on The first million-transistor chip: The engineers’ story
The preamble in that flownet document is a wonderful description of busy wires and switched networks.
silasdavis··on The crypto crisis has created an advertising vacuum
That's good then. Good to not be causing a housing crunch.
silasdavis··on Nuclear fusion has encountered a shortage of tritium
Whimsy. Is there a sequence of fusion technologies where the previous one lights the next one and if the current one goes out we're fucked?
silasdavis··on Replacing the scroll tracker on GOV.UK
Interacting with gob.es has given my a vast amount of respect for gov.uk.
silasdavis··on Crows possess higher intelligence, thought a primarily human attribute (2020)
I don't follow the experimental conclusion here. It seems like a demonstration of memory. What am I missing?
silasdavis··on NSA's Backdoor of the PX1000-Cr
How did you become acquainted?
silasdavis··on Optimizing GoAWK with a bytecode compiler and virtual machine
The binary search in a case statement is annoying for stack machines like this. How would implementing your own jump table as a hashmap to functions perform here vs a case statement? I'm guessing the function calls make it a lot slower as you mention in the comparison with the tree walking.
silasdavis··on The Curse of NixOS
Thanks for the config it looks interesting and quite mature, the possibility of sharing such kind of has me on board.

Incidentally I was coming from i3 (xmonad before but wanted something I could switch over to wayland where I could watch video like its 1995). Never in love with configuring all my own task bar, power management, disk mounting, screenshot program, rubbish task launcher with no icons, etc. but did it anyway for the sake of beautiful ceramic tiles... I've been playing with pop shell gnome extension for creature comforts, which via dconf plugin of home manager actually seems text configurable. Not that I've done it yet.

See you are using sway, ever considered going IKEA with gnome?

silasdavis··on The Curse of NixOS
I've been running NixOS for 2 months having had my eye on it for a while.

So far I feel like I'm making progress. Having started from the masochism of Gentoo followed by the relatively lesser masochism of Arch my feeling is at least these hours of configurating are not being poured into the void but will have a substantially longer payback period. Reinstalling Arch or Gentoo always inevitably involved a large amount of remembering long forgotten config incantations which despite a certain number of git configuration repos for system and home and some scripted installation tended not to avoid a significant amount of tedious unfulfilling grunt work at the bootstrapping console.

Mind you I'm interested in views from those who are further along and feeling the pain. I can well believe that that getting to the first '80% how I want things' configuration might be much easier than the next 10% on the same path.

I'm using unstable, flakes, and home manager as a module in the main configuration.nix.

The language doesn't feel particularly arcane or difficult though so I don't relate to that complaint yet. As others have mentioned. A few fairly standard functional features (recursion, destructuring, first class functions) plus JSON sounds about right.

silasdavis··on UK Home Office funded campaign against end to end encryption
A bit more detail here: https://www.bbc.com/news/59964656
silasdavis··on When HDMI 2.1 isn't HDMI 2.1 – the confusing world of the standard
USB condom. And now I know. Where can I buy a trustable one of these?
silasdavis··on Hubris – A small operating system for deeply-embedded computer systems
We need to distinguish nodes written in Rust vs smart contracts.

Given the context assuming smart contracts you may have a point. Often consensus will be much slower and a limiting factor in execution. Solana may be a bit different here in their efforts to parallelise independent transactions.

High level provable languages always seemed like a good idea to me for smart contracts. As you say Rust doesn't necessarily seem like the sweetspot for this.

The Ethereum EVM assmebly is wildly unsafe but regularly used for the sake of gas and other things that would be impossible (most hilariously string manipulation). Solidity is unsafe with respect to things like overflow. It doesn't have memory unsafety in the traditional sense. Partly because it is allocate only and you don't have to deal with bounds checking yourself.

silasdavis··on Fred Wilson: Swapping NFT's (startup idea)
Here's ours: https://app.aspenft.io/
silasdavis··on List of 8000 security vulnerabilities in 1200 Wi-Fi routers
Also very happy with openwrt on this device. Really quite a decent gui tui and config. Setting up always on open vpn and wireguard was reasonably painless and works well.
silasdavis··on Autonomous boats seem more solvable than autonomous cars
Perhaps not ideal but as a swimmer you almost always have down as an evasive direction. You do need awareness but this has saved me from multiple shallow hulled fast boats and water jetskis. You can hear them miles away though directionality of the sound is poor or absent.
silasdavis··on Expectations for generics in Go 1.18
Go is Special and not comparable to these lesser languages.
silasdavis··on Show HN: We built an end-to-end encrypted alternative to Google Photos
6
silasdavis··on Deno on MDN
Yes, it seems like a very similar mistake to me: https://github.com/denoland/deno/issues/4574#issuecomment-62...
silasdavis··on After criticism, Apple to only seek abuse images flagged in multiple nations
Is that consistent with the amount of time this feature took to implement?
silasdavis··on The Problem with Ethereum
Thanks for responding. So you are saying full nodes are the users? They can provide connectivity but full nodes that don't mine can't continue a fork (where fork is any fork including the original) without there being people willing to mine that fork. So that's why I think miners have the ability to fork.

> The ETC fork would have been successful at any non-zero support level from people with the ability to mine.

It would be economically irrational for people to send transactions to a fork with a single miner since that miner could unilaterally rewrite any transactions as they see fit. This is why I think miners have the ability to control forking.

silasdavis··on The Problem with Ethereum
The miners do have the power to hard fork - they can choose to run a node that implements the fork

> A hard fork is determined by the users, who have to upgrade their software.

Who are 'the users' here? Light clients? Users of wallets? None of these have the power to adopt a fork, soft or hard. The collective action of the miners (or validators) defines which chains still retain liveness. For example in the hard fork between Ethereum Classic (ETC) and Ethereum (ETH) ETC was able to exist only because miners chose to to mine it. This in turn did give non-mining users the choice of how to distribute their demand and create extrinsic value for the ETC token. I wouldn't say this gives non-mining users any control over a hard fork since it happens after-the-fact.

> If the software updates automatically, then the power of hard forking lies with the developers

I don't know of a node distribution for Ethereum that works this way.

The core developers have power as in knowledge and power as in authority, the later being the traditional form of political power.

silasdavis··on The Problem with Ethereum
There's plenty wrong with Ethereum, but casting miners as 'the working class' is a flawed analogy. The mercantile class would be closer to the mark. Notably, their hashing power is based in real world economic power and they extract an annuity from capital expenditure on mining operations and hardware.

I also question whether miners are really providing the labour power, as you might expect the working class to do. They build the roads and keep the lights on but the means of production of value is (or ought to be) the services provided by those writing functionality that makes the network useful, i.e. the smart contract writers. Whether one thinks smart contracts on Ethereum have any value is another question but that was at least the vision.

A move to proof-of-stake does not remove the role of miners/validators. Validators will still earn a reward from validating blocks. So it's not as if this 'class' is being disenfranchised totally.

Finally the social class analogy entails disjointness of classes, this is certainly not the case for miners, many of whom are major token holders, and some of whom are involved in governance (of course by miners we are taking about the humans controlling the mining rigs not the computers themselves)

silasdavis··on BioNTech alone could lift German economy by 0.5% this year
I know many people in their sixties who choose and want to work, including my parents. They are lucky in being able to choose to work at a reduced level and not out of absolute necessity so that changes the implications, but they do not want to retire completely.

It's not clear that retirement is particularly healthy, longevity wise.

silasdavis··on CalyxOS – De-Googled Android Alternative
I feel similarly. However I could probably drop Netflix, Slack (at a push), Google pay (painful) if I could find a replacement for Google photos, it's been too valuable in recording my life memories. The Apple CSAM story gave me a kick to think I don't want to be sending photos in the plain to Google either.

Alternatives seem to be Owncloud and Nextcloud, which have hosted options. I don't really want to self host but nice to have the option. Does anyone have experience with their android apps for photo storage as compared to Google photos? In particular autobackup and image scaling/compression would be nice.

I use ProtonMail and have started fiddling with their new calendar offering, I was half hoping they might have some encrypted storage service in the offing...

← PreviousPage 4 of 8Next →