skysight-inc/HackerNews huggingface dataset:
Glad you liked it.

I mentioned in another comment, I am really emphasizing modeling the problem mathematically, not really using formal programming methods like lambda calculus. Sounds like you got my idea!
To be honest not all places if "western civilization" encourage the consumption of:

- massive consumption of empty calories in the form of soft drinks

- huge portion sizes (as in, > 100% of recommended calories in a single meal)

- "substitution" of non-processed foods by massively processed ones (either by cost, access, massive spread of fast food chains or just general culture)
It may be the start, but it's facetious to suggest that it is all that is sufficient to form friendships and community.
And I feel that might well be an improvement for all involved.
Does Stack go the way of Yahoo answers at some point? The former has served me on countless assignments/reports, hope it remains useful.
Technical Acronyms Identification Quiz
Allergic allergic, or you just find plants unpleasant?
The apples and oranges will be pretty pricey for a poor person. Should probably only do that when you're splurging.

Also, if you're in a place where the rest of the list is too expensive, priority should be placed on the rice and beans. Potatoes and carrots aren't strictly speaking "necessary" when you're in crisis like that. Try to get a fishing rod and use your local lakes and rivers. Varying degrees of healthy there, but fishing can usually be done for free on off hours.
software development is not the only place this happens.
there is a concerto of sorts that develops subjectively as attunement or attenuation occurs and workflow then maximizes efficiency.
This occurs with high pace physical occupations, as there is a "zen like state' that allows everyone to move fast without breaking things, themselves, or coworkers.
when somthing unexpected comes up, it has potentially fatal consequences, even disruption of development headspace can have fatal consequences depending on what the project entails.
There seems to be an error when, after signing up, I hit the profile button at the top.

>Cannot GET /profile

>Content Security Policy: The page's settings blocked the loading of a resource at inline ("default-src").

Also, just wondering, is there any sort of search or browsing ability? Or is it solely limited to "Recent Passages"?

Edit: It would be wonderful to be able to browse by book perhaps, or genre. Maybe a tagging feature could help with the sorting? I'm just spitballing here - I think you need something to make you stand out from sites like Goodreads.
How we 3D print a whole prescription into a single daily pill
I use stgit for this kind of thing.
The thing is that we don't know how related the other areas of education are with skepticism; if I would have to guess I would say reading and science are the most related but that's just a guess, the best path forward would be to actually measure skepticism, stuff like how good are people at spotting fake news from the real ones and such.
Show HN: Phishar – Security Expert in Your Pocket
No scurvy yet. Seems like I get bad headache from the plant fats if I ingest them.
Sometimes my belly hurts(beef is too sturdy sometimes) or I'm nauseous from too much fat. Or clogged up from enjoying too much cheese.

On the other hand, I have all my teeth(xept for wisdom teeth which got pulled when I was 12 or so) and my gums are healthier and my teeth are stronger than ever before.
I think the most important thing about space law is making sure the next Napster thrives and blooms across space, instead of watching as the next Lars Ulrich shows up like an obnoxious insect, just to vomit upon and contaminate all the amazing food with fecal laced saliva and digestive juices, ruining human progress before it even leaves the womb.

Lars Ulrich's attitude is the fetal alcohol syndrome of a space faring civilization. Don't be Lars Ulrich.
Any TL;DR, or at least why you found it particularly interesting?
My first language (not counting Basic or Fortran on punched cards) was APL, and my current language is Haskell. I'm a PhD mathematician. Luckily, I was trained far enough down the street from MIT to escape their Lisp world view, so we coded our computer algebra system in C, and it was fast enough to succeed and bring us tenure. Today, we'd choose Haskell.

Thinking in Haskell is the same feeling as thinking about math research. I know mathematicians who can only code in Haskell.

The trouble with discussing languages online is it's harder to assess if each party has actually used each language. The dogma in such discussions is completely "welcome to my world" familiar to me as a mathematician. We all have different opinions, and we're all sure we're right.
This is why I usually pitch formal specification as "you build your program faster and spend less time debugging it later." Framing it as a cost-saving measure over a "well ya GOTTA be correct" measure.
There's one key omission in that list -- time, effort, liability, and prison.
> we would need to: Determine how to measure real-world productivity [1]

I submit to you that we would be having the same arguments no matter what study was done, because it could always be argued that whatever small-scale thing would be measured, and whatever metric was used, doesn't reflect the full complexity of reality.

We all know that some programmers are better than others. But actually quantifying that would not be in anyone's interests. For programmers, it would mean hard metrics to rate our performance, and people would be paid differently based on these metrics. "Bad" programmers, as defined by this hypothetical metric, would lose money and career opportunities. "Good" programmers would earn the wrath and envy of their colleagues. From a manager's perspective, hard metrics would encourage gaming the system and would generally not encourage team play.

So it is better off where it is. People who write code slowly can argue that they are really more productive because they take time for testing and collaboration and making documentation and making things legible, and that people who write code quickly are making unmaintainable messes. And people who write quickly have a prima facie case.
It's like that in every industry, every sphere of human activity, really. I'm not sure where this weird obsession with "10x" came from and how programming is different in terms of talent and productivity from any other industry.
I'll take this one. At the point where the loss would create a cash crunch that would materially affect any of the company's employees (e.g. layoffs, company goes out of business, etc.)

If the company is Amazon-sized you are taking profits away from Amazon shareholders due to a mistake in the algorithms that drive Amazon's profits, which is nothing if not fair.
At the time of that writing, it wasn’t clear if the craft caught fire or a cloud of gas outside the craft caught fire. So saying the craft burst in to flames is a little misleading.

And the SpaceX subreddit is a super high quality heavily moderated sub that is regarded as one of the best places to get SpaceX info. As I said, there was lots of information in that thread that was missing from the article. So yes, for SpaceX info reddit very much is the answer. Why wouldn’t it be?
I've run similar git stats scripts (I think it was a Debian package actually) on my own projects, and for me at least, they were pretty reflective of my own working habits, with a time lag of an hour or two in the mornings.
Yeah, but rust also created it's own kind of dependency hell.

Need random numbers? Then you need this create. Is it first party or written by some random dude? Hard to tell.
Without HSTS how do you think your scenario plays out differently? Your expired cert still isn't good, and I assure you Firefox isn't going to say "Oh, there's an insecure HTTP site we could try, would you like me to send the HTTP POST there instead?". So I think this only works out "fine" in the scenario where lack of HSTS means you just never use any security at all. Which is a fairly different proposition.

Since the expired cert can't be distinguished from an attack my guess is that the text contents aren't lost when that transaction fails due to the expired cert (as then bad guys could throw your data away which isn't what we want) so I think you could just have paused work, got yourself a new valid certificate, and then carried on.

Now, of course, it may be that your web app breaks if you do that, the prior session you were typing into becomes invalid when you restart, and new certificates can't be installed without restarting, that sort of thing, but that would be specific to your setup.
> Mathematics and programming are not really all that related to each other

I may be wrong but I believe the Curry-Howard correspondence disproves your claim. One can translate between the two and find that they are equivalent.

The difficulty is that some programming languages are hard to model mathematically due to the way they were designed and implemented. Some, like Idris or Agda, make it easy to see the correspondences. Others like C or Javascript are harder.

The key to solving hard problems is being able to think concretely in abstractions. The best language we have for abstraction is pure mathematics.
> providing a company with their name and their phone's lock screen combination

In consumer devices the face data is stored only on-device, so any privacy concerns are defended by "it's not sending your face to the cloud" and/or "don't use it if you don't trust it"
Bananas are a lot cheaper.

But they’re not a domestic crop, so we can’t be pointing that out.
carbs and sugar seem to bring the depression back

onions and greens seem to be responsible for anxiety

plant oils make me a headache, like really bad migraines.
Yup. There's no reason to expect that an industry whose sole specialty is being manipulative and dishonest to behave virtuously when dealing within the industry. Adtech companies compete against each other too.
But beef and pork are pretty much always cheaper than chicken?

If I go to my supermarket's site right now, chicken is ~€12 per kilo[0], beef is ~€7 per kilo[1] and pork-beef mix (can't get pure pork minced meat) is €5,30 per kilo[2]. And it'll be like that in every supermarket in The Netherlands (and possibly Europe)

[0] https://www.jumbo.com/jumbo-kipfilet-2-stuks-ca-390g/187400K...

[1]https://www.jumbo.com/jumbo-rund-rundergehakt-500g/131278BAK...

[2]https://www.jumbo.com/jumbo-rund--varken-gemengd-gehakt-500g...
Ban stuff because.... well, because bah humbug. Humanity can apparently only do one thing at a time. Also you get to decide what people should or shouldn't be allowed to do, and when. Nice.
Ask HN: Am I being watched by the NSA?
I did a scan and my router (direct ethernet only, wireless has been disabled in the router) shows my computer twice with two different IP addresses. Is this normal?

With only one eithernet cord, shouldn't it only show the router and one computer?

Here is a https://i.vgy.me/W3633H.png

(The Arris Group Inc. ones are are my cable boxes.)

Other strange things:

When I log into my router, the Liteon network card isn't shown at all. My time on my computer is never right. I always have to manually change the time. I've tried every fix I've found online. (The timezone it uses is often a UK one or a California one.) Finally, when my father connects to my WiFi (when it is enabled) it says "Intel Active Management profile has been changed".

If I'm being watched by US or UK intelligence, I want my money back, they're doing a crappy job.
On one of my accounts where I follow a lot of people, the algorithmic sorting works wonderfully. On my main where I only follow a few people, it is terrible. I pretty much only check Twitter in Tweetbot now, becasue if I had to use the algorithmic sorting only for my main, I'd probably stop using Twitter.

So it'd be really nice if we could choose which one we like, and most importantly, that the choice sticks.
It's certainly possible, but not easy, to eat for £1 per meal to those guidelines. You'd have to go to big superstores to buy the cheapest veg, every week so it doesn't go bad, which would incur a few pounds and hours of travel time too. You'd need to own, have space for, and power a fridge and freezer too, so thats another £50 or so for electricity per year.

That would put the total cost at £1100 per year per person, or £2530 per household (average size 2.3).

The lowest decile of household income is £199 per week, so food accounts for 25% of income.

Still pretty big...
>state actors such as the IRA

Can you elaborate on the IRA == state actor part?
> Linus is the author of the Linux operating system

Hmmmm... Not quite. Albeit I am a massive fan of the Linux kernel, though Torvalds is _not_ the author of the Linux operating system (if we assume that Linux is the equivalent of GNU utilities + the Linux kernel).
The iOS-native UI is not customizable, that should be the main reason.
I feel like this was worth more than 30k
The shop is in a different building around the corner.

https://www.google.com/maps/place/Kyoani+%26+Do+Shop/@34.924...
Totally agree, that makes good sense.
All Facebook services are IPv6 enabled by default and their internal network is IPv6 only.

https://code.fb.com/production-engineering/legacy-support-on...
The trouble is one of priorities. Even if you can’t afford to eat fresh fruit you can choose better options. Health recommendations are expressed in a huge package all at once, take it or leave it.

Lean meat and fish in particular are also expensive and over-emphasized. You can get a similar protein/fat ratio by eating cheap meat or cheese with legumes or oats and it comes with fiber.

Eggs are unfairly demonized. Only a tiny proportion of the population needs to limit egg consumption beyond what taste will do naturally. But protein is the most expensive macronutrient and eggs are a cheap source with relatively low fat and loads of vitamins. Cheese also falls into this category, with many people who do not currently have any tumors rigorously avoiding a small increase in their IGF-1, a hormone which performs many essential functions but slightly increases tumor growth rates. You can thank T. Colin Campbell for this absurdity.

Potassium is very confusing. The most economical sources for most people are probably from canned tomato products, beans and fresh potatoes — the latter being a cheap vegetable whose nutritional value is highly underrated thanks to a proliferation of processed potato products. Most people, however, will reach for bananas and avocadoes — delicacies to the poor.

Bread, too, deserves a more nuanced look. It ranges from sweet, thick and highly glycemic to relatively health-neutral and highly pragmatic wrt home-made lunches. “Bread” here can be extended to wraps and tortillas. “Don’t eat bread” is very often impractical. Pasta, on the other hand, is loved by diet authorities for its satiating bulk, but it’s a mess to make and requires you to wash a pot and a bowl. The rice cooker has yet to assume its rightful place on the counter.

Home cooking in general has been neutered by making everyone terrified of adding butter or salt. So people choose between bland foods with no butter or salt or packaged foods with absurd amounts of salt, palm oil and artificial flavor. This advice should be revised with an eye to taste.

It is not too surprising that health advice designed for the rich does not serve the poor. I don’t think the obesity crisis can be solved with health advice alone, but I also think the advice could be a lot better than it is. I don’t think we need to teach people to cook — people can learn to cook. Most people, however, do not have the number sense to assimilate hundreds of nutrition labels and prices into a diet strategy. That is difficult and boring. It doesn’t help that many products have such tiny serving sizes that the nutrient label is meaningless thanks to rounding errors. The system could be simpler and clearer. (Even with extreme effort I find myself constantly revising my own plans.)
Silicon valley (especially to start up ecosystem) is a meat grinder, and the meat it runs on is single new grads who are willing to work for peanuts, while only being able to afford to live in a one-bedroom flat with three roommates.

Family does not play into this picture.
This isn't entirely correct. Git commits have two timestamps: the author timestamp and the commit timestamp. Git only shows the author timestamp by default, and that timestamp definitely survives `git commit --amend` and other operations like rebase with squash. I've had commits where the author timestamp was many months older than my last modification to the commit before finally pushing it upstream.

Unfortunately, TFA doesn't discuss which timestamp is being looked at, though that leads me to suspect that it's looking at the author timestamp because that's the default.
Are coin mixers really that rudimentary, if they are why would you bother? It seems pretty easy to design a mixer that works, logically, so can noone muster the business backing (or is it legal issues?) to do that, not even in any country in the World?
Your ducks didn't come back to bite you. Your ducks did exactly what they were supposed to do (and furthermore, exactly what you want them to do).

Maybe you don't care about protecting whatever data you were entering into your wiki, but in most (if not all) cases of sending data to companies you interact with, you do not want your user-entered data being sent in the clear to the server, or even worse, being sent to the server of a malicious attacker performing a MITM attack. What you want is for your browser to stop sending the data entirely when it encounters a suspicious situation (such as an HTTPS->HTTP downgrade or an expired cert), which is exactly what happened.

Again, "reduced security" is not a valid failure state. It's like having a button on your front door that says "Lost your key? Just press this button and the door will unlock." At that point, why even have a door lock anyway?

See https://en.wikipedia.org/wiki/Downgrade_attack
Bingo.

YouTube is targeting me with hyper-manipulative ads. I had one that was a five minute explanation about What Racism Really Is and another was about how European Socialism Doesn't Work. Neither of which had anything at all to do with the videos I was watching.

I see what they are doing and I don't like it.
Cool, now when is Twitter going to adopt ActivityPub?
Jeff Bezos: space travel essential as humans are 'destroying planet'
And depending on TLD, it can be quite expensive to restore a domain during the redemption grace period. Much better to not let it get into that situation in the first place.

Plus there are autorenew grace periods, so the saner thing is to keep the domain around and then delete it if the registrant objects (and then they get their money back).
Study something else in addition to computer science, preferably in the humanities or social sciences. A lot of the problems we're seeing in big tech come down to the fact that the people working there don't understand anything outside of software development, and we'd be better off if they had wider and more diverse backgrounds.

Ideally you'd do your CS major in a liberal arts program rather than in engineering, but that might be impractical. Get as close as you can, though.
On a serious note, I personally hate vegetables. I'd honestly rather die of starvation, and I (am pretty sure I am) not kidding. I've heard it said that people like what they eat. Well, the more I eat veggies, the more I wanna puke. Of the few veggies I kind of like, they get old really fast if I eat them often. No matter who hungry I have ever been, the thought of eating a tomato, especially a raw one, makes me want to gag.

Serious question... Any suggestions on how to be poor & eat healthy with a (genetic?) anti-veggie preference like mine? Some fruit is expensive. 12 ounces (340 g) of the less expensive $4.99 at Trader Joe's (I just called them). Fortunately bananas are cheaper at just 19 cents each, at least until they all get wiped out by some global fungus (cuz banana cloning monoculture).
To people selling IG accounts, yes. Not to facebook.
TV when it was a single screen in house could still serve as social gathering time.

As a kid, having my own TV meant countless hours of video games and my own movies too. I enjoyed it more than I abused it.

Are smarphone/tablet TVs worse or the same ?

One difference, the kind of entertainment you had on TV wasn't that much thinking or discussing. It has different effects I suppose. Also TV had a different ethos (if I may).

One last thing, about my first point. Having a single TV meant disagreements about who decides what to watch. This led to having more TVs.. and now more screens too. Technology is the mirror of our own social bonds.. we need it but we also need to deal with the issues. It gives a weird form of peace of mind not to have to deal with others.
Well said. Maybe they are workaholics and spend 16 hours a day at work. Nutrition doesn't matter to them only money and success and fame. Health may not be a metric they track or care about any more than work:life balance or good family relationships.
> For anyone considering subscribing to Pluralsight, be aware that they will not inform you of their auto-renewal policy, and will charge you once your subscription is up for annual renewal without warning. In my case, this auto-renewal has cost me $300.

I'm glad you mention this. The same thing happened to me and is one of the big reasons I cancelled and won't be using them ever again.

I can't remember the details but it seemed sketchy at the time, I signed up for a free trial and they ended up just sending me a bill for $300 after the 7 days expired, without any text or warnings that this would happen before hand (not during the free trial sign up either).

Yes, a very dark-pattern indeed.
Well, I'm just trying to list things that won't potentially spike in price. Bananas are, calorie for calorie, a better option than most of the foods on the list. But I don't think any reasonable person would argue the fact that they occupy a very precarious place in the global food supply chain right now.
Can you describe some attributes of Ocaml and Racket that make them good contenders for expressing thoughts of mind?

Also is it Racket specifically that makes it a good contender or is it the fact that it is a Lisp that makes it a good contender? Would any other Lisp like Scheme or Clojure or Common Lisp be equally good?
I often wonder if Jason Jones [0] (of Mac 3D shooters "Pathways Into Darkness" [1] & "Marathon" [2]) was at the time at about an equal level as John Carmack. I believe the release dates of PiD and Marathon weren't much different from Wolfenstein and Doom, so they've must have been developed at more or less the same time.

Personally I feel PiD was a much better game than Wolfenstein, partly because of the adventure/RPG elements, partly because of the horror atmosphere. The UI was less immersive however. But the game certainly had very interesting elements. For example there was a level that was randomly generated every time. Some monsters could only be killed when frozen (using a special "blue crystal") otherwise they'd be invisible and be impossible to kill. It was possible to talk with dead human corpses using a "yellow crystal", etc… There was a special room that would drain the oxygen and only by speeding up the time somehow (perhaps using another crystal?) one could survive the room.

And some things Marathon certainly did better than Doom. For example it was possible to look up and down, the lightning effects were more impressive, there were some physics, etc ...

Of course the guy that wrote the Build engine (of Duke Nukem 3D fame) was probably at a more-or-less equal skill level as well.

---

[0]: https://en.wikipedia.org/wiki/Jason_Jones_(programmer)

[1]: https://en.wikipedia.org/wiki/Pathways_into_Darkness

[2]: https://en.wikipedia.org/wiki/Marathon_(video_game)
Protecting Private Browsing in Chrome