skysight-inc/HackerNews huggingface dataset:
The easiest way to not be an interrupter is to be quiet until it's your turn to talk or when someone asks you a question. Whatever you have to say can wait, no matter how relevant it is. If it's important, write it down for later. This is not that difficult.
Just FYI, in terms of lockdowns, it's only been Victoria and NSW that have done the stage 4 lockdowns over the last few months. In SA, WA, QLD, NT, we've had closed land borders between the states, with police at border crossings and points of entry to stop anybody trying to come in without a valid and allowed reason. This has prevented the cases from Vic and NSW from spreading to the other states, in much the same way that would occur in the European scenario you describe. It's not impossible, it just takes the will of the people to accept a lack of freedom of movement.
Yes, men interrupt each other frequently for efficiency, and (if we like each other) we constantly insult or "mess with" each other, as an evolved system of decision checks within a team.

But we're no longer on single gender hunting teams or war parties. I think it's good that life has gotten so easy that progress today means dealing with feelings related issues as a society.
I've got 2 issues with that blog post:
1- it seems concerned with accessibility, and accessibility only, and accessibility from standard 3rd party tools only. Leaping from accessibility issues in alpha software to "fractal of bad" seems a bit rushed
2- It's entirely negative. Cross-platform aside (which is a huge win if it ends up working), HTML/js has issues, and Flutter has solutions. Certainly not universal and perfect, but I'm sure useful at least in some cases ?
I'm not talking about policy, but about click trolling itself. Some places have even less policies than here, but it doesn't make click trolling any better or useful as a behavior. If you need policy to curb trolling, the place is already getting unhealthy.

If they wanted better policy though, they could simply remove downvote button and leave the flag one for off-topic / offensive posts. But that wasn't my main point.
I think life at a lot of the huge tech cos is pretty relaxed. Especially the older ones: Microsoft, Oracle, Cisco, IBM, etc. Put in your 40 hours a week (if that), and chill.

The next generation of tech cos (Google, FB, Amazon, Netflix, etc.) are trending in the same direction but life can still be pretty hectic at times and they tend to fire people putting in the bare minimum.
Yeah in the hypothetical world where things improve by 10% each year. But I don’t really see how it’s relevant. The way to compensate would be to say something like “average growth rate := growth ^ (1/#years since last update)”
Seems like firmlinks are like a union file system, such as overlayfs. A lower dir placed on a read-only file system, and merged with an upper dir on a read-write file system. It appears as if they were one directory.

Overlayfs will do an efficient (reflink) copy-up on a supporting filesystem, such as XFS or Btrfs. Both layers need to be on the same file system to do the reflink copy. The lower dir can be made read-only by VFS read-only bind mount option; or on Btrfs either a read-only snapshot or setting read-only property on a subvolume. But it sounds like APFS firmlinks institute some limitations, like you probably can't modify files on the read-only layer via copy-up to the read-write upper, rather just add new/unrelated items.
Author here. Love that! Thanks for sharing that example.
Anyone remember Songbird?
Michael Hayden, former director of the NSA and CIA:

“We kill people based on metadata.”

https://youtu.be/PxwEwwlDM8Q (39s clip)
What I learned from my Show HN failing and getting flagged
Earlier today I submitted a Show HN which failed badly until it got flagged (See. https://news.ycombinator.com/item?id=24960293)

This is three things I learned from this experience:

- Stay the fu around for Show HN: I went for dinner with my parents about 30 minutes after the submission and during the dinner time I was not able to answer questions

- Have an archive of your newsletter in order to allow people to know what they are getting themselves into (https://simon-frey.com/weeklycspaper/archive/)

- Do not use the default email templates. A lot of the confusions came up as I took the default sign up templates which looked too generic.

I hope to make up a little bit for my mistakes earlier today with this post.

Maybe after fixing this mistakes some of you might be interested in the newsletter after all:
I will send you a research paper mainly about distributed systems and backend development (as this are my day-to-day topics): https://simon-frey.com/weeklycspaper/

p.S. Does anyone of you how the mechanism of getting flagged works?
This. Very well put.
That is a very good point. Unfortunately we would have to wait for moderation standards and guidelines of HN to improve hugely before it can possibly be pursued. I wish it were different, but I’m just one person, and a big mass of the HN commenter population who benefits from the way the guidelines work on these points have no real incentive to push for it to change.
Arguably most of the 1 byte instructions are garbage, though ;)
> Maybe in application and theoretical implications, but to grasp the concept you have just have to understand that it's relaxing the restriction on "what you can quantify over", which really isn't a huge jump I'd say.

It's not that. It's hard for me to try and quantify some essential complexity of a type theory and a set theory, but programmers don't usually learn type theory in high-school or college, but FOL comes "for free" (not to mention the unnecessary complication of constructive mathematics with special handling of noncomputable functions for specifying digital systems) and engineers don't even need to learn the inference rules, because they will rarely bother writing proofs; just pressing the button on the model checker has a much better cost/benefit, plus it allows learning just semantics first, even you do want to learn deduction later. With TLA+ there isn't much to grasp or learn; you know most of the basics. It could just be a situational thing.

> Why would it not be a function?

What is the type of its first argument? IIRC, in Lean, it is only a function when a specific universe is given (implicitly).
You should post on reddit before you start coding and take at least 5 phone calls to see if the idea is viable.
Twitter is certainly more palatable with a ruthlessly curated feed. In fact I think it's a mandatory action or you'll simply stop engaging with the platform. So anyone who's an ongoing twitter user is guaranteed to have a highly filtered view of what's posted.

So in the end the tailoring capability makes itself an obligation, which leads to users floating in their own opinions and information bubble, leads to ... interesting ... outcomes when the real world comes knocking.

This is markedly different to how it has been before with specialist forums etc. There, while there was coalescence around particular topics, the range of opinions and personalities participating was otherwise quite open and the ability to filter was limited (or rather, elective in a way that twitter feed curation is not). There was certainly some self-selection at play but it's intensified massively with the shift in dynamic.

Facebook has the same issue as twitter of course and I suspect many other platforms as well - One mitigating approach is to try and keep conflicting views on your feed but it quickly becomes so tiresome that your engagement with the platform as a whole drops.

I'm not sure there's a good approach other than to go full wargames.
The dependency could be arbitrarily many millions of instructions away.

The only way to know there isn't a dependency is if that register gets clobbered by something else very soon afterwards.

But this whole topic of "checking for signed overflow is expensive" is overblown. It's simply not that important an operation, especially in the context of those languages that do it a lot also doing a lot of memory references, which are far more expensive.

Adding arbitrary completely unknown integers is pretty rare. If you know both numbers are greater than zero then a single compare-and-branch is all you need. If one of the numbers is a constant then a single compare-and-branch is all you need.
Flutter has not been designated as the long term means of writing Android applications.

Given that the underlying Android system heavily relies on the JVM, the heavy emphasis on Kotlin support and the 3rd party nature of Flutter (you need to build bridges to use it) it is simply yet another x-platform tool to build mobile applications.
The very concept that people should have their basic human right to privacy protected or denied based on the happenstance of their location of birth is insanity.

Governments that gate human rights on nationality are fundamentally amoral, and should never be trusted to self-regulate.
Funny you should mention that 30% number. That seems to be a kind of magic number where, for gross margins below that, you probably don't have a viable (small) business, in general.

For example, I've had discussions with people in one of my hobbies about this. It's a collecting hobby, so, being involved on the dealer side consists of obtaining inventory, marketing it to collectors, and selling for a profit. I've been told that you should always have at least a 30% gross margin on inventory, unless it's stuff you want to blow out because it's been sitting too long. In practice, what this means is you buy at somewhere between 60-75% of retail, normally (you can afford a smaller margin when you already have a client lined up to buy the exact thing you have, but that's not the typical case for a lot of dealers).
My team uses story points to estimate large projects over long periods of time. Sometimes things are overestimated, and other times things are underestimated. However, when you sum them all together, the errors tend to cancel each other out.

I've found that upper management doesn't care whether any given task actually takes 3 days when we estimate it at 3 days. They just want to see a schedule where each task is estimated to take X days. It communicates that you've really thought through the plan. Then, in terms of results, what they really care about is that we track to the date we committed to for the overall effort.

If a senior director is drilling down into a schedule and asking, "Why is this 5-day task taking Bob 7 days to finish?" that's a strong signal that it's time to change your management.
I think the point of GP is that not every instruction makes use of the more complicated (4 input) adder, so not every instruction should have to pay for the latency cost associated.

But at other pointed out this only makes sense if the ALU is the critical path and that having a two level adder significantly impacts the latency
First Drone Goes Flying to the North Pole on a Climate Mission
Yeah, I think that's a fair point. It's probably a good idea to introduce a little chaos into the order, and try things that don't make sense.

Difficult to do though in huge companies. Which is why most disruptive innovation ends up being acquired by those companies rather than created by them.

On way to address that issue seems to be to allow a separate arm to essentially act as a startup, preferably far away from the main company.
> Eh, the Lightning Network has been a thing long enough that the appropriate question is no longer "when will it be ready?"

The same could be said for bitcoin. The reality is bitcoin still suffers from a scaling flaw, one that appears to be unfixable. The workaround is to layer any entirely new protocol on Bitcoin, Lightning. It has been 4 years in deployment. It is couldn't be said to be successfully deployed as Lightning's creators have noticed bugs that make it unsuitable for prime time. https://medium.com/@antoine.riard/why-we-may-fail-lightning-...

I'm no expert, but they don't appear to be bugs that run as deep as bitcoin's scaling flaw, however they do require changed to both bitcoin and Lightning to fix. And implementing the fix is bogged down by the need to keep the patient alive and functional during the operation. The serious mistakes created by a "moving fast and break things" doesn't work for this style of project.

And for "why" bitcoin / Lightning isn't working splendidly after all this time, I think it's fair to say creating a functional digital currency that is secure and scales infinitely turned out to be far harder than anybody imagined, and I'd say far harder than anybody could have possibly predicted.
An interesting thing is no one is willing to say "lies" anymore. It's always "misinformation" because it gives the perpetrator a way out to claim it wasn't intentional. The NSA and CIA do LIE.
Are We Rust Yet?
To Airpod or Not to Airpod
I disagree. Asteroid mining first.
Ubuntu includes a Racket package. It’s rarely if ever the latest, but certainly a reasonable starting point.

https://packages.ubuntu.com/search?keywords=racket
> The tools that users have to manage their information intake have not matured as quickly as virality tools. This is mostly because social media's financial incentives are in advertising and analytics, which are at odds with user curation.

The purposeful marginalization of RSS takes on new meaning in this context. RSS consumption enables control. Great for users. Not so great for other more power-hungry entities.
How do you get started with a custom dev shop? What type of technical companies would you focus on?
It's important if a court cares, which would probably be the case. Watching a YouTube video on Firefox is unlikely to be construed as circumventing DRM while downloading the same video with youtube-dl conceivably could be construed as such.

Courts aren't always concerned with technical differences, more often intent.
Show HN: Feedstack – Build your own algorithm to curate your social feed
Oh yeah, and that's great, I didn't mean to suggest it isn't fantastic to have each part replaceable (not just for upgrades, but repair too!) - I was just responding to 'high enough spec parts aren't available yet', I'm curious what people do other than play games that they (think they?) need higher specs, or the specs of today's 'flagships'.
It is a term that has a specific meaning. You have a theory that there is a conspiracy between Microsoft and the NSA. No such conspiracy exists. Skype started to forward wiretap data to the FBI in 2010 (presumably from owned supernodes and POTS gateways), and Microsoft continued that work after the purchase. There is no evidence that either Skype or Microsoft worked with the NSA on Skype wiretaps, and there is no evidence that either took a multibillion dollar payout for it.
This is why I solely work in government contracting nowadays. Yes, the bureaucracy is awful and yes a majority of the people just sit at their desk to pass time. But the work I pick actually solves problems society has. I don't care about the politics or whatever and I'm not judging whatever policies or solutions I'm engineering but at least it's helping society in automating tasks and making the systems for those policies more resilient. Is it avant-garde tech or AppGoFaNet-abbreviation like pay? No. Often just CRUD, some rule engines and making sure information systems are stitched together. But money wise I'll retire from this before I'm 40-45 and can basically do whatever I want at that point.

Money is freedom. Don't underestimate that. This industry can give you a lot of it in a relatively short time and with the advance of remote working, you don't have to live in high-cost centers to earn high-cost income anymore. Just make sure you're valuable and don't lifestyle-creep your way into being dependent on soul crushing work because the pay is high.
He was also involved with the original developers for many years.
> and at least one claim was ruled innacurate/misleading in court

As said, not disproven.

> One of the main sources was also identified as a potential national security risk

The self-id'd source (Steele never confirmed) of mafia and spy secrets has a shady past. I'm shocked.

> considered the dossier worth reporting even without verification

The author was/is known as the single best source of Russian intelligence ops in the western world (the ex-head of MI6 in Russia). It was a raw intel doc never meant to be 100% accurate, but according to him "at least 90%".

> Let's not forget that this fundamentally started as a political opposition research document.

Yes, by Republicans terrified of a compromised criminal taking over their party.

> If you have evidence that links that hack to the laptop hard drive contents, then I suggest you share them with the FBI. Otherwise, your reading comprehension needs some serious improvement.

I can only assume you are trolling now. There is 0 evidence any of the leaked emails are from a laptop. It was reported a year ago that Burisma's emails were hacked and in circulation. The mental gymnastics you need to perform to not only think they aren't the same set of emails, but this paper-thin laughable cover story about a laptop in Delaware from a blind-shopkeep with 0 independent verification is just stunning to me.

The only answer is that you are smart enough to know this is all ridiculous, but are holding on to it anyways. Dissonance is a hell of a drug.
The EVs Are Coming
It was a joke, because every thread on hn about India, has a motivated group bringing out caste.

Just like every Hollywood movie involving Germany, has to have a hitler reference.
Setting Up the ARM32 Architecture, part 1
That's a fair point. Different schools of thought here... but the risk seems to be that one can overanalyse it and spend too much time fantasising about something that is fundamentally uncertain.

It is context dependent though. Very different if you're building Snapchat vs. SpaceX
I wouldn't say "has become" since the term was already in widspread use in games by the early 90s at least if not earlier. I would guess many people are first exposed to the term in games and I would be surprised if the expectation you describe is actually widespread at all. Games or not, it seems like the first exposure anyone has to anything called AI would cure them of any such misconceptions.
For clickable versions of the links:

Failed Show HN: https://news.ycombinator.com/item?id=24960293

Newsletter Archive: https://simon-frey.com/weeklycspaper/archive/

Weekly CS Paper Newsletter: https://simon-frey.com/weeklycspaper/
Probably one of your extensions blocking it. Turn off stuff like ublock and privacy badger and reload. I tried on Mac Firefox and it does indeed fail in even safe mode.
There are two challenges with this - first, following people who focus on one thing, and second, focusing on one thing yourself.

When people tweet about a professional interest like code, and their other interests, and family things, and random fun stuff, your timeline gets noisy. Likewise, if you follow people because you like code, and more people for your other interests, and you follow your friends, and fun stuff, then it gets really noisy too.

I follow a lot of people for frontend dev things, but also some more people for wildlife photography, and local Northeast UK tech scene stuff. I had to cut down from following about 1000 people at peak to 300 because I couldn't keep up at all.

If you can focus who you follow and what you use Twitter for then it's good, but for most people who have multiple interests it's not. Lists help a lot, but you need discipline to use them well.
You end up duplicating the logic achieve to offline-first, and reduce network roundtrips. Eg your sign up page final validation is probably the server's job, but if you want to give earlier/faster failure messages, you'll want it on the frontend too.

Server authoratative validation is security; frontend validation is UX
Part 2 is at [1]

[1] https://people.kernel.org/linusw/setting-up-the-arm32-archit...
That is interesting indeed! I skimmed over the paper, although most of it is too dense for me to understand.

A proven connection between Dravidian and Elamite would kind of upend most perceived ideas in India about Dravidian versus Indo-European languages (namely, that Dravidian ones are more indigenous than Indo-European).

Also, this is very likely just a coincidence, but I realized that the Tamil word for homeland is...Eelam [1].

-------------------------------------

[1] https://en.wikipedia.org/wiki/Eelam
I've been waiting for crowdfunding of the Precursor to start, but I'll have to think more about whether I can cost-justify $512, if I don't know when I'll have time to hack the software I want for it.
That sounds like an amazingly bad idea, because you would instead have to retain the two source registers until you can prove that you don't need the two output registers anymore, which can be arbitrarily far in the future.
https://m.youtube.com/watch?v=hn1VxaMEjRU

Best peace ever. Situation would be worse. Much worse. Has been much much worse before.

What makes you believe that we, the West, are the “good” guys? Haven’t we killed more innocent civilians than “the evil East” in recent decades?
An analogy I like is that they know you called a suicide hotline from a tall bridge in the middle of the night, but they don't know what you discussed.
> And I am saying that since this has never been achieved in practice for systems of considerable scale, this is a rather hypothetical use of the word "easier." Is it possible that one day this will actually be easier? Sure. Is this the case now? I don't think so.

Respectfully, I recommend that you read Dijkstra's A Discipline of Programming that I linked above. I think you'll find it interesting at the very least and possibly even enlightening. I assume you are a product of the American educational system, where these concepts are rarely taught. There are exceptions though, for example the great Leslie Lamport has also done notable work[1] in this area. You'll find that out of necessity on some level we all have to reason about state spaces and the possible coordinates in those spaces to write software. Using formal mathematical reasoning is strictly better than the sloppy approach generally used. I'm not claiming that it's a magic bullet though. Even mathematicians make errors after all.

There are various middle grounds too. Done properly, TDD and its cousins amount to an implied specification and "ensure" that the program written will satisfy the tested subset of said implied specification. The primary practical limitation of this approach is that testing can never show the absence of errors, only their presence.

> The human act of painting your ceiling is exactly the same as painting the Sistine Chapel and the human act done by a first-year student taking a calculus exam is exactly the same as a Field medalist writing a proof in a paper.

You've lost me here, I don't at all understand how these analogies have anything to do with the kind of reasoning a human can do about programs vs the kind of "reasoning" programs can do about programs.

The point is that it doesn't matter what language a program is written in. The program text is always a mathematical object describing a state space (usually reasoned about as a set of state spaces like structs or objects) and transformations in those state spaces. Granted, some languages, like Perl, have ill-defined semantics that make reasoning about correctness impracticable, but often it's possible to restrict oneself to a subset of the language that can be reasoned about. For what it's worth I've applied these techniques quite successfully in my professional life. I hate getting paged and I hate debugging, so I've found it useful to learn to write correct software. I seriously doubt that I'm the only one, but as I've said before there is some kind of bizarre phobia American programmers have about being told that what they are doing is math that makes it very hard to talk about with most of them.

[1] https://lamport.azurewebsites.net/pubs/lamport-win.pdf