skysight-inc/HackerNews huggingface dataset:
Summary: brute force search of the space of 4-state TM programs yielded a BB champion with an initially mysterious structure. Careful examination and reverse engineering showed that the program turns out to compute a variant of the Collatz function, where instead of C(n:odd)=3n+1, we have L(3k)=0 and L(3k+r)=L(5k+r+3). There is discussion of a "spaghetti conjecture" that BB champions are likely to be "messes" (i.e. have complete control flow graphs), but this Collatz example doesn't satisfy that criterion. Thus the author suggests that the spaghetti conjecture is false.

Discussion: the whole thing is very encoding dependent, but if you figure the BB machine on N states is randomly distributed on all the N-state machines, then for the types of encodings being discussed, for large N, the flow graph has (I think) a high chance of being complete but that is not guaranteed. So that's a reason to think the conjecture is strictly false but approximately true.

The BB champ being a Collatz variant is iirc a well known approach to manually constructed BB champs. That is inspired by an old result (Conway's?) found in Jeff Lagarias's book on the 3n+1 problem. It says the generalized Collatz conjecture is Pi-0-2 complete so specific instances sound like a good place to look for functions that are on the edge of undecidability.

I wonder if anything is known about the arithmetic (not computational) complexity of random programs like that. I'm imaginging e.g. Shannon's theorem that most boolean functions on N inputs require exponentially many gates to compute. The analogy would be with the likelihood of functions on some parameter, expressed as N-state programs, being Pi-0-2 complete.
I felt the entire opposite. There's no room to actually use the product well in a trial (free), and the next steps up are quite expensive.
So are the 10 branches mostly yours then? That seems slightly less crazy.
You would need to manually add IP's to the loopback interface as well before you could use them to bind to, at least on anything outside of Linux where apparently all of 127/8 is directly useable without an alias required.
Gerrit is nice, but to me feels a bit dated, UX-wise. Before joining Google, I used Azure DevOps and I feel that it was easier to review code over there (less jumping around the page). At first I thought it's a matter of (in)familiarity with the tool, but I still feel like I'm fighting with it after 3 years of use...
Elite. What a game changer, really showed what the BBC was capable of back then. Hours of my life spent on that game in my teenage years, good times.
this is cool,
and they launched a global top 10 charts site yesterday which gives a look at just what people are watching and how much! And the data's open

https://news.ycombinator.com/item?id=29249401
What is almost never considered is that these large corporations don't pay public pricing. It's all negotiated to be heavily discounted. Bandwidth is hardly an issue like it is for regular customers.
Thanks for sharing. Getting the right treatment is such a gamble. I wish we were better at talking about mental illness openly instead of stigmatizing it. Perhaps then we would realize the need for better treatments and funding. I have a close relative that's been all the way down the hole with life-threatening mental illness, but recovered due to doctors finding the right cocktail of medication and safe environment. Getting to know this person I'm humbled by how ignorant I've always been on issues of mental health. I shudder when I read comment sections like this one, or talk to friends and family, as I'm reminded how pervasive this ignorance still is in the general public, and even in professional healthcare. I have the deepest respect for people like you, that are hanging on in spite of the terrible circumstances you've been given. I hope you find some shivers of light in between all the darkness.
Big fan of Netlify and also their director of developer experience, Cassidy Williams. She's able to distill "life as a developer" accurately into memes. 'Tis a gift.
Her twitter with best memes: https://twitter.com/cassidoo
Recent interview: https://srcgr.ph/cassidy-williams
RLiable: Towards Reliable Evaluation and Reporting in Reinforcement Learning
It's 2021... ham operators hear someone using the band for something digital, and then use the one of the many cheap SDR sticks to check what is using the channel.

One call to a regulator, and it's done.
> I find lisp impenetrable and parenthetical soup

I think part of this is the somewhat idiosyncratic indenting style, where closing parens are gathered together instead of their own line like curly brackets in C-style syntax. It ends up being somewhat similar to python, in that if a lisp program is indented "properly" you should be able to ignore the pileup of closing parens that tend to happen at the end of a long expression, and even the open parens, and see the structure for what it is.

I found that Parinfer's introduction helped me a ton in this regard <https://shaunlebron.github.io/parinfer/>
What to Do When Your Relational Database Turns into a Spaghetti Monster
The truth is somewhere in the middle.

I’m a sysadmin, I know hardware. I think it’s a complete myth that hardware is hard: especially compared with the irreducible complexity that is AWS.

But: I find myself coming back to the cloud.

Why? It costs more and you have less control. Scale up is not as important as it seems and the 10x cost difference would mean scale is not a factor either.

But, in my experience, not dealing with an IT department is the main reason.

Hardware lead times can be high, sure, but there is nothing more frustrating than depending on someone to do their job and they do it bad.

The “efficiency of scale” is almost entirely in the tooling, certainly not the cost, when it comes to cloud.

I keep coming back because even though compute is not hard, nor networking for that matter: distributed storage is still hard.

I have three on-premise servers now and dealing with the IT team is.. well, let’s just say I prefer to deal with the cloud vendor.

The number of people hired to manage the cloud tends to be the same number as hired to deal with on-prem.

I've been in a company with many hundreds of physical machines to manage and a team of 4, and I've been in a company with infrastructure that handles a similar use-case on cloud in a team of 5.. So I don't buy the headcount argument honestly.
PyTorch Tutorial
"but certainly not what I would call neutral. The topic pits UAW versus Nonunion automakers."

How is that not neutral? It's an unambiguous statement of fact that the tax credit is favoring unionized automakers over non-unionized automakers, and that this particular distortion/difference in tax credit has no environmental justification and is designed purely to help out unions.
I think I am pretty qualified to make my declaration, since it is about user experience.

I also do know a lot about IR, because I taught Information Retrieval class for 3 years when I was teaching in university, I read research papers, and I just come up with a new search algorithm.

It's just that some people cannot accept that there are people who can cross fields with ease, make contributions quickly, and move on to the next field that pit their interests.

Yes, I am one of those people. In addition to HCI, I also published in the following areas: VR, DB, NLP, IR and Psychology. Sorry to hurt your feelings, but it is what it is. Accept it and move on.
Probably not :)
Says the scumbag who outed Reality Winner.
King also mentions that here (When Love Comes to Town):

https://www.youtube.com/watch?v=7mCE73j59Zs
The highest bidder wins the auction, according to Sotheby's rules. The DAO has already has more than the estimated bidding range and has a good chance of beating all other bids. We will find out tomorrow.
He literally answered "no, I am not suicidal" to the "are you suicidal" question. And in fact, he did not became suicidal after.

This was not failure of suicide hotline. This was them recognizing he is misusing the service.
I'd call that a radical interpretation of the text.
> And then there was the first time I read through the examples in Cracking the Coding Interview. It filled in a lot of gaps.

The issue is, the book approaches algorithms and data structure as something to "crack" and rote memorize instead of a new way of thinking. And it's easy to spot if you ask an interview question that looks a lot like one from the book but different enough that there's another data structure better suited for it.

> Nowadays I work on distributed systems that receive 100M requests/hr with other devs who similarly lack a college education but somehow manage

That's 12x what Stack Overflow does [0], so that's quite impressive!

> Hope this helps you feel less frustrated next time you're paired with a colleague who has a different background than you do!

Since your account is brand new, you might want to get familiar with the rules and guidelines of this community [1].

[0] https://nickcraver.com/blog/2016/02/17/stack-overflow-the-ar...

[1] https://news.ycombinator.com/newsguidelines.html
I don't think this really matters. What matters much more so is having good findings.
As everything has become so complex people decided that the solution is to build containers that are even more complicated but you can move them around.

It starts to feel like there’s an appetite to try another way where you actually move around the stuff you created and not entire containers of your setup.
Skidmore, Owings and Merrill Unveils Urban Sequoia, Carbon Absorbing Skyscraper
I'm sorry but I cannot take your opinion over that of historians which, after the fall of the USSR and access to the archives, saw the general consensus shift away from murder - instead it was found that the incompetence of party officials was even greater than one could have imagined.

The assertion that Schukin was assasinated by the Russian Federation is unsupported. I cannot find any non-Ukrainian media that supports this thesis and I can find many that don't from third countries that are unfavourable to Russia. Therefore I conclude that the theory of assassination by a violent anti-semite is the most likely. I doubt that the Ukrainian prosecution would shy from suggesting a Russian assassination if they thought so.

I don't doubt that the nationality of Ukrainians was changed to Russians. A lot of persecution of Ukrainians happened, which is a historical fact. The question is whether the famine was intended or if it was a mistake, and it seems clear that this was not the case. Then the question becomes if it was murder on the side of the Soviet government not to redistribute food, which it would have been if they had known the extent of the famine, but as we know now the corruption and incompetence was so high that it is wholly believable that they actually thought the situation was far from as bad as it was. From then on the immigration bans make sense and so does the maintenance of exports.

Now was this on the the absolute fault of the Soviet government? Yes, it is. But so is every single famine from 1900 onwards. If you consider it to be murder, so is every single other famine since the invention of fertilizer. I only ask that one is consistent.

As for your estimates, even the Kyiv court of appeals cites a much lower figure of 3.9 million : https://lb.ua/news/2010/01/14/19793_nalivaychenko_nazval_kol... and I can find no credible source that even approaches your numbers.
I can’t bring myself to write blog posts, but here’s a single-precedence-level infix-to-postfix notation transformer in sed written as part of a solution for last year’s Advent of Code 18a (https://adventofcode.com/2020/day/18):

#!/bin/sh -eu
set -o pipefail

sed -E \
-e 's/([+*])\s*([0-9]+)/ \2 \1 /g' \
-e ':parens' \
-e 's/([+*])\s*(\([^()]+\))/ \2 \1 /g' \
-e 's/\(([^()]+)\)/ \1 /g' \
-e '/\(/bparens' \
-e 's/\s+/ /g' -e 's/^ //' -e 's/ $//' \
-e '$a\' -e '[+ z1<r]sr z1<r p' | \
dc

(I’m very, very sorry for fuelling your addiction.)

UPD: The original version claimed this was a precedence parser. It isn’t, it just does parentheses :(
Nothing stops you loaning it to a museum for a period, eg. 6 months, giving you time to choose either another place to loan it to or a permanent home.

It's common for artifacts to go on 'tours' like this, so as many people as possible get a chance to view them.
I wonder what did it lack... I suspect I couldn't find it because, at the time, I didn't have the full MSDN subscription. I only got it a couple years later, after DEC was acquired by Compaq, who didn't know what to do with Alpha and, by then, that Alpha was looooong gone.
Really exciting - looking forward to implementing this with my team!
Lol. Helm is like the ex that still comes around to key or graffiti your car. Kustomize is the girl that makes you realize you want to get married.
A key brain region responds to faces similarly in infants and adults
many people in that risk group aren't aware of these tendencies (now there are words for it we did not have 30 years ago: suicidal ideation) until their kids are ready to leave home. Plenty of us around with families not knowing how to make it, even we've felt healthy all along until some event (or cascading events) changed everything.
Yeah, unfortunately you are spot on - this move is created to kill the growing criticism against its increasingly hard to repair devices, while also ensuring that they have a ready excuse to reject parts bought from a third-party so that consumers are forced to buy only costly "genuine" parts from Apple. Except for the availability of exorbitantly priced "genuine" parts, nothing will really change - they continue to design more and more hard to repair devices with more soldered parts, with no real ability to customise or upgrade the hardware or software from non-Apple sources.
Proper CSS is starting to become a lost art at this point due to CSS-In-JS, the literal coronation of inline-styles. The ship has sailed on this, and the days of writing a few simple classes, and adding a top level parent class like <div class=“dark”> and having all child selectors pick up on that is long gone. Now you’ll import a <DarkButton>, or whatever the fuck way they pass in that theme variable. It’s a massive whatever-the-fuck and fuck-it solution across the board with css-in-js at this point.

But, it makes sense when you realize why the solution is a fuck-it solution. People are not great at CSS, got tired of it, and said fuck-it. And voila, now we have a fuck-it solution.
Been using Handbrake for years, fantastic easy to use software and absolutely flies on the new M1/M1 Pro chips.
When can we expect to get off the waitlist??
How to Fight Hate Online
If you read "Thinking in Forth" you'll discover that Forth can be more readable than other languages, if you write in the style that is supported by the language. Of course, if your goal is to use the same algorithm as in, for example, Java, your code will look terrible.
The problem is that we know how to fix anything we make and/or can see. We can't make or see the human mind just yet, so we definitely struggle to fix it.
As someone who has watched their parent struggle with - and ultimately pass away from - lung cancer, I can say that in my case the memory of them was far from their last days. I still remember them as my dad, the way you do when you’re a kid. The person that is a superhero and strongest person there is/was. FWIW, my dad passed away at home under hospice care, with me there to care for him for the last few days. It was difficult and not easy to see him that way, but I am thankful to have been able to be there for him in his final moments, especially since he’d been there for me my entire life.
The credit card fee is included in the price of the item, whether you use a credit card or a debit card, it's there.
I can't believe we have grid and flex and sass and incredible frameworks. I'm inspired to go write the holy grail layout in tables and floats just for the heck of it, a cheerful nostalgic trip, and without frustration because at any moment I can recognize it's just a bad dream and it's all in the rear-view mirror and I can stop at any time. My table cells are going to have cool inline onmouseover functions too with whacky colours. It's going to be a good night!
No one is ever ready to become a parent. I mean, "we" (I assume we're all in relatively stable, high paying, high demand, low risk jobs) certainly are much better placed to be them than say, my parents were... But nothing prepares you for the abject horror of your entire way of life ending in such a dramatic way. I mean... It was worth it, I kinda like the wee guy.. But it's BRUTAL at the start.

Doesn't help that all your mrs's intsa-friends are posting bollocks about how great everything is while you've been trying to get your newborn out for a walk for 5 hours and failed.. heh.

Don't overthink that stuff though.. I mean, you kinda know deep down if you've got it in you or not. It's kinda like having a puppy times a million..
I'm not familiar with any of these, but this point stuck out to me.

Two random choice says "Max load of any server is O(log log number_of_servers)."

If work accomplished is proportional to load, then the total work done by the entire system is O(number_of_servers * log log number_of_servers). It seems very suspicious, magical even, that the total work is more than linear with the number of servers. Free energy discovered?
What an asinine question. I don't need to attend to be able to tell you that Open Source has a far greater history than Sentry, and will inevitably outlive it in the end too.
No there’s no guarantee. A very strong bias, but no absolute guarantee. Most people use AND queries by default or set a high enough min should match.

Those settings aside, arguably there are cases where fewer term matches could be more relevant.

For the search “Luke skywalker”

A tweet for example mentioning the term “Skywalker” once has much higher “Star Wars” aboutness than a move that uses skywalker one page and Luke pages apart.

That is the information density of Star Wars type content is far higher in the tweet, whereas eventually a book ends up using most English somewhere.
> growing crystals was of paramount importance for certain structure determinations using X-ray crystallography (to answer "did I really prepare what I think I prepared?")

Ahh, X-ray crystallography, a.k.a. the field of modern (bio)chemistry that most closely resembles medieval alchemy.

The excellent 2009 documentary "Naturally Obsessed" [0] is about how difficult, time-consuming, and frankly irrational it can be to successfully crystallize certain proteins and protein complexes. The film is about how some PhD students spend the entire five-ish years of their degree programs trying (and mostly failing) to find the secret recipes (protein purity/additive ingredients/temperature/humidity/phase of the moon) that will allow their proteins to crystallize, and thus granting them data with which to populate their dissertations.

Why irrational? In one case, the secret ingredient is pickle juice.

[0]: https://www.thirteen.org/naturally-obsessed/
So socialized health care spending millions on a mentally disabled child who will never yield return on that investment is a danger to society?
Scientific American Goes Woke
The 'Duke Nukem' Fan Re-Creating Britain in All Its Glory
It's OSS, people can and have forked it before, if the present (primary) maintainers aren't doing what people want then they can do it themselves. In the meantime, quite a few people are using emacs as it is and it is getting updates that people seem to care about (like native compilation of elisp).
Thanks! I have read that book.
No, I meant the trans-Canada. That’s remote enough for me :)
isn't that pretty face value what Numenta's goal is though? They read research papers on neuroscience and try to distill it down to applicable engineering problems for their HTM and see what works.

i can't speak much as to their original research efforts, but i personally appreciate the engineering-research side of what they are doing.
Top level type annotations in Haskell are very helpful, but with no type inference, you would also have to annotate every intermediate term in the program, which would be intolerable. Remember that the programs are essentially typed lambda calculus, so every term must have a type. Normally you let the compiler figure out all or almost all of the types.

Part of the usefulness of top level annotations in Haskell is that if your program has a type error, inference can fail in multiple ways. I.e. the unification algorithm might assign type T to your function F and chug along happily until it runs into a conflict in some unrelated part of the program, then throw an unhelpful error message in the case where T wasn't the type that you intended for F. By annotating F with the type you really want, you get an error message that does a better job pinpointing the problem.

This is less of an issue in ML, since ML's type system is less general than Haskell's, so the inference algorithm can't go as crazy, and you usually get good error messages even without annotations.
> when it's useful:
0% if the time, or possibly more if Self-flagellation is your style

> when it's not:
100% of the time.
I'm don't consider Root's remarkable persistance across multiple novels a central theme. It's a common one (as in "shared").
Hmm, "government" as a governance model? This has some serious potential.
Which likely is fine. Adding length is a perfectly valid way to add entropy. If they happen to add a special character, it will just complete it faster.
> In 10 years people are going to look back on all this terrible art and wonder what the hell every tech company was thinking.

This is true for all things, which is why art and styles constantly change, and constantly repeat. Whatever they picked, that you would have been happy with, would have meet the same fate, and a younger you would have the same perspective of it as you do now.
yea id love to hear more too
Gaming setups and furniture by IKEA and ROG
Handbrake is incredibly useful to me since I use many older machines that don't have hardware (or even software) support of modern codecs. I basically treat handbrake like an "unzip" software to unzip the h265/av1/etc to a standard h264 with aac audio. The file sizes really aren't that much different.
I guess you are talking about life expectancy being way lower back in the day. Those numbers are massively skewed by infant mortality and so many other things (infections, complications during child birth, ...) that are nowadays easily sorted out by antibiotics and other means.
Well, signup with business credentials only is one way of framing that one...
For what it’s worth, MailMate on mac allows for responding via the received address in just the way you describe. It’s a large part of why I ultimately landed on using it exclusively.
There are different refresh settings. Its a trade-off between refresh and quality. At the fastest its artifacty but a YouTube video is watchable in real time. Probably 10-15fps. Speed mode is a decent compromise between quality and well speed for typing.
Similar to what I do. On the Mac, I use ABC input source for English and programming (same as US as far as I can tell, but I don't get the US flag on the menubar when it's selected), and Brazilian for PT (essentially US with dead keys, same as US-intl in Linux).

I have a keyboard shortcut to switch.
This may not be exactly new (rolled out in Asia, Sweden already maybe?) but caught my eye on US site.
Ask HN: Are AWS certs worth it in 2021?
Interested to hear some perspectives.

Bonus points for your thoughts in the below situations:

1. You pay 100% of the cert price out of pocket.

2. Your employer matches 30% of the price (you pay the other 70% yourself).
Mercedes’ EQS Reached 441 Miles in a Range Test, Beating Tesla Model S
Funny how they always complain about discomfort when the shoe's on the other foot.