skysight-inc/HackerNews huggingface dataset:
I use an x131e and went through the same gyrations for the bios a year and a half ago. Now I feel bad about not posting the results. But after that ordeal I was just glad to be done with it!

It took me a less work because I found a hacked and original bios for another model and was able to use that to figure out where the required change was-- so I didn't have to go as deep in the reverse engineering.

Thanks Hales for being more civilly minded than I was!
That sounds like a good thing to not let a mega-corp access to your private repos or require users to check another terms of service to another yet another service to get access to Issues.
If healthy diets have sufficient fiber and insufficient fiber is what's causing the obesity problem, then why do the overwhelming majority of people gain the weight back within a year on almost every diet?
hey, I like your work on Paranoid Scientist. I've never come across hyper-properties: is this something you invented?

Regarding hyper-properties: I assume they only work on immutable data values, otherwise it would be hard to manage historical objects so that they can be part of any of the predicates.

I'm working on a similar project that you may find interesting: https://odipar.github.io/manikin/. I may want to include hyper-properties in future releases.

edit: found this on hyperproperties: https://lamport.azurewebsites.net/pubs/hyper2.pdf
He is not, but he is following the rules of a over-65 bus pass, which exclude coaches.

As far as I can tell, he is paying every single ticket and he is going to provide the total at the end of his journey.
The USSR did not have a bourgeoisie nor a "local equivalent" thereof.
A 50B$ problem is only 5 years of these 10B$ per year. I’d be surprised if Apple wasn’t on it.
> Why even use drug mules if you can just drone everything over the border?

A few weeks ago there was a news article on how drug cartels were using cheap Chinese VTOL drones to smuggle drugs across the Mediterranean between Morocco and Spain.

https://english.elpais.com/spain/2021-07-15/spanish-police-s...
Words are cheap in all kinds of relationships. Actions always matter. Hence in the case of work relationships, it’s all about promotions, salary increases, good projects, etc.
Without me having to deep dive through several RFCs... Is it a secure protocol, or is this BGP style we trusted everyone in the beginning and now have to layer security atop it?
Hey, I want to transition into this full time development side of things, from Security. Is doing Leetcode and Design problems enough?
Well the article is specific about replacing gas boilers with heat pumps, of course where the boiler is already electric there is not this issue (or it is marginal).

BTW AFAIK those thermosolar thingies used in Israel are quite good but they - at least the ones I am familiar with, common in Tunisia also - have anyway a supplemental electric resistance and are anyway only suited to self standing homes or very small condo's that have a flat (terrace) roof.

And anyway in the same hypothetical 24 flat condo, 6 floors by 4 flats, you would need 48 pipes + 24 electric ducts going to the roof, but most lower floors flats (first, second or third floor, maybe also fourth) would be too far away so you would need a third pipe (24 of them) for circulating the hot water, and of course 24 pumps.

And of course the climate in Israel or Tunisia can be compared to only some extremely southern regions of Italy and Spain.
How to stop self-sabotaging your career
You said they're being on the cusp of being "taken out".

> You really think we would end up with anything other than with >50% of datacenter purchases going to amd?

Even if this did happen, how do you believe AMD survived for decades with probably under 1% of data center purchases? And small share of PC and other server revenue? How as AMD able to weather through all that and eventually come out the other side with a good product that would not be possible for Intel?
Employers, don’t tell us to take breaks if we can’t
Because software engineering is easy to get into, but hard/impossible to master. You cannot limit it via the requirement of a license. Your country would put itself at a disadvantage in the software space and the projects would move elsewhere. Putting your country at such a disadvantage is a big deal considering that software is likely going to be the most important field in the future due to automation (ie it'll be a part of almost every other field that produces stuff).
Is phrenology the weirdest pseudoscience of them all?
The thing is it wasn't an ad, it was a post a regular user posted into a group.

And that being the plausible answer doens't explain why me as a Northern European post-ban-resurrection ended up getting all my friends suggestions from Africans. It was never the case before that and all my activity simply involved campaigning against losing a local park and looking at local news.
Oh man, I can't stand it. It's almost a parody at this point, and indeed the Atlantic is the absolute worst. Nowadays I typically scroll the first second for the scroll-bar to pop-up, I then assess whether it's short or long-form. If the scrollbar indicates it's 20 pages I typically scroll down somewhere and read a paragraph, if I see them discussing some ostensible link between the soft fabric of the office's carpet and the management style of its CEO, I just move on.

That having been said, I thought this article was quite good. It explained the basics of battery tech, what we have now, what's being worked on, with the hook of the fruit. That may not have been entirely fair to the reader but I didn't feel tricked. The article (while quite basic) gives a decent introduction into batteries and never went into any of the issues you so aptly mentioned, like what central characters were dressed like and what they ate for lunch (which I've seen too many times to not be a joke at this point).
I can recommend Andrew Trask’s tutorials and even his book on this. The (e-)book doesn’t go too in-depth with more complex NN applications, but you start out implementing your own NN from scratch using only numpy, which I thought was helpful to get into the topic.
> Both systems can and do commit huge amounts of resources to pointless, destructive forever-wars.

Only in capitalist systems is this a process of enrichment of the ruling class. The transfer of wealth in the US to the richest % on the basis of war has been immense. They're not pointless geopolitically either, since it serves to stifle and subjugate foreign governments into US alignment to support western predatory and exploitative economic policies (enforcing predatory loans and commanding oil trade). Hence aggressive imperialism combines several aspects of maintaining economic and military hegemony.
GOM Player Plus 2.3.68.5332 with Crack 2021 Download – Google Search
Wolfram works with the full mathematical expression tree. It works very well in practice but the equality test is undecidable in general.
A home-made lithographically-fabricated integrated circuit (2018)
Not sure if you're aware but we literally had cooling centers here in Seattle during the heat wave.
Doesn't this also mean that they would not be able to receive comms?
To be fair, the breadth of FAAMG markets pales in comparison to companies like GE, Samsung, Mitsubishi and similar. The major difference is that those companies don't have a complete choke-hols on any one market, and definitely not on something as important as the modern public square, or something as insidious as PR.

Personally, and I know that this is a very controversial opinion, I believe that the biggest problem is the concept of advertising itself - an attempt to distort consumer behavior, whose natural endpoint was always what we're seeing today: massive data collection, use in politics, manipulation on all available channels.
If you call windows 10 desktop sane .... Even TWM looks better. I do not know who had the great idea to redesign the start menu but i had a collegue spend 5 minutes to find a program in it. To MS defence 2 minutes were spent typing the name of the program, checking spelling errors etc. Finding Office programs is the same. Is it Word at W or at M (microsoft word). It seems now it's below MS office. MS saw that something is wrong and they created shortcut tiles.
Yes, linux DEs (GNOME and KDE) are a mess because as the OP said they do a rewrite every couple of years turning away users and this is mostly the reason why the desktop linux never took off.
WSL is mostly MSs answer to the issue "we need linux to do development because MS lacks the needed tools". WSL is also a way to steal linux developers.
Of course some doctors are going to break their oath and do horrible unethical things, particularly in extreme situations such as wartime and under totalitarian regimes. But that's a dumb argument, you might as well say, well, people are always going to steal so let's not have any laws on stealing. The vast majority of doctors in a functioning society will uphold their oath first because they believe in it and second because their career depends on following it.
Things like this usually come down to incentives. And right now I don’t see how almost any major power’s leaders have any incentive to push an investigation forwards.

We are too dependent on China to piss them off, and so far experience shows we are much more likely to follow their demands than follow our own (Hollywood, NBA, Hong Kong, blizzard, albeit only one of those is geopolitical).
Project includes a dependancy that has a license that forbids its use
Yes, HN has had to constantly remind itself that a monopoly doesn't mean literally 100% control of the market and is legally defined in terms of market power.
Google and similar get 30% of all sales. Many companies will lose money in games and apps published in the store meanwhile Google profits. It seems an unsustainable model.
I'm reading the comments here and it seems like quite a few people are disgusted but not surprised by this behavior. My question to them: has it changed / will it change your behavior and what you buy?

It's easy to complain, but if that's all that ever happens, how do you expect anything to change?
"When the boss man comes in and says "can you implement this feature" and it is about getting user analystics, you will say "yes sir/ma'am" and do it with a smile."

However, this not the behaviour of someone who is seeking to be promoted. There are those who of "us" who have taken or are taking the initiative to go beyond what the boss asks them to do in hopes of being promoted. To be persuasive as evidence for promotion, this "extra work" must support the bottom line of the company the same as "the boss's orders".
Hence "us" includes more than only the employees who "show up to collect a paycheck" and dutifully follow instructions, but are otherwise opposed supporting to the bottom line of the company.

Going further, is it safe to say some of "us" have already been promoted for supporting the company's bottom line and some of "us" are in fact managers. "We" are effectively the "boss man".

This line is intriguing: "The only way it stops is if engineers ..."

This seems to imply a underlying belief that "no one/nothing can stop us". As such, only "self-regulation" will work. Am I reading this wrong.
That.... Might solve an issue we have at work where a client's DNS provider is... Extremely janky, I tried for the CNAME record but it only allows internal ( to that zone) CNAMEs.. didn't look at the NS records..
Seems like “we want you in the office and if you don’t we’ll pay you less”.

I disagree. I think you should be paid for how well you can do your job.
That's less a limitation of the build system and more an intentional policy to ensure reproducible binaries etc.

Technically bazel can load any external files, but they must be tracked as workspace dependencies, which is more verbose:

E.g.

new_local_repository(
name = "system_libs",
# pkg-config --variable=libdir x11
path = "/usr/lib/x86_64-linux-gnu",
build_file_content = """

cc_library(
name = "x11",
srcs = ["libX11.so"],
visibility = ["//visibility:public"],
)
""",
)
Quote: "... it has to be satellite-driven because there’s no line-of-sight, there’s no cell phone coverage that could have dealt with that, so it has to be satellite-driven, which is pretty freakin’ sophisticated."

It baffles me how narrow minded people can become once the mainstream technology is ubiquitous on every corner, it's like thinking of other possibilities is a hard wall. If I would do that with a drone I would use analog transmission using a Yagi antenna with a good reflector and I could definitely steer the drone more than 30 Km away from it:

https://www.amateur-radio-wiki.net/wp-content/uploads/2020/0...
For my hobby projects I add a one-line comment at the bottom refering to the license and its file.

// Please keep this line & LICENSE: <license> <year> <name> <email>
I think it's opposite. There is as much good stuff as before but it's drowned in crap, and that's exactly why search engines are so important.
Interestesting idea but i would think thrice about living inside walls which could discharge humongous amounts of energy in seconds. But i bet the visuals might be awesome. NSI (Not Snark Intended).
> The guy at the checkout register told me that I wouldn’t like it and called for someone to put it back in the freezer.

This would warrant a conversation with the manager. Service employees who claim to know what's best for me are a huge annoyance.

Another example: one time I was ordering tea at a restaurant and asked for sugar. The waitress had the nerve to tell me sugar is bad for me and I shouldn't have any.
I think they are just reliving different versions of stories/scenarios they know and their mind is just filling up the gaps.
Probably head attached GoPro
The are made from Durian and Ja kfruit waste.
Force?
Kaagaz could have been an excellent satirical movie. It only turned out good
Someone I know said he doesn’t care about surveillance because he has nothing to hide. This is a late 20s Midwestern guy. The subject came up when I mentioned that Apple is going to be scanning our phones from now on on behalf of the United States government.

We are fucked. I am reminded of Elon Musk remarking that people in China seem very motivated and grounded compared to Americans because Americans have had it too good for too long. I have felt the same way for many years.

Americans today haven’t experienced a depression, a real war, a dictatorship or a collapse of government. They haven’t experienced anything besides being the largest, richest first-in-the-queue country and they are in for the rudest awakening in human history.
All the more reason to piss them off and ween off our addiction to disposable junk and sweatshop priced labor.

Given the impact to the world we all should be asking difficult questions.
One of my friends works at Atlassian (not on JIRA). Apparently they do use JIRA there. Presumably things which are not performance are prioritised higher.
The evidence of collusion between Apple and Google coming out of the Epic case is amazing to me. I'd always thought it was a sort of unspoken "game theoretic" type of collusion (which I'm sure it is in part), but it looks like they've had very explicit communication about it:

https://mobile.twitter.com/jowens510/status/1428417681351348...

> After another meeting between Apple and Google senior executives, notes showed that the execs agreed: "Our vision is that we work as if we are one company."

Just incredible.
Afghanistan and the USSR were on good terms, and had signed a treaty which included military assistance. The USSR was called upon to assist Afghanistan to contain uprisings. However, only after the Soviet-friendly leader of Afghanistan was assassinated by his own party members, did they intervene.
Definitely not accelerated, just ridiculous thrust to weight ratios on those mini quads. You can tell from the sound - the pitch corresponds to RPMs you would expect from those specs (which are listed in the description BTW)
This was fascinating!

I love Lenovo laptops. A friend bought an old T420 from 2011? It was a refurbished business laptop which had a bios password on it so we couldn’t fix the date time after replacing the cmos.

A quick Google and found you can reset the bios by shorting 2 pads together and then jumping into the bios. It would bypass the bios password and allow us to remove it. It was a fun experience.
> Specifically w.r.t software, I can't for the life of me not figure out why major nation states are not heavily investing in home grown software (easier than home grown hardware), and instead of placing all their eggs into a few megacorps established under foreign laws and subject to control by foreign govts, like Iran's software situation illustrates well.

I have also wondered the same, especially seeing not just the massive spying, but also the shoddy quality and extortionate prices that characterize government software auctions all over the world. Especially as multiple regional and local entities often pay for exactly the same management software. It would seem a no-brainer that a national/regional software institute would produce huge savings, better quality, and strategic advantages if it created a national/regional software stack that could be used everywhere.

Alas, I believe that cronyism, market veneration, lack of understanding of software, and the high initial costs are acting to prevent any such effort from even seeming a thinkable idea.
Of course, this is only a problem in Afghanistan. It can't possibly be a problem into western democracies :)

The instrumentalization of western states is so good the populace might as well be a crop.
Im a parent of young ones and I wouldn't want control of my kids' devices or messages. Good parenting is about preparing your kid for the world, not jumping in whenever there is a fire. Frankly I find this attitude very creepy. At what age do you "turn off" access? If you can't handle your kid being online then don't pay for their device or phone plan.
Thank you for the tip, TIL.
It's actually disappointing that PostgreSQL doesn't support an embedded mode like MySQL does. I guess it's because of its concurrency model of one process per user (MySQL uses threads AFAIK), but for some embedded use cases like unit/integration tests, single-user single-connection mode would go a long way already.

Testcontainers are the proper solution for automated tests, but it is not trivial to set up CI as AFAIK it requires access to the Docker socket.
why does the world need a proper investigation into that? Sometimes it seems to me that it’s just because we want someone to blame. Not because it would actually help anyone.
The 9200 was a reaction to AMD's EPYC so surely AMD gets the crown?
I mean, isn't it yet obvious where it came from? 1 + 1 = ?
We're just too interwoven with that human rights violating, genocidal communist dictatorship to speak up about it.
Total is £56.95, you can see the breakdown here:

https://twitter.com/politic_animal/status/142900671464129741...

Apparently a walk-up train fare would cost £73.50, but he managed to pre-book his return trip train for £40.90
Would you have a source for that? Just curious.
“Starting to”? DJI FPV is two years old and naked Vista is negligibly heavier than analog (and it mostly matters for micros, anyway)
I find this really hard to believe.

Say, you manage to recruit the top-30 engineers who know all the in-and-outs of the google search engine. Add to that, their recent replacement of trad AI methods with full NN I believe, and I can't realistically believe it's not more than a 1B problem.

One of the reasons Google is going horizontal because their search engine can't be "magical" forever, this applies to their ad platform too.
Pretty sure those would show up on night vision easily. Also, how much fuel would you need to keep that sort of action up in the air for an hour?
> Electric cars are on the cusp of replacing ICE vehicles. By mid-decade, electric cars will be the top-selling models.

We hear this since Tesla promissed EVs for the masses. I don't see pure EVs taking over anytime soon. Not until they reach parity of charging station with petrol station. And this will happen maybe, after the grid is improved. The issue is that electrical energy prices have started to rise and they will rise further when atomic and coal plants are decomisioned (fewer production) which will also slow the adoption of EVs.

> Given how far behind it is on electrification and their legacy cost structure, which includes massive pension liabilities and an outmoded dealership network, I have grave doubts about GM's ability to survive their next bankruptcy.

Well, some industries are strategical and I do not see the military industrial complex relying on vehicles from overseas.
> "Our vision is that we work as if we are one company."

Personal feeling after the whole salary fixing case and now this, Google should be forced to move it's head quarters and it's top management to some place like Waco Texas.
TLA+ in Practice and Theory
You have to correct for the shockwave that sits in front of the pitot static probe. Otherwise you get crazy results.
It is about the site itself. But I agree with you and added a short information about TikZ with a link to TikZ on GitHub.
Thought Hungary had Euros.
So they can sell you aluminum foil
Easier reading (and avoids the new auth-wall on Twitter) https://threadreaderapp.com/thread/1428438081871433731.html
If there aren’t ever any consequences to making huge mistakes that kill millions of people, what are the incentives in the future to not do it again?

The CCP knowingly hid information about infections. This whole thing could have been contained in China with the right information at the right time. If it was a lab accident that could be avoided in the future too with better protocols.

I’m baffled that after millions have died some people just think we should let this go. Would you let it go if the us government accidentally killed millions of people in a nuke test or a chemical spill or any other accident of the same magnitude?
How do you deal with Android apps taking so much RAM and reopening themselves?
I have an LG G4. It's not a fancy phone bit it has more than enough resources for a mobile phone IMO.

The problem I have is that many apps consume a lot of resources, to a degree that it gets absolutely ridiculous.

The Outlook app for example goes from 150mb to +300mb easy. The IVOOX app also gets in that range, sometimes even more. It happens with many of them, although the ones I use from F Droid tend to be way lower, so I'm guessing tracking and ADs BS play a role here.

So for this reason I must use the android task manager and force close many of this apps if I don't want the phone to hang. But many of them keep reopening themselves!

It drives me crazy, it's just ridiculous.

Is this the same on Iphone? Those of you who have android, how do you deal with this? Doesn't this problem make you angry? Do I need a high-end phone just for having two f** simple apps opened?
It seems to me like the author focuses on the Taliban's seizure of such data as a way of bringing absolutely everyone onto the page of "data can be misused", maybe aimed at the field that was cautiously optimistic about the transition to more data in the hands of the farmers.
> That's 2.5 times more than in Germany. Please also note that many products like gas, electricity, laptops, smartphones are cheaper in the US, despite much higher salaries.

From a quick search, electricity in Germany seems cheaper than in California.

And then there's vacations, work-life balance, health care, education.

Raw salary figures don't tell the story.

I'm paying close to $30K in health care costs, that's assuming nothing out of the ordinary. If something bad happens it can be in the millions, bankrupting entire life savings.

If I'm lucky I can squeeze in one week of vacation a year (that's what silicon valley "unlimited vacation" means). Meanwhile I have family in Austria taking 6-8 weeks of vacation every year.