skysight-inc/HackerNews huggingface dataset:
I mostly came here to post that I was surprised that this is legal in Switzerland.

A Ph.D. student is an employee, and even normal university students can in most countries not be so easily dismissed without some show of academic misconduct.

Organizations being legally allowed to dismiss without some compelling reason or court approval is a U.S.A. idiosyncrasy.
Top Unexpected Moments Caught on Camera
> I've been thinking about this a lot lately. Society doesn't get better because we elect the right politicians, it gets better because the people in it decide to be better (in themselves, towards each other, etc). Politicians are just a (grotesque, exaggerated, warped) reflection of the rest of us; they will never be our salvation.

I don't think that's quite right. IMHO, there's a feedback loop between those things and they're both important, especially on the negative side, but even on the positive side, too. So politicians won't be our salvation, but they will be part of it.
Mobile phones on aircraft
Specifically, their advertised business model is convincing people who cannot afford to buy things to buy more things than they would otherwise buy.

It's predatory by design.
Thanks mate, I will gladly join you in being downvoted and add that in the long term it would really help if us developers got more organized. We need collective action. I have a few thoughts on this, anyone who wishes to join forces in carrying this baby can get in touch at javierantonf@hotmail.com
If I ask the CDC whether I should wear a mask to the grocery store today, what would you consider a clear but politics-free response to that question?
Of course the CCP wouldn’t, only the West is capable of the self-own that is modern Victim Culture.
Admin of a 5000+ website platform (with customer inventory) here. This the exact kind of thing I've been working so hard to block lately.

Since Feb 2021 we've seen a substantial increase in scraping of our customers' inventory to the point we now have more bot traffic than human traffic. Annoyingly, only 5-10 requests come from a single IP so we've had to resort to always challenging requests that come from certain ASNs (typically those owned by datacenters).

This type of project frustrates me because it knowlingly goes against a site's desired bot action (via robots.txt).
Nor does Amazon's drive to stop it (without legislation that is)
I believe writing Malbolge programs became easier (in a very relative sense) once Lou Scheffer published his cryptanalysis (!) of the language (specifically, the instruction encryption scheme) in 2004. [1][2]

[1] https://esolangs.org/wiki/Malbolge_programming

[2] http://www.lscheffer.com/malbolge.shtml
> I am not opposed to adding strong type checking to JavaScript, but Typescript ain't it.

If you are curious about this, you might be interested in checking out Haxe [0]. It has static typing, type inference, pattern matching [1] (maybe not on par with ML languages, but still good), and can transpile to multiple targets [2] including JS.

[0]: https://haxe.org
[1]: https://haxe.org/manual/lf-pattern-matching.html
[2]: https://haxe.org/documentation/introduction/compiler-targets...
Vice figured out Larry Bri11iant now ?!?
Papers We Love: Zanzibar: Google's AuthZ System
The arguments for typed languages seems to often take a motte-and-bailey form: The easily-defendable “motte” form being similar to “You always need to know if the thing you got was a string or a complex object.” which, when agreed to, becomes the “bailey” form: “Now that we have agreed that types are always good, please declare for every single numeric variable what width of integer they should use, and if they are signed or not. It’s the only way. You don’t want to return to the ways of chaos, do you?”

I am not entirely convinced of the validity of the latter argument.
So basically it can install itself after clicking a link in a web browser.

I know it's very hard but could the browsers be improved so that something like this is virtually impossible?
> I meant by double to turn [1,2] into [2,4]

Hmm, I think you can do that too, but you'd have to assign each int value its own singleton type, which would be ridiculous and not gain you anything since you're just moving the logic up one level in the hierarchy of universes.

> what people mean when they talk about programming in types

If the type system is powerful enough then you can express any function at the type level. Some languages with universal polymorphism make no difference between types and terms. Any function can also be used at the type-level, kind-level and so on. Though usually just defining a simple wrapper type with smart constructor will get you 80% of the way in a business application with 2% of the effort of real type-level programming.
The End of Venture Capital as We Know It
Intel Ends a Two Decade Long Production of Itanium 64-Bit Processors
I think OP is referring to the beginning of the video where the person shopping says "I'm going to let you in on the world's biggest secret". The audio unmutes weirdly so you may not have heard it. The video for reference - https://www.tiktok.com/@zip_usa/video/6943316833743211782
> I would blame more the cold messed up soviet-era society for this

Please read The Prince, The Karamazov Brothers, Eugene Onegin, The Death of Ivan Ilyich, or Dead Souls before writing this kind of grotesque sweeping statements.
Thanks for your take on it, I really don't want to be the anti-tech curmudgeon so I'm sincerely happy to read a different perspective. Especially your last paragraph makes me feel better. Maybe it's because CNC technology has come a long way since 15 years ago, or more likely because the staircase company I worked for were just cheapskates willing to strip mine their company's reputation. I feel like I had to recalibrate the damn thing hourly. The vacuum that held the stringers in place was not strong enough, so they would break loose and end up jamming the routing bit constantly. Having PTSD thinking about it.
Wow. Artificially creating a limitation, specifically to get revenge against users that chose Sign In With Apple, is a really, really @ick move.

For those who don’t know, SIWA is fully supported for web logins, and it’s implementation is pretty easy.

As the author seems to be active here, let me add my voice to those who are saying I will never choose to use an app written by someone with this level of disdain for me.
One wonders if this is why the train wreck of a web redesign was pushed out despite being... awful, and buggy as all hell.
I've open sourced it.

Feel free to make a PR ;)

https://github.com/hauxir/tomatotree.tv
Uptime Lab's CM4 Blade Adds NVMe, TPM 2.0 to Raspberry Pi
> To make up for it in a dynamic language, you end up having to reimplement what a type checker would do for you with no guarantee you didn't miss something or make a mistake, with the added cost of e.g. polluting your projects with noisy defensive code that double checks the types of parameters, adding extra tests, and bolting on linting, analysis and IDE tools to help.

This is entirely dependent on the type of application that you're dealing with.

A web application backed by a database, especially CRUD style, acts as little more than a pass through layer. You're getting everything as a string from the browser, storing it in the database with a SQL string, usually transformed by an ORM layer. In that style of application, the types are maintained in the database itself.

Having a language with strong static typing in that middle layer between the browser and the database only serves to add a huge amount of headaches and extra friction, especially when you're not even using each variable that comes through on its way to the database.

The only thing you're doing in that situation is adding an extra set of type checks that you have to keep in sync between the database and the application layer for virtually no benefit.
Uh, yeah, one of those project veritas stunts:

> Using Google's own internal search engine, Zach discovered their six-part plan for complete information dominance and released 950 pages of these documents to the world in June 2019 with an appearance with James O'Keefe on Project Veritas, which quickly became one of their most popular stories.

Of course he's into QAnon and thinks that Covid-19 was planned: https://www.vice.com/en/article/k7qqyn/an-ex-google-employee...

What a great source.
Location: East Coast

Remote: Yes

Willing to relocate: Yes

Technologies: React.js, ASP.NET, Clojure, SQL

Résumé/CV: Available upon request

Email: Esciafardini@gmail.com

Github: https://github.com/esciafardini

Most of the projects I have worked on are not available publicly, but I have been posting scaled down versions to my GitHub.
The 2nd comment in the original Reddit post linked here on HN has a good translation:

https://old.reddit.com/r/europe/comments/oxmgg2/phd_student_...
This (in)famous occurrence always sticks in my mind when that subject comes up: https://www.google.com/search?q=HSBC+money+laundering
Please write a post about it. Sounds hilarious!
It depends, as many marketing schemes use these kinds of gimmicks to have a sale. They won't create some promotion if they are at a loss; everything they do will earn them a profit.
The key bit here is that good business sense is oftentimes more important than your degree or even profession. A successful plumber, carpenter, electrician, etc who builds a large enough business can make millions of dollars per year.

It is hard to do that, but it is possible.
Ha ha this is the Lisa Lionheart thing for real. Simpsons predicts the future again.
Logical decoding of two-phase commits in PostgreSQL 14
Show HN: JavaScript Bencode Parser in ~40 lines
Dan Luu wrote a blog investigating this exact comparison and also didn't have good enough data to draw a strong conclusion.

https://danluu.com/bimodal-compensation/
This. Note that PHK's comments have proven entirely correct, and redis had to implement at least a limited form of multithreading.

I would be very careful about Antirez's older advice on this topic area. At one point he was designing his own "VM" algorithm that would work at 256 byte granularity, an idea that was never viable.
How IHP uses Haskell's Type System to enforce good patterns
Unless you can either produce the correct 3D surface itself or fool the sensors somehow I don’t see how the inner implementation matters.

Or do you mean attacking the inner network somehow from inside the system?
if you like nc, lpr/lpd is a natural graduation.

if you like CUPS, lpr/lpd with ghostscript processing is a natural grauduation. CUPS is a horrid mess.
Why would someone shoot up a movie theater?

Humans do not always act in their rational self interest.
A Track Built for Speed Is Already Producing Records
Trans advocacy is a policy game at every level, not a numbers game. At the national level for example, the UN universal periodic review began recently including trans rights in its methodology. It is far more likely Mattel would respond to this kind of pressure from some kind of industry group than any expectation of high sales (although given a decade of this kind of influence organic sales will be a natural consequence, which is why advocacy efforts are so important to watch to understand the future of society)
I'll not argue some of the other points you mentioned but it is incorrect to say VP Harris said she would not take a vaccine developed under the previous administration - she said she would not take trump's word on it, but would trust the experts instead:

https://www.cnn.com/2020/09/05/politics/kamala-harris-not-tr...

Seems extremely reasonable to me - I wouldn't trust Kamala Harris' word alone on the efficacy of a vaccine either, I'd trust the science!
"Stolen" implies he stole it from someone in particular. Salvage laws are pretty complicated, I think some fuzziness is warranted.
Insulated concrete forms (ICFs) closely match what you described. They are hollow LEGOesque foam bricks that get filled with concrete.

Here is a great video (and a great channel generally) on the subject: https://youtu.be/MRipzKkeQik
> Wading into divisive, minority issues, seems foolish for a world leader unless the purpose is to sow division.

I'm not so sure. It kinda seems required sometimes if you're going to keep your coalition together. For instance, there are some people who are part of the Democratic Party base, who of all the issues out there, care the most about gender and bathrooms (I know some of them). Their stridency has inflected a good fraction of the rest of the party.
you can also use lpr/lpd to spool files, even over the network, to your local speakers
We need a free software license for distributed systems
Facebook reportedly researching ways to use encrypted WhatsApp messages for ads
Was Olympic Skateboarding as Unimpressive as It Seemed?
I remember garlic mussel with baked over glass noodles in Ningbo. Very very delicious.
This is typical company not wanting to be on the wrong side and pandering.

Only thing they care about is the bottom line.

Nevertheless, it would be good to see different types of Barbies if not only for the fact that if they get discontinued they'll make good collectibles.
Thank you so much for sharing. I quit after 1L because Covid hit and I really didn't think zoom law school was worth the $$. That and I fantasized about murdering my legal writing professor before and after every assignment...
But you hit the nail on the head with attorneys either being true believers or functional burnouts. I look back on all the attorneys that I've met before and during law school and I can only think of about two who were true believers. The dozen or so others just seemed miserable at the end of the day. Considering I was much too cynical to be a truly passionate attorney I knew immediately which one I'd end up.
Now I work in IT and I like it a lot. Similar values to law oddly enough - constant education, strategic problem solving, helping your client achieve certain goals, etc.
> where criminal organizations make places unsafe

This already happens we just use different, more familiar words for the phenomenon.
You can import CAD/CAM people on the cheap, but lawyers is pretty hard.
I’ve done it and it’s a chat message through the app or website with a person who asks maybe once if there’s a way to retain you. I thought that it was going to be horrible but it was pretty standard.
Agreed. I mentioned that it is 'imaginative and fun', but it is not the same style of "The Martian" which (in my opinion) had nearly perfect technical execution. I admit to having had some apprehension about a loved author's next effort (I'm looking at you, "Artemis" and "Armada"), but "Hail Mary" did not fulfill that dread for me. So... yay!
Of course, as long as you're not burning carbon.

I believe heat pollution would only become an issue once we start using several orders of magnitude more energy than we do now.
Thing is, "the CDC" is thousands of people, almost every one of whom is doing their job the best they can, with honestly earned pride in being a civil servant.

What we see as "the CDC" is largely the product of people at the NYT and other news outlets. The CDC site has far more information than any of us want to read, and when the NYT "summarizes" their words to say something different, the CDC still get the blame.

The leadership of the CDC is helping destroy the labor of all those good people too; Redfield (was it? the director) telling Congress last march that "they had everything they needed to control this disease" was one of the finest displays of burro-crat stupidity in the history of the nation.
fair points. wispernet was one of the first of that type. In many ways the pricing structure you are getting now is because of the efforts after that. What you are paying for 150mb we would have got maybe 10-20k in that era. Steve Jobs really did the IoT market a solid with the iPhone and its data plan.

It looks like pre-paid data cards which eventually 'run out'. Which should keep you from having any loss. Aside from incidental support and promotional costs.

It sounds like you are building a similar business that I used to work at. Good luck! It is a tough market with a long tail sales cycle. Some go 'quick' and are up and running in a couple of months. Some take a couple years to get really going.

If I have one piece of advice. Keep an eye on your 'connect/disconnect' metrics. You always get that one device that will decide to bounce the connection 80k times per day. Get a few dozen of those and it will swamp out your other devices.
Is medicine not science?

I assume your 'business woman' is Professor Gilbert; seems to be the only non-clinical name.
They had expert witnesses, but for the sake of discussion here’s an example of peer review: https://www.sciencedirect.com/science/article/abs/pii/S13835...
But not your Texan school textbook regulations…
Has anyone ever publicly talked about controls on user data access at Google? There’s several folks defending Google here, but employees’ goodwill above sont number of people who have access will almost necessarily fail at some point.
The point is how our institutions should behave in the presence of unknowns.

1) You can state your recommendations and present the supporting data, assumptions, and unknowns.

2) You can state your recommendations as unquestionable facts, ignore contradictory data, and admit no uncertainty.

Reasonable people can understand that recommendations will shift over time.
That said, to be a credible and respected source of information, you can't lie or overstate your case for maximum impact.
I spent much of the last year traveling in places like the pan handle of Florida. Most people I encountered did not believe COVID was any worse than the flu. They were not going to wear masks or socially distance, no matter what "Biden's CDC" said. Having talked to dozens and dozens of people, and watched how different communities behaved, it is definitely real.

While my friends in places like SF had to wait months to get a shot, I walked into a grocery store and got one without any waiting. The maskless women who gave it to me was surprised I was there because I was the only person under 70 she had seen come in.
I thought Antioch was part of Syria? Maybe it was just part of the region that was historically known as Syria?
Can you talk a bit about the tingling sensation from touching the aluminium case of a macbook pro, when using a non-earthed cable with the power supply? With the latest macbook pro M1s, apple no longer include an earthed cable in the box (with the exception of the three pronged adapter in the uk).
Stop Rushing the Career Ladder
If you're interested in a mouseless browser experience, another great option is qutebrowser: https://qutebrowser.org/
Don't mistake "it's legal" for "it can't be criticized".

"Their platform, their choice" tends to refer to the legal situation (especially when folks make wild claims about Facebook being subject to the First Amendment), not the moral one. Their choices can be bad, and we can be critical of them.
It may happen the same way with random Spanish speakers on the Chilean, Argentinian or the Murcian dialect if they are not exposed to them.
Why would I do that ? I already distrust you based on your own words...
Yes, but that's a strong contrast with the US, where he was invited to speak.
I find it upsetting that the CDC is actively exaggerating the risk to vaccinated people, and the risk that vaccinated people can forward propagate the disease. This columnist does an excellent job explaining these flaws in their recent messaging. Some of the alarmist coverage that's hit front pages in the past week could lead a layperson to think that the vaccines aren't very effective.
You can pass a LoggedInUser to a thing expecting a URL in a dynamic language if the LoggedInUser has the same methods as defined in the interface of an URL. It called ducktyping. In the same line of thought, you should even actively avoid checking if LoggedInUser is of the type URL because a different type sharing the same interface as URL should be equally accepted as URL. Two objects with the same interface should not be treated different unless very special circumstances.

If the code only expect the interface of an URL, the type of the object being sent in is irrelevant, and thus the programmer do not need to think about the type. Instead we are thinking about interfaces.

Programming in a dynamic language do allow a programmer to not think about types, but they do need to think about interfaces. Programming in a static language require the programmer to think about types, but they also need to think about interfaces. Having types does not eliminate the obligations to think about interfaces regardless of programming style.

If we want to use TypeScript as an example, a type is a data type of either Any Type, Built-In Type, and User-Defined Type. The Type System in TypeScript is responsible for checking the data type of any value taken before it can be provided as an input to the program.

Interface in TypeScript: An Interface in TypeScript is a syntactical obligation that all entities must follow. It can only contain the declaration of the members and is responsible for defining the properties, methods, and events. In a way, it is responsible for defining a standard structure that the derived classes will have to follow.

(above taken from https://www.geeksforgeeks.org/what-is-the-difference-between...)

Is a type, as defined above, required for all programming? No. Interfaces? Yes. Interfaces are also more similar to customer requirements in that they define behavior. Do the object has an absolute path method. Do it has an UUID property. Can it be used to call open on. Those questions are not type questions, and so I do not think about type when answering them.
The difference is that Cambridge Analytica was over a decade ago. Facebook now has policies that they enforce against this stuff. CA wouldn't be allowed today either.
That's like saying "I had back pain, so I bought a 10,000 dollar mattress and it's fine now!" Meanwhile, the actual solution was that the person needed a firmer mattress.

Knowing what the actual problem is rather than what product fixes it will save you time and money.
Even sticking to science and facts they undermine their authority.

New data or corrected mistakes change information and a significant portion of the public does not appear to handle that well.

See: the information on the effectiveness of cloth masks, the information on pathogen particle size and transmission distance, and terminology used.
For what it's worth I'd like to apologize to anyone who identifies as an Apple user and has been offended by my tone. I intended to add a bit of humor but I know that perspective can make things feel a lot different

Please replace every mention of "Apple user" with "Apple". It really is the only wrong party here
He was focused heavily in the economy in first term
Well, have you ever built something real? You sincerely believe that at runtime an API call will always be what you think it will be because you set the type in Typescript?

I don’t want to be that guy, but there’s no way you built anything real.

‘hey guys, I totally set the type of the api response to String, so it’s always going to return a string, right right?’.

Wait till all your compile time type checks don’t mean jack shit on prod when multiple endpoints just do something unexpected. Now you have a UI that didn’t gracefully handle any of it, and have fun extolling the virtues of type checking to the business — ‘but it says right here, it’s a String!’.

And what if it’s not? The problem with induction.
They couldn't make room for software engineer Barbie (dresses too frumpy), but instead they made room for pharma sales rep Barbie.