skysight-inc/HackerNews huggingface dataset:
This. I work on a website where a new ui was rolled out every 2 years? Why? We (the developers) finally figured out it was because it gave the business people work to do that was more interesting than what they were really supposed to be doing. They got to go to all these catered meetings with 3rd party design consultants. They got to report to their higher ups that they were doing all this very important work. And every 2 years they could roll out the new ui to great fanfare while patting each other on the backs. It had absolutely nothing to do with improving the experience for our customers.

The worst part was, often functionality that was well loved was scraped because there wasn’t time to work it into this redesign. It turned out they would do that on purpose so people would complain so they could go to their higher ups with complaints in hand to justify budget money for a new round of ui design work. Rinse repeat.
Venmo will cancel your account at the drop of a hat, faster than parent company PayPal. I wouldn’t recommend anyone trust that system for anything.

Both my SO and I were canceled because we separately accepted payments from people out of state.

The terms for Venmo are amazingly limited. Find a better option.
There are 2011 MacBook Pro laptops that run as fast or faster than the most recent gen of Intel MBPs.
So rather than putting students that learn slowly into classes that move slowly, you keep them in normal classes where they drag along lost behind everyone else, and possibly drag the rest of the class down with them. I don't see how that is better for anyone involved, unless you think the credential is all that matters.
And how does google satisfy a countries laws if they associate a customer with the wrong country?
Nothing is going to work while everything is paced by year. In 7th grade, in the fall you are taught X, so if you miss it the only solution is to take it next time: next fall with the next year’s 7th graders.

In an ideal infinitely funded world, if you took 20% longer to learn X, you’d just go slower, not be left behind.
I like this breakage because it makes me unhappy with the website and less likely to use it -- the immune system is working as it should.
There's a long standing philosophy that pretty much any and all ideas in the founder's heads are viable as founding principles. Otherwise what good is mining their journals and letters and their acquaintances journals and letters in a continuous attempt to understand what they thought was critical for a society to function.

This largely ignores the rest of society and what they were thinking. From the first perspective, these are all ideas that got smuggled in.
It is but the TN occupations for those without a degree are very limited. Do you have any tertiary education and what do you do for the company? You also might qualify for an L-1 intracompany transferee visa once you have been employed by the Mexican company for one year.
Why do we have grades at all? Every year you progress to the next year. At the end of high school everyone takes a SAT test and they go to colleges.

If you school kept telling you you were doing okay when you weren't you will do poorly on the sat test or poorly in your first year and be forced to dropout.

I think these policies push the unpleasantness to the future where it is too late to fix it.
> But Wayne’s troubles began when he when he agreed to help his son, Kyle, a North Carolina attorney, with a case about a piping system that allegedly flooded a few local homes.

Is anyone more disturbed by the fact that a family member can serve as an impartial expert witness?
This. I don’t understand why people give these companies credit for being able to solve problems when they straight up ignored industry experience.

It’s like.. hey guys, the rest of the world has been designing satellite dishes for 40 years that addressed these problems including very low cost stuff from the satellite TV era. Why didn’t SpaceX learn from the rest of the industry instead of having to rediscover it?
After moving the icon around to my fav place, xbar didn't retain the position on menu bar after restart.
uMatrix by uBlock Origin too.
The bouncing DVD corner logo explained
Can I go from OPT to EB-2/EB-3 as a Software Engineer? How plausible is this? What kind of work do I need to be doing?
2 weeks or under 2 hours of usage is not "incredibly liberal", except perhaps by US standards.
I'm repulsed by durian. It smells like a dumpster on a hot day to me. But apparently people really do like it, versus just eating it as some sort of social signal. Maybe it's like the cilantro thing where some people are genetically prone to think it tastes like soap?
Hey Peter!
I’m considering a move to the US with my current employer in the near/far future. What’s the best way to do so if I want to keep the option of getting permanent residency open? I’m Australian so I’m qualified for an E-3 visa, but as I understand it, it’s only for non immigration intent so applying for any sort of permanent residency would be grounds for it to be revoked. (for context, company is a 1000+ head count multinational and I’m currently working in a satellite office)

On a semi related note - what’s the actual definition of “equivalent to a 4 years US bachelors degree”? I have a 3 year B.Sc from an accredited Australian uni. Would that count against me in any way?

Thanks for opening this thread!
Grew up in Texas and this is so real. I need white noise to sleep and my go-to is a ceiling fan.

Even in the winter, it’s not uncommon for me to have the fan on high while it’s 65-68 inside. I compensate with an extra blanket.
Raycast does look interesting.
They don't necessarily know what is marketing and what they are buying, and the few truly top schools are selective. Private school teachers are also paid less & have worse benefits. It would be great if the private system had it all figured out but they don't.
There's a lot of pejorative terms used to describe the lab theory in this, ridicule might be a better term.

There's precious few facts that I could see, which is odd for a piece trying to dispute something.

I'm not taking a position either way on the lab theory, but the prose in this article, if anything, is liable to make me more sympathetic to the lab theory being true, which is unlikely to be the author's intention.
Hi Peter,

Thanks for doing this.

As far as I know, the IEP structure has no clear path to permanent residency like some of the other options. Is that your understanding as well or am I missing something here?
Code is data. Data is code.
Zizek is a performer. There's not a lot of substance in his many (is he at 100 yet?) books. It's blather and bad jokes interspersed with paeans to violence. It's ironic that someone who rails against capitalism publishes at such a frenetic rate while covering the same ground. I'd call it intellectual consumerism.

The article is also weak. They Live works because it's so stripped down, almost a fable. But as a serious look at modernity, there's not much there. The idea that "the rich are aliens" is creepy. It mainly serves to make their murder morally permissible.
You definitely can pursue both options at the same time and while here on the visa waiver but unfortunately there's no sense yet of the processing time for IEPP applications.
Partnership for online financial literacy in South Africa
it's bit more complex than that (I've suffered regarding this)

The Automatic Overseas Test

You would normally be considered a non-UK resident if you meet any one of the following elements of the Automatic Overseas Test:

You were considered as a UK resident in one or more of the previous three tax years, but you spend fewer than 16 days in the UK in the current tax year
You spend fewer than 46 days in the UK in the tax year AND you were non-UK resident in the preceding three tax years
You work full time outside the UK and spend fewer than 91 days in the UK and you work fewer than 31 days in the UK for three hours or less in any given day.
I wish they were dead; I spent an hour looking for one that was brought back in…
Don’t get me started! Every time I travel somewhere, Google and a bunch of other web sites just decide on their own to send me web content in the local language. Why?? Just respect the user agent’s Accept-Language header. That’s the whole purpose of it!
Wealth distribution is already a big problem that needs to be solved regardless of life extension. Personally I hope tech will one day let us reach a post scarcity society.

I hope along with extending life we would also learn how to restore neuroplasticity to help reduce old people that are to set in their ways. Then maybe there would be less of a difference between young and old.
But the meta-narrative of "They Live", about the fear of being controlled by some massive conspiracy only you and a select group of “awakened” radicals can see, is a different matter. That is the story of how many of us now see reality. While the text of "They Live" isn’t all that scary, the subtext is among the most terrifying aspects of life in the modern world.

So, it's important not to fear the actual deficiencies in democracy and self-rule that majorities of people in many nations recognize, but it's totally rational to fear the fear of those actual problems. "Meta-narrative", indeed.
From reading the documentation, it appears that their open source tools start with Verilog RTL files that have been simulated with Synopsys VCS, Mentor Graphics Questa, or Cadence Incisive Enterprise Simulator.

That said, one could probably use the free (but not open source) Vivado HL WebPACK to create and test the RTL design and then follow along with the Skywater tools. But that way, the way towards the FPGA would still be closed source and only the path from FPGA on to ASIC would be open.

Further down the rabbit hole, I read about https://github.com/icebreaker-fpga/icebreaker which appears to be a tiny Teensy-compatible open source FPGA board with accompanying open source tools. Yay!

Thank you very much for bringing all of this to my attention :)
Yes and no. If you want to port large low-level proof objects in all their gory detail, then this has been done already. But if you want to port the more concise higher-level proof scripts you run in all the same issues as with regular transpilers.

Compare it to porting machine code for one instruction set to another instruction set. This is usually doable in a straightforward manner (maybe with a mild performance penalty). But transpiling idiomatic Java to idiomatic Haskell is nigh impossible.

Luckily, the differences between Lean 3 and Lean 4 are not as large as between Java and Haskell. But still, they have different idioms, different syntax, different features. And this has to be taken care of.
This will depend on whether you have any professional work experience and whether your degree is a bachelor's degree or higher.
Even ProtonMail needs to operate under Malaysian law for Malaysian residents.

Being "private" doesn't magically make GDPR affect non-EU residents.
It's 1 minute.
The % part is probably rising because of the increase in credit card rewards. 2% cash back on everything, 4-5% on travel and restaurants and groceries… all paid for by increasing interchange fees.

The Visa Signature, Visa Infinite, and MasterCard World Elite cards have approached Amex in fees. Fixed-rate processors like PayPal and Stripe are getting squeezed here.
> Does the universe exist?

This is hardly possible to rationally give a logically true answer to this question. I would say it does because despite being unable to tell their nature reliably, despite the fact all we perceive is just a representation of what is, we can observe the fact phenomena (any) take place and if something happens it has to happen to something. Even an illusion, a hallucination, has some physical existence (e.g. in form of a pattern of chemicals and electrical currents in the neurons). Nothing unreal exists © (except the Unreal Tournament).
Yes, it’s basically NeXT and is 100% a Jobs thing. The parent is correct that it’s had major ux issues since day 1 though. Interestingly they also mixed in terrible OS 9 ux (cough Finder, cough .DS_STORE).
> ... but the males are willing to be chew toys.

The perfectly describes a non-trivial amount of fatherhood for me — I’m a combination of a mobile jungle gym and a chew toy :D
> Yes? I mean, the US civil rights movement originated how many generations ago?

This statement is a non-sequitur to the current discussion.

> It's simply not possible to come up with any remotely rational argument about these deep social problems plaguing the US that involves any type of denialism.

This statement is a non-sequitur both to the current discussion and to your previous sentence.
This is an argument I've heard previously but in the context of jealousy. The idea then is that men are on average more "sexually" jealous (don't want their heterosexual partner to have physical intimacy with other men) whereas women would on average be more "socially" jealous (don't want their heterosexual partner to have emotional intimacy with other women.)

In case it needs to be explicit: the men in the story are worried that their women may become with another man's child, whereas the women are worried that the man will not remain loyal and help raise their child.
For the same reason that you can't just make changes to a codebase without understanding its structure. Rewriting the Constitution also means throwing away 200 years of Supreme Court decisions.

It's easy to envision invaliding precedents that rely on things that have changed, but the process of creating those precedents takes so long nobody really knows what the new law means until it's tested. Furthermore, the arguments to invalidate them are also going to be in the form of more legal arguments, so you're adding another whole dimension to the problem. Given how opaque the law is to the average person right now, I'd say we're already at the limit.

FWIW I'm biased against common law too, because it seems to take what is actually policy and brand it as if it were universal truth.
Location has has become a huge thorn in Google's side in a number of areas:

- Geographical location of data (Data regions) for Google Workspace

- Culpable deniability about a user's location when anonymously accessing Google Maps

- Compliance with local laws where the user is physically located when accessing a service

- Region locked applications

- Financial/banking restrictions

I'm sure there are more. Google is justifiably concerned about compliance and liability. That's the incentive for these changes, not improving the user experience.
There is an effort underway to recall members of the SFBOE:

https://www.recallsfschoolboard.org/

There is a father who has been out every weekend collection collecting petitions. On one occasion, someone tried to thwart the attempt by stealing some of the petitions.

Even though there is clear video evidence and the public has identified the man, the police haven't arrested him, and SF politicians have not even mentioned the act. (Folks informed his employer, and he was fired.)

I find this situation baffling.
Mmmm. I try not to ascribe malice or altruism to maintainers of software. All too often "works in my test lab" is the key motivator there.
“Better”? Features like? There is this narrative that bitcoin is old and not innovating.

It’s like TCP/IP. It is, just as tcp/ip innovates in a careful way.

If you think any chain doesn’t need a layer 2 overlay, which ultimately is the only way to scale tx’s. Anything else is kicking the can down the road.
> inevitable merging of iOS/macOS aesthetics

Also known as: "The day I dump macOS for Windows." I feel it coming. One thing that's kept me from getting an M1 Mac is that I'd have to run Big Sur. Given that Apple is continuing in this dumb direction my 2015 MacBook Pro running Mojave might, indeed, be the last Mac I ever own.

It's too bad too. With the M1 macs they had finally fixed the keyboards.
> Intravenous bleach suggested by someone we trusted

What are you even talking about?

Edit: To clarify, I don't think 100% fatal medical advice is a good analogy for good-faith testimony relating to a "piping system that allegedly flooded a few local homes."

Maybe something more like "Hey I'm not a licensed doctor, but in my experience double-fisting twinkies leads to weight gain."
> Hair in other places is considered equally distasteful...

...by some. Clearly others disagree.

Personally, I like hairy men and women. It's a clear sign that I won't have to deal with some priggish prude who is more concerned with looks than personality.
> Yeah, that is the usual answer when benchmarks prove how much urban myth reference counting performance is actually like.

CPU/wall time benchmarks are not that relevant to system performance (seriously!) because second-order effects matter more. But if you had peak memory and page demand graphs that would matter.

For a network driver I don't know if it'd really look any different though. That's mostly arena allocations.

> https://twitter.com/ErrataRob/status/1331735383193903104

The fast atomics and JavaScript instructions do exist but aren't "special", they're just part of the ARM ISA.
To all the founders (and others who might become founders) hoping to move to the US — please don’t let the Trump administration’s rhetoric on immigration dissuade you from relocating. We need your talent. Your companies help spur economic growth.
In the balance, from talking to teachers a lot of students are really struggling this year with COVID lockdowns, and so I wonder to what extent this is to dampen that. I suspect most will be a little bit behind next year, and it feels like we will have to lean into that.
No, GDPR explicitly speaks about EU residents and not citizens. Which means that OP is not covered, but an American living in France is.
Not if the slot machine had an insurance company payout for them
Linus Torvalds on memory ordering in C
Without my knowing all the details, it is highly likely that you would qualify for an E-3 visa easily and as an E-3 visa holder you could pursue green card status (despite what you might have read or heard to the contrary).
For someone not familiar with the history of England, here is an interesting link : https://en.m.wikipedia.org/wiki/Workhouse
Both are german citizens and both are not in the country to which they are now to be assigned.
The latter wasn't even in Thailand at all.
So I guess they just don't want that Google makes some bullshit associations for them which undermie the GDPR.
It would be nice if there was a DOS implementation of the VM
Added a 1-click installer to check HN karma points.
It's not just "a" 32-bit extender.

If you played video games on DOS in the 1990s and saw the output starting with "DOS/4GW" before the game took over the graphics hardware, the game developers had been using Watcom (before it became OpenWatcom).
> it's not so bad.

> You have to drink wine when eating this, like stroooong red wine.

You know, I don't generally associate "you'd have to be dead drunk to eat this" with "it's not so bad".
No, it’s not. Ignoring perfectly predictable issues because you can’t even learn from recent history (millions of sat tv dishes in the nineties) or from industry (literally millions of cellular antennas) is not “smart.”

Also your example is a poor one. Engineering a systems solution for 0F is far easier than engineering for outdoors in the sun. Heat removal is a primary consideration and a 0F environment makes that far easier. In 0F your issue isn’t the cold, it’s the lack of humidity - again, something everyone who has more than two years in HW knows.
Apple has always been like that with the exception of the Apple IIe.

Lately things have been taking even more of a nose dive though. Have you ever used Apple Music? There is no excuse for that product to be as bad as it is. It’s probably the worst mainstream consumer app in the market.
First, find several dozen billion dollars.

More seriously, find a low-performance niche application and make chips on old technology for it. Differentiate yourself on the basis of being easy for your customers to work with, a natural advantage for US-based companies. Then you only need several dozen million dollars.
Programming Puzzles – Python Dataset
Iran is completely different country underneath that conservative facade.

Iran's census says, 99.5% of population is Muslim. In GAMAAN study (same groups as in the article) only 40% identified as Muslim. 22.2% said None, 8.8% said Atheist, 7.7% Zoroastrian, 7.1% spiritual, 5.8. Agnostic, 2.7% humanist. 78%, believe in God, but only 37% believe in life after death and only 30% believe in heaven and hell. 15% believe that wearing Hijab should be mandatory in public. https://theconversation.com/irans-secular-shift-new-survey-r...

The only way the government can control big cities (where most Iranians live) is to bring conservatives from the countryside to beat people in the streets during the unrest.

If the Iranian government refuses to modernize the tension just builds up, until something breaks.
Hey Peter, thank you for your time. I was wondering if you could comment on when we'll see some type of vote on the US Citizenship Act of 2021. Not looking for anything overly specific, but more along the lines of: before 2022, sometime in 2022, or never.

Additionally, your thoughts on the likelihood of TITLE III — REFORM OF THE IMMIGRANT VISA SYSTEM passing would be greatly appreciated. I am finishing up my PhD in STEM and that piece of legislation would make the immigration process for us infinitely easier.
I need to sign off now. I will be back in about an hour. Great questions and comments by the way. Thank you!
Please name a “cutting edge” feature that exists in a coin today.
> how many of us agree what makes a good family?

I think there are things we can broadly agree on. For example, reducing the number of single-parent families or general delinquency. Once we solve those types of issues, we can get into the relative minutae of things like screen time, etc.
> "The problem with #Crypto, as in most things, is the leverage," he tweeted. "If you don't know how much leverage is in crypto, you don't know anything about crypto."

Wasn't a lot this knocked out when Bitcoin crashed to $30k? How much still remains?
I’m willing to put money on it at least doubling to 32GB. The rumor of HBM on the soc is insane but would be cool too
wow, what's going on here? Is google now a sensitive subject?
In theory yes, but there are two main things that makes it harder :

- some technical details have changed. They don't affect the axiomatic aspects of Lean, but they force us to redefine some things in a cleaner way.

- we don't only want to port the theorem. We want to port them to a human-readable proof that can be easily maintained
Prelockd
https://satwcomic.com/icelandic-cookbook
Nirvana.work - Automated Project Management
Ah, obnoxious geo-IP-based defaults, rather than respecting the browser's "Accept-Language" HTTP header.

I remember Google forums there were angry servicemen that got Google in Arabic when they flew to Kuwait...
OP got it wrong: you didn't buy Metro Exodus Enhanced Edition, you bought Metro Exodus and that game came with the Enhanced Edition. It's the same thing for Call of Duty games that have separate singleplayer/multiplayer elements.

They have different APPID which is why it's messy but in no way is that malicious (not that you implied it). I'd consider it as a minor annoyance caused by how the publisher handled it and which could be fixed but it doesn't harm anything.
Made an account just to share this incredible book that follows Erdos's life & exploits:

https://en.wikipedia.org/wiki/The_Man_Who_Loved_Only_Numbers
What about Dan Schroeder? He wasn't even in Thailand at all.
Will also need a lot of unit tests that would normally be unnecessary.
People Got Stuck in Strange Places and Ask for Help