skysight-inc/HackerNews huggingface dataset:
>I know that it’s common to refer to type checking as “semantic analysis”, but the logician in me is not happy. There’s nothing inherently more “semantic” about types compared to grammars.

They can be semantic and in practice are used semantically, especially in nominal type systems. It depends on the programming language how much they enforce though, but even if you don't enforce anything names carry meaning, and to some extent meaning isn't even about what should be impossible but what you should expect (though some states should be impossible). For instance there's no restriction you can build in that would make 'DegreesFahrenheit' and 'DegreesCentigrade' any different, in fact you could argue that any place one of them can be used the other is also valid. The meaning however is very different.

>To change a type checker into a parser it would have to output a representation which makes invalid states impossible to represent.

Agreed.

That doesn't require you to do anything on the level of the grammar of the language though, parsing the text a programmer wrote and parsing an object to a certain type are two very different operations. It doesn't matter how a programmer produced the AST what matters is whether it makes sense (which is a semantic matter as the parser already forces the AST to be grammatically correct).
Bert Hubert: Goodbye DNS, Goodbye PowerDNS
I'm not entirely sure what a crosswalk is. I /guess/ it's a pedestrian crossing, but I wouldn't put money on it.
Being an African born & bred in Nigeria, who comments on Hacker News, the assumption may be correct—but they're hardly representative of the average Nigerian.
Fire hydrants are not at all common in European cityscape but you will learn about them from Hollywood movies or from music videos.

But in the part of Europe I am from, if I did not go to the daycare in a larger city, I would not have seen any crosswalks or traffic lights. I could have easily recognized a harvester or a railroad crossing though.
I’ve been pretty critical of PG’s essays recently but I thought this one hit the spot. Go into twitter right more and search for “great reset” for a perfect mirror of this paragraph for example:

> Without this fastidiousness about truth, you can't be truly independent-minded. It's not enough just to have resistance to being told what to think. Those kind of people reject conventional ideas only to replace them with the most random conspiracy theories. And since these conspiracy theories have often been manufactured to capture them, they end up being less independent-minded than ordinary people, because they're subject to a much more exacting master than mere convention.
We're not speaking of the same thing: you assume that by not living in fear I mean not taking any precautions.

What I mean is don't fret over your Neanderthal great great [...] grandpa that might transmitted you a bad gene for COVID.
It's a CTF, so a scalable product was not the goal here.
Paging Dr. Cantor. Dr. Georg Cantor. Paging...
My Long and Exhausting History of Dating Married Men
That is not normal.

That said, it’s not too bad. It’s long and the organization is bad but the policy is reasonableish.

There’s street cleaning one day a week (year round) 11am-1pm, and you can’t ever park then.

It’s a school zone as well; when school is in session you can park for 15 minutes in the afternoon to drop a kid off or for 1 hour to pick the kid up. When school is out you just need to avoid the street cleaning.
Show HN: Sending files over DNS PoC in Python
A quick and dirty minimalist example of how DNS could be abused to sneak data off of a compromised machine.
Agree on the pendulum analogy. Unions are effectively dead right now in 2020. A balance is needed, so you're seeing the shift back to protecting workers. But 40 years of anti-workers-rights propaganda is a tough line to break through

> What, besides achieving a union and negotiating power, would an amazon union want to be?

Well, part of the issue is Amazon's union-busting efforts prevent that conversation from even happening[1]. But they do have specific demands[2]:

"""Employees backing the union effort said in interviews Tuesday that the issues at the warehouse include safety concerns, inadequate pay, and 12-hour shifts with insufficient breaks and unreasonable hourly quotas, after which they lose more of their day waiting unpaid in long lines for security checks."""

[1] https://www.vice.com/en/article/5dm8bx/leaked-amazon-memo-de...

[2] https://www.bloomberg.com/news/articles/2018-12-12/employees...
Having worked for government, I wouldn't be surprised if it was done by graphic design student who got the job cause they knew someone and they don't even know what a vector is.
> In California they also sell "Californian Champagne", some legal quirk allows it.

It basically depends on the trade deal. Anywhere in the EU, "Champagne" has a very definite geographic meaning involving a region in France. Likewise "Feta" cheese, "Port" wine etc etc.

But elsewhere it depends on the nature of the deal with the EU.

E.g. Western Cape, South Africa makes good sparkling wine, but the EU flexed muscles in the trade deal, and now they don't call it "Champagne" or even "Champagne-style". 1) Though local "Port" and "Feta" got to keep those names.

I assume that the USA had a stronger hand and got a better deal in this regard.

A quirk of brexit is that the name "Scotch" Whisky may lose EU protection. 2) To Scotland's loss here.

1) https://www.bubbleclub.co.uk/blog/whats-methode-cap-classiqu...

2) https://www.forbes.com/sites/felipeschrieberg/2019/01/16/no-...

https://www.businessforscotland.com/scotch-whiskys-protected...
I mean, what would you prefer, that he didn't make it? If you want better applications, I'm sincerely looking forward to seeing what you make.
Very cool.

And it can be extended further by adding videos from exploring the website itself ;))
He gave a few examples of independent thought.
> Jolovan Wham is a civil rights activist who has made a name for himself in recent years drawing attention to the issue of freedom of speech - or rather, as he would argue, the lack of it - in Singapore

It is good for an activist to know the thought patterns of autocratic bureaucracy. Classic trolling and it should bring an effect because the topic of censorship is often neglected when people talk about Singapore.
Simplilearn’s SkillUp Platform Is Offering Free Data Science Courses
I wonder whether societally enforced monogamy might be important too in creating a WIERD culture.
They do specifically mention that in the original video, though...
You have more luck seeing how this works on systems that are not x86 / did not make it out of the 70/80/90s but that were popular then. The fact that this [0] runs on a 3.6mhz processor with 128kb memory shows what can be done when you chisel away at software that has to run on hardware that will not improve.

[0] http://www.symbos.de/
That's a good idea, a lock that can remotely lock but not unlock. I mean physically, it can turn the lock right but not left.
I think this is already happening. Hopefully local entrepreneurs in their own countries can continue to build for their countrymen before people like Zuckerberg and Bezos get their hands in the metaphorical pot, and suck all the wealth right back to the US like economic hitmen of the last century.
You could, youknow, just check the door when you leave/go to bed?
I have found it useful to ask "why do you think this true?" instead. When there's enough time of course.
Krita is a phenomenal piece of software. It's very bulky but ever since I switched from gimp, there's no looking back.
Which ties in nicely to Bill Gates' quote:

Measuring programming progress by lines of code is like measuring aircraft building progress by weight.
I'm not American, and I agree there is a lot of information there, but it seems reasonably sane if you read through it.

I don't see any obvious contradictions. You can't park 11-1 tuesday due to street cleaning. You can't stop there mon-fri 7:30-16:00 with the exception of 7:30-8 for school business (dropping the kids off). You can park mon-fri between 4 and 6, once per day, per district (to pick up your kids after school), district permits (people who live there, not sure what the 4 means) are exempt.
70% of India's cancer patients couldn't access care during lockdown, experts say
You must break large problems into smaller pieces and solve those individually. It's only when you master the details of the small steps that you begin to solve large problems.
Hydrogen starts to make sense when we have 200% overproduction of solar/wind energy.

Assuming energy is essentially free Methane synthesis would be a more viable option IMHO.
I think you have these two backwards. By definition a populist is promoting the rights and power of the people against privileged elite. It's no surprise the privileged elite consider populist an insult. And it's the moderates, the privileged elite, that have to instruct the proles about what's best for them.
Show HN: One-stop interactive content creation and collaboration
This is a really good point. I had a friend who was interested in psychedelics who told me about similar neutral to negative changes in perception. He observed a number of changes:

- Night vision changed and became impaired by 'visual noise'

- 'Auras' or 'halos' around lights became extremely exaggerated

- Letters were occasionally harder to read as switching to a new sentence would leave a burned-in impression of the previous sentence overlapping on the new text

I honestly find these changes fascinating but it would probably be quite frightening for people not expecting possible perceptual changes. If it was me and I didn't know any better I'd think I was 'stuck in a trip' or 'permanently broken.' I wonder if people have ever lost it from having thoughts like that before. Definitely not a toy.
I need this for anime songs.
Being able to divide people into independent-minded and conventionally-minded is itself conventional thinking. It's also sadly narrow. There is no one I know who is independently minded in all disciplines of life or, likewise, conventionally minded. In sports, there's no one as independently-minded as the top stars (read reviews by their coaches and teammates for a sense of this). But in other disciplines, especially religion, they're are amost the most conventionally minded: adopting all sorts of rituals to solicit the help of God during the game.

This extends beyond sports. Descartes, arguably the father of modern philosophy, was a devout Catholic, even refusing to publish a paper after Galileo's declaration got him in trouble with the Catholic Church. If the soubriquet "father of modern philosophy" doesn't imply independent thinking, I don't know what else would. And then there's his Meditations on First Philosophy where he's severely blinded by conventional-mindedness to "discover" God as the first principle.

I guess what I'm trying to say is that, someone writing about independent- and conventional-mindedness should at least take some pain to explain that in any individual you'll see both. That there are no independent-minded people nor conventional-minded people, but only in ways that we carry out our activities.
Ah yeah I was thinking about the article solution. If you need 12V at the device, I'd use a ~18-24V wall wart, laptop supply or similar with a DC-DC converter.

The LM7805 works fine for low currents, but being a linear regulator wastes a lot of power which gets turned into heat once the current goes above 100mA or so.
That's interesting. Wonder if it'd be feasible to come up with an equivalent of Yakult, but to give cows to nuke/kill-off unfriendly bacteria like Clostridium?
What if Google is the one that requires CAPTCHA? Bingit?
HN will shadowbann all swear words. Becarefull
> we had a long experience extricating other countries from such systems

Imperialistically rolling into some country that you want to exploit for financial gain is not something to boast about.
Putting a good $15 bottle on the table doesn't tell your friends "I really want to celebrate this. It's a special occasion to me". The $35 champagne that might inded be worse, does. Especially if you are the kind that often drinks the $15 ones!

And that's imho the selling point of (at least the lower end) champagne. I still do that occasionally. A $20 difference is a pretty small price for a "signal". It's not stupid just because the content is indistinguishable. I pay for the label - because the label is the effect! It's the product!

That's also why such producers need to be careful with others using their name. They are selling a name while everyone else is selling wine.
It's also worth mentioning the @ mentions in email are exchange-specific (afaik)
Yes, the American focus of the internet is absolutely appalling. Assumptions of timezones - PST, CST and the others whatever they are. Northern hemisphere assumptions of seasons - fall, etc - in the southern hemisphere the seasons are the opposite and we don't use the word fall.
Even Apple, known for its "sensitivity" to cultural matters has a big miss on this one.
Apple’s Missing Profits – The Usual Suspects
Another place where the independent- and conventional-minded are thrown together is in successful startups. The founders and early employees are almost always independent-minded; otherwise the startup wouldn't be successful. But conventional-minded people greatly outnumber independent-minded ones, so as the company grows, the original spirit of independent-mindedness is inevitably diluted. This causes all kinds of problems besides the obvious one that the company starts to suck

I can think of no better example of this than Hacker News.

Years ago, independent-minded people came together for the liveliest "out of the box" discussions on the internet.

Eventually those people started to get shouted down until sadly, many of them left.

I wish I knew what to do about that. I imagine people way smarter than me have been struggling with this for some time.
Yeah I used to work for a large retailer here in the UK when I was a student. That was far worse than any stories about amazon. My manager used to lock the toilets so we couldn’t go and forced us to break H&S regs by carrying shelves full of stuff rather than dismantle and move them piecemeal. If we didn’t do what he said he threatened to call the police and report us for the things he was actually stealing from stock. That job was 8pm to 8am overnight with no breaks and we usually had to do an hour of overtime. And this was for min wage and we had to fight to get the money out of them every week.

I quit after 6 weeks and reported him to their HQ who did nothing at all. Eventually his pride and joy Mitsubishi Legnum was mysteriously rolled onto its roof writing it off.
Explains why Amazon recruiters are constantly pinging me to join one of the “supply chain” teams. They likely will pay very well but I suspect I won’t be happy in the long run.
This sounds stupid, but some of this stuff seems useful to focus trainings.

One of my pet peeves is when someone takes a onedrive doc, downloads it, edits it, and sends the off cloud copy back by email. Office sucks at merging documents so this is more work for all the other “cloudies” or whatever you call people who know how to edit online.

I’ve found this is because some users just never used cloud document tools and don’t know how and there’s no easy culturural norm now that everyone is teleworking to teach them.

But this should be used to find zero or very low users and then thrown away. I think that trying to see the number or make a metric out of “number of opens” is so phenomenally dumb. It would be like comparing two git commit history grids and thinking one person is better than another.
Someone who is already an independent thinker doesn't need this advice though. However someone who is a dependent thinker who see Paul as an authority figure could maybe listen a bit and become a tiny bit more independent than he were before.
The solution to this problem is society-wide regulation, not a reversion back to corporate slavery. We worked hard for the worker protections we have, and we're at risk of losing them (see: "gig workers").
Ok, apart of the fact hackernews just made me fill in a captcha to register this one-time account (neverthelss, cudos HN, you are still better than the rest):

I do not understand Hcaptcha hype here. Since CloudFlare switched to Hcaptcha, as a VPN user, every time I run into a site that has CloudFlare / Hcaptcha, I can forget to pass that test. No matter how many times I try, CloudFlare still shows it all the time. It is so bad, so that now every time I see now Hcaptcha shown, I just close the site without even trying anymore. PrivacyPass :) - the biggest joke I seen on privacy - they that endorse it are either naive or have some other agenda.

These "free" zero-cost captchas for site owners are now in all places where a captca is not really needed. If CloudFlare, supper-dupper DOS solution relies on captchas, or if Google super-dupper search relies on captchas to get results, that demostrated how bad these companties really are at the main thing they do, and only want more data.

Even pirate stream sites ask now for captchas. It is so easy to integrate them, why not.

captchas, followed by 2-factor authentication with phone SMSs that we are forced to accept in all main life services slowly, combined with and laws to register phone SIM cards so they really know who we are, killed the web we know - people are being identified with hight quality.

We all rant about this here. It comes same in waves in HN all the time, but what can you do?

At least, if you own or manage a site or blog do not use: CloudFlare, Google, etc - no CDNs, no shared fonts.
No need for super fancy anycast. Simple DNS with round-robin retry is more than enough.

Oh, and CockroachDB.
LOL! The concept of "fail" clearly eludes you.

When it is discovered that Chinese interests have assumed functional control of bitcoin mining and are using it to perpetrate widespread fraud, all bitcoin trading and contracts will be frozen. Just one possible failure scenario.

It will be impossible to extract anything from the "marketplace" because it will evaporate back into the ether from which it sprang.

Your "faith" in bitcoin is based on an unfounded assumption --- that crypto "exchanges" are financially stable, reputable and trustworthy institutions similar to the regulated securities markets. They are none of the above in my judgement. They regularly engage in what would be considered illegal fraud in more reputable markets. And they are fully prepared to fold up shop and disappear in an instant if need be.
did you get the expanding store-blob coding problem? Those are fun atleast!
I keep seeing your blog so your doing something good on the marketing front!
There are in fact a lot of “how to make Coca Cola” videos. They should fall under fair use (educational) and do not really infringe on the trademark (unless you’re selling it).
https://www.youtube.com/watch?v=om7O0MFkmpw

"Really? 'erbs? You're french now?"
Question is: why HN is shadow banning people????
I understand capitalism, but I appreciate the effort. Someone reading might not understand the basics.

Jeff Bezos finds $1 billion every year to pour into Blue Origin. He said in an interview that he couldn't think of anything to do with his money other than rockets. I assume this is from his scheduled stock sales, but it's liquid nonetheless and Amazon's stock price survives.

1 billion a year split over his ~650k employees is about $1500 a year. This would be a life-changing amount for a lot of those employees. I made big changes on less and set the stage for even more. Amazon has so captured the market that most of it would come back to him anyway, but it ensures some of it flows through the bottom. And it would get people off his ass about it. Win-win.
Why anyone would ever go through the effort of wanting to make KFC style chicken at home really eludes me.

To each his own, I suppose.
It's not a great example, but I do understand this, so I can share perspective. As a manager, you are hired to be an extension of your boss. Your boss may have 5 managers reporting to him, reach of which has 5 reports of their own. Your boss is tremendously busy and no longer has the time to understand all the details of all the work under their purview. If your report goes to your boss and starts presenting a problem, the report may have very little idea of how their problem fits into the other 25 problems that ICs may bring up, and yet is making a decision that this should be their boss' boss' (director) priority. If this happens continually, the direct manager is not doing their job, and the director will make sure they hear about it.

More shortly, sometimes what you think is bad news as an IC is something your manager can solve without getting their boss involved. Especially with more junior reports, they may have trouble distinguishing the difference.
What about "Disney Style Character Design"[1] or "Making a Dior-inspired dress"[2].

[1]: https://www.youtube.com/watch?v=VRYEeB0mIUk
[2]: https://www.youtube.com/watch?v=K5VliJBATTA
Here is not America, to clarify. I was under the impression that Americans did consider pickups, larger SUVs etc, "trucks"
whats the point asking for permission to give feedback? there is no denial for that request without looking looney.
OSs and apps would get more efficient as they are forced to live within the constraints of the hardware. With hardware outpacing software it has only lead to bloat filling in the gaps where performance isn’t an issue as it’s ‘fast’ enough. If you enforce constraints in space and time then we’d return to knowledge of the hardware being primary consideration. Things like Java and python would need to get efficient or eventually die.
#8 of: https://www.joelonsoftware.com/2000/08/09/the-joel-test-12-s...
U.K. firefighters connect to something similar, but they are unpainted metal panels on the ground, and while there are ways to distinguish them from the other ground-level utility access covers (and nearby signs) nobody bothered to teach them to me either in school or during driving lessons.
Even so, it's easy to make a mistake with that much information so poorly organized. There are better alternatives out there, like this:

https://www.lamag.com/driver/hidden-costs-parking-signs-easy...
Japanese companies have these. Every worker standing in line in the morning while the boss hoists the company flag and then everybody sings the company song did not go well in their European and North American offices.
I'm pretty sure it would scale for Google in terms of net profits ;)
Modern direct fuel injection systems today can compress fuel at almost 30,000psi (https://en.wikipedia.org/wiki/Common_rail), so 10,000psi is nothing. Hydrogen is much safer than batteries, this is a fact.
Hemingway on Coding
My theory is that consumers already have wifi networks and know how to enter a wifi password (or push a wps button). They don’t need to buy some new base station and then worry about if it speaks the right protocol as all their other devices. Historically there wasn’t a ubiquitous, push button, cross-vendor wireless protocol that fit the bill. I’m really hoping that everything actually moves to local comms over zigbee.
> A common fix for this issue is to use two sets of coordinates: you can for instance represent your world as a grid with fixed-size cells, then you translate all your models into the local cell before computing anything, this way you always have good enough precision since you effectively limit the amplitude of your floats.

Isn't this in practise creating a double-precision float by adding a second "significant figure" in a "base float" system?
Even worse is the continued lack of UTF-8 use yet offering services outside of the US. In fact even Apple had non ASCII character issues on their dev website not so long ago.
"Do not argue with an idiot. He will drag you down to his level and beat you with experience" --Mark Twain (b. 1835) https://en.wikipedia.org/wiki/Dunning_Kruger