Hacker News: net4all

New comment by net4all in "More details about the October 4 outage"

net4all — Tue, 05 Oct 2021 18:41:43 +0000

That article should be required reading for all of us.

New comment by net4all in "More details about the October 4 outage"

net4all — Tue, 05 Oct 2021 18:39:49 +0000

If I understand it correctly they have DNS servers spread out at different locations. These locations are also BGP peering locations. If the DNS server at a location cannot reach the other datacenters via the backbone it stops advertising their IP prefixes. The hope is that traffic will then instead get routed to some other facebook location that is still operational.

New comment by net4all in "A Case for Properties: Programming Language Design"

net4all — Sun, 15 Nov 2020 21:34:14 +0000

Soo, Smalltalk messages are back? :)

New comment by net4all in "Iranian law prohibits merge of PR from Israeli?"

net4all — Thu, 03 Sep 2020 17:14:59 +0000

"GitHub restricts developer accounts based in Iran, Crimea, and other countries under US sanctions"

https://www.theverge.com/2019/7/29/8934694/github-us-trade-s...

Accounts from such nations have their functionality restricted, commercial use in any form is not allowed.

New comment by net4all in "FritzFrog: A New Generation of Peer-to-Peer Botnets"

net4all — Thu, 27 Aug 2020 10:16:18 +0000

That it is likely to be illegal in many (most?) countries.

New comment by net4all in "E Ink smart screen puts a newspaper on your wall"

net4all — Fri, 10 Apr 2020 19:24:22 +0000

Yup. I own one and have tested to ssh but not actually done much yet. It runs Linux and a shell. These are a good start:

https://remarkablewiki.com/tech/start https://remarkablewiki.com/tips/start https://github.com/reMarkable

I should add that this is a relatively open platform. It runs Linux, there is an official GitHub org with code.

New comment by net4all in "How I became a better programmer (2017)"

net4all — Tue, 24 Mar 2020 22:00:57 +0000

Well, as someone who has taught different languages as first, second and third languages to students and young pupils I would say it becomes easier. Not easy in an absolute sense. It still requires effort.

I would however agree with you that those who say "it's easy to learn another" in an absolute way has usually only considered languages from the same group so far.

New comment by net4all in "How I became a better programmer (2017)"

net4all — Tue, 24 Mar 2020 21:50:48 +0000

Not sure how to write this. I am hoping the next level of fluff to be removed will be implementing concrete algorithms in procedural or functional style in day to day coding. Instead we should be leveraging other programs (such as SMT solvers, but not limited to those) to produce a suitable implementations of solutions. That is, we should try to focus more on specifications, in one form or another.

So much of the software I work with could plausibly have been written by a machine instead.

New comment by net4all in "Languages I want to write"

net4all — Sun, 14 Apr 2019 07:04:17 +0000

In the example the return type of add does not depend on the value of the arguments. So it is not dependent types.

New comment by net4all in "Linux Kernel Through 4.20.10 Found Vulnerable to Arbitrary Code Execution"

net4all — Wed, 20 Feb 2019 19:54:39 +0000

NIST:

> Attack Vector (AV): Network

> Attack Complexity (AC): Low

SecurityFocus:

> Remote: No

> Local: Yes

¯\_(ツ)_/¯

New comment by net4all in "Ask HN: What is the single most important concept to understand for programming?"

net4all — Sun, 19 Aug 2018 09:27:34 +0000

There is no silver bullet.

New comment by net4all in "PeerTube, the “Decentralized YouTube”, succeeds in crowdfunding"

net4all — Sat, 21 Jul 2018 19:45:13 +0000

Yup. Especially the "Rube Goldberg Machine" comparison.

You want me to go through how many steps to do X? Might as well write it myself... (almost)

New comment by net4all in "Truffle: Ethereum Dapp Development Framework"

net4all — Fri, 15 Dec 2017 09:05:46 +0000

Do people not Google their potential names or what?

New comment by net4all in "Ask HN: Will FCC's plan on killing net neutrality affect Bitcoin, Ethereum, etc?"

net4all — Thu, 23 Nov 2017 08:01:28 +0000

They may end up being blocked/throttled just like anything else that you did not pay an extra fee to your ISP for.

New comment by net4all in "Ask HN: Can a software engineer help change the world?"

net4all — Mon, 08 Jun 2015 17:26:20 +0000

AI research/implementation -> AI -> Better AI -> Cataclysm or utopia.

Either way the world is changed.

Just an example.