jkeisling/hacker-news-corpus-2007-2022 huggingface dataset:
This is the same guy who said

"It is practically impossible to teach good programming to students that have had a prior exposure to BASIC: as potential programmers they are mentally mutilated beyond hope of regeneration."

and

"The use of COBOL cripples the mind; its teaching should, therefore, be regarded as a criminal offense."

and

"FORTRAN, 'the infantile disorder', by now nearly 20 years old, is hopelessly inadequate for whatever computer application you have in mind today: it is now too clumsy, too risky, and too expensive to use."

Basically he's a mathematician who codes, and who wants code to be math.

Unfortunately in the real world code is also politics, business, history, sociology, and psychology. The math part is important, but it's not the whole story.

He's often funny, in a dry way, but it's useful to understand that he's actually not very insightful about the psychology of effective programming.

He praises mathematical intuition, and he wants to develop it, but he doesn't seem to have considered the possibility that simply throwing Haskell at people, or asking them to work through formal methods, may not be the best way to do that.

There's almost no useful research I know of that examines what mathematical intuition is, and even less about whether it's teachable. So Haskell and formal methods may help some people some of the time. But it's not in any way a given that they're the best of all possible teaching methods.

He also misses an entire class of UI/UX bugs where the code works exactly as it's designed to, and is provably formally correct, but an application is useless because the UI is incomprehensible and/or misleading and/or actively distracting to the task at hand.

Ironically, it's exactly that interface between fuzzy human expectations and implicit modelling tendencies and the rigidity of code that causes the most issues for practical projects.

This doesn't just apply to applications - it also applies to languages, operating systems, and development environments, some of which add unnecessary cognitive loads which make programmer mistakes more likely.

His solution - formal rigour - only works if you can formulate a problem precisely in the first place.

The set of problems where it's possible to do that doesn't come close to covering all the problem spaces touched by computing.
> Gillette is famous for pretty much giving away the razor and making money on the blades.

Admittedly... if you're not including the blades, the "razor" is just a plastic stick.
the real world doesn't work this way when people are involved.
I absolutely love the mockup. And I agree with most of your analysis. I've felt the same way about the Haskell homepage for quite some time.
An interesting addition / counterpoint to this theory is presented in Frans De Waal's [1] books.

"In 2011, De Waal and his co-workers were the first to report that chimpanzees given a free choice between helping only themselves or helping themselves plus a partner, prefer the latter."

[1]: http://en.wikipedia.org/wiki/Frans_de_Waal
> Furthermore speech as the forefathers probably meant was people physically going to town squares and talking there.

Facebook and other such platforms have become a town square of sorts.

This idea that the principles that founding fathers championed, especially the Bill of Rights, should somehow be restricted only to what was possible with the technology of their time is pretty preposterous.
There are very mundane reasons that you may want to own the software stack your data depends on that aren't 'I don't trust Google/Facebook/Microsoft/The Reptilians.'

The most prominent of which is "What happens when they drop support for my use case/lock me out of my account?"

Unfortunately, the cost of running your own one-off solution is rather high. And doubly unfortunately, while I would pay money for a box that I could plug into my computer that provided all of these services, I wouldn't pay enough money to justify someone building it, and selling it to me.
I haven't seen blockedits.com before, it looks really cool. What are your thoughts on it? Is it worth taking a deeper look at or would you choose something else if you were starting from scratch?
My grandparents and dad and uncle lived there for several years in the 50s. They have shared many amazing stories of their time there. (Pre-islamic revolution, while the Shah was in power, but still, the people are the same.)
That was what I did with CSS properties, but it doesn’t fit as well with Tailwind.
How do you draw a line between religion (protected class) and other ideologies/oragnizations/beliefs that you don't want protection for? Where do, eg Scientologists, Pastafarians, and cult members fit? Is it right to be able to exclude Islamists (political ideology) despite them being Muslims (religion)?
I’m genuinely surprised by that video. That would certainly make Canadian winters more cyclable.

However, what if you have a 30-60 min commute and it’s -20, -30 out? You can easily drive that, but cycling is another matter.
Does this apply to human retinas too?
Early American culture was designed to prevent this. Early pilgrims were persecuted by other Christian groups in Europe. So they built in ideas like religious freedoms to try to build a society that could accept differences of opinions. I'm not American but have a lot of respect for what they were trying to achieve.

By all means have your group of close contacts that you shun when they step out of line but doing that society wide causes too many injustices.
Placebo is a psychological phenomenon, and if it makes people feel better, so let be it. I believe that most of our problems are in our head. You know, my granny takes vitamins and she believes those are pain relief pills. She suffers from bad headaches. And they do work for her!!! Btw, let me share with you a website I get any medication I need for cheap - http://www.rx-discountcoupons.com .
From Android only, it seems.
It seems that the logout feature is broken.
The fact is that investors want a free market for labor, but will not accept a free market for capital.

Otherwise anyone could invest in any company without silly "accredited investor" rules, which serve only to keep the cost of capital high enough to generate desired returns from the money changers.
Both are holes, they are just different dimensions of holes. The holes in swiss cheese are still holes, even if you haven't exposed them yet.
I'm not able to logout from the web client.
Nothing here

http://status.twitter.com
If you can stand doing your exercise exclusively on some indoors machine such as the elliptical, then sure. Get that heartrate up.

But I'm afraid the population of people who can do that is rather small. Don't set yourself up for failure, do something you enjoy and better yet, join a group.
As an example, I recall Instagram was acquired when they had a tiny team and now look at how large they've managed to grow.
It is not outsourcing that is unethical but to advertise it like a magical way of working less.

The title of the book makes it sound like you can accomplish more by working less, while in fact the remaining 36 hours worth of work is done by someone else every week.

Think of it that way: How would someone from one of the developing countries the book mentions would benefit from what's written in that book?
Or it means they've decided to take the small extra risk of warranty claims in exchange for more sales at a higher price, because it makes people think like you do.
> If you're generating the same amount of revenue

if you worked only 80% but is able to generate the same revenue as working at 100%, then surely one of the following must be true: you either slack off the 20% of the time, or the company is overpaying you for the work you do!

Therefore, it must be assumed that if you worked only 80% of the time, you're only 80% effective. So the fixed cost of an employee doesn't decrease when they work only 80% of the time - so it becomes more expensive than just cutting the salary by 20%.
In my opinion this was a sloppy mob that bum rushed reprehensible security and got farther than they ever expected. People die in riots all of the time, I don't really see what elevates this to anything beyond that...the process got stalled for a few hours and then proceeded. If you want to call it a coup attempt be my guest, I just think it's histrionic.
I'm reliefed that development progressed again this year. You don't want to invest time on a dead editor.
Does anyone know if this 'experiment' became permanent?:

Planned U.S. Power System Experiment Means Some Clocks Will Speed Up

http://spectrum.ieee.org/tech-talk/energy/the-smarter-grid/p...

Because if it did, then at least in the US, the 60Hz grid frequency is no longer a 'good' stable time-of-day clock reference.

Anecdotal evidence (my own old 60Hz line-synced alarm clock) prior to this experiment kept very good time (drift of 1-2 minutes over a year or more). Ever since this announcement, it has drifted fast such that I need to reset it about once a month for it to be reasonably accurate. And the drift now after a month or two is on the order of 5+ minutes.
Actually an even worse thing in our "democracy" is how a single person in congress can put a hold on a bill and bury it - while remaining completely anonymous.

How the hell is that even possible

Line item veto would be incredibly dangerous. We'd end up with 100% corporate welfare while the entire foodstamp program would be canceled.
Interest leaves people impoverished and destroys families. But I'm sure you can see that from your mountain of moral superiority.
Awesome! I had no idea anything like this existed, thanks for sharing.
I like extended figures, but also sumptuous language and formal rigor. Ah heck, I love each poet for their own quirks and idiosyncrasies. Stephen Dobyns. John Bricuth. Wallace Stevens. Weldon Kees.

Shakespeare. Donne. Marvell.
>NoSQL

I don't feel sorry for anyone who hasn't had to work with relational databases.
Pretty good so far, thanks for asking.
The CS:GO community seems to like it but it only launched two days ago so I'll need to wait a bit longer to get some in depth feedback. Need to do some price testing for the next few weeks.
If there are any CS:GO players on HN I'd love to here your feedback/suggestions.
I very much doubt that's the case for their web servers. Note how they only opted for 48GB on their web servers vs the much larger numbers on their DB servers?
The Federal Government seeks to change the rules to obtain warrants automatically against anyone using VPN or Tor -- because these are means of hiding the location of a computer.

See page 338 of the linked PDF.
Currently: Rereading Game of Thrones before the upcoming season starts

Recently finished: Just Mercy by Bryan Stevenson, HIGHLY recommend it. He details the work he and his team at the Equal Justice Initiative have been doing for death row inmates without proper representation, many wrongly imprisoned for decades. Depressing but inspiring. Never go to Alabama.

Next up: Amory Lovins' Reinventing Fire, which has been on my list for a while. Saw him speak a few years back and got inspired. (I've no connection outside sharing the same name)
I already use proximity to do this ... it's little less user firendly ... but it works well :)
This feels like a very wasteful approach to me. I understand the need to protect against the variation of p-value with each test. However, now data needs to mature in two places. Bayesian testing is a natural cyclical approach where past information coupled with data generates new beliefs which become past information. Most conversion rates are small, say less than 30%. Hence, their differences are smaller (as we move towards support) --- yet this method uses the same old prior information (which is that it's reasonable in known cases to look above say 90% as the domain of the test). Given that we're now looking at data through two lenses, I would be shocked if this does not result in a much longer lag period. Am I missing something, is this a free lunch?
I got my first job out of college via SO Careers; it was a pretty solid gig, though I've moved on since then. I think I applied to several jobs through it, and wound up with a few phone screens leading to one actual interview in person. The response rate was pretty good; in fact, the only slow response I've had was when I applied for a job at Trello, but that was probably due to them being swamped more than anything else.
His analogy is flawed. In his analogy, some people will share their life vests because they can already swim, and because they'll never need life vests, live vests has no value for them, and thus sharing it means no loss to them.

Money doesn't work like that, it has value, and giving it away to more needy people does mean you are losing money which you might need later on.
I've not used Joomla, but Drupal is the same. Most modules are poorly documented, if at all. Figuring them out is a combination of trial and error and googling. SQL injection, XSS, and other vulnerabilities are discovered constantly. It's like running a never-ending update treadmill if you use more than a few modules.

I might be getting a chance to work with Dot Net Nuke soon. We'll see if a more commercially motivated CMS is any better.
So what will find and fix vulnerabilities in crypto implementations?
In many places people still haggle for most things.

Even where I live (Melbourne, Australia) a very non bargaining place, some restaurant districts have bargaining cultures. If you play your cards right, you can get wine and dessert thrown in if you order the steak, site by the window before the dinner rush (makes the restaurant look full).

My point is that bargaining norms aren't necessarily evolved from necessity, it's often just cultural quirks. This video is poking fun at a particularly quirky subculture.
True, on the other hand scenarios very similar to this do happen in real world consumer retail situations. If any of your friends work in retail show them this video and ask if they have any stories about customers.
Can you provide an example? I'm having trouble conceptualising a situation like this. (Not being snarky)
Is there really a market for closed source Javascript libraries?
I love ML and Scala. Couldn't get my head around Prolog. Gonna flunk the exam. Lol.
My issue is asking a lot of people to change their password because I've decided to change my encryption algorithm. Is there a best practice for upgrading encryption without forcing users to do that? Something like when the user logs in, hold onto their plaintext password for a bit, confirm it's correct against your current algorithm, and then re-encrypt it with bcrypt?
Listen to your body. When you're full, stop eating. This feeling lags a bit behind what you eat, so don't eat too quickly. Don't eat things like sweets, chocolate and potato chips when you're hungry, when hungry only eat healthy things. Don't drink too much calorie dense drinks like fruit juice. These drinks won't give you a full feeling even though you've consumed a lot of calories, better eat fresh fruit.

When I eat with my friends they sometimes say how come you eat so much but are so lean. They've been drinking fruit juice or soft drinks with the meal whereas I drank water, they're eating less but consuming the same amount of calories. Later the night they'll feel hungry and start eating snacks. For example tonight I ate carrots, pasta with pork and cheese with a sauce based on creme fraiche. This contains a lot of fat but that's not so bad because it also makes you full (I ate it 6 hours ago and have no appetite for e.g. sweets whatsoever).

When you're hungry, bake an egg in butter with cheese and eat it with a slice of bread. This will be about 300 calories but you'll be full. Or you can eat one Mars and you'll be hungry again in half an hour (also 300 calories). Or you can drink 3 glasses of coke and be hungry in half an hour. Or you can eat 8 oranges and you won't be hungry (also 300). Or eat 25 big tomatoes. Or 100 grams of bread and you'll be hungry in two hours.

The following numbers may be handy:

Fat: 9000 kcal/kg (this holds for body fat as well as fat in foods)
Alcohol: 7000 kcal/kg
Carbohydrates: 4000 kcal/kg
Protein: 4000 kcal/kg

One thing I've found is that the more you eat the more hungry you get. For example on Christmas you usually eat a lot, yet the next morning I'm always very hungry. Do you have this too? Evolutionarily I think your body thinks "hey we got a lot last night, there is a lot of food available now (perhaps they killed a mammoth?), better stock up". This also works the other way around: if you've been eating too much and then go back to normal you'll be hungry, but that probably goes away in a couple of days (unless you're not eating enough).

I think it is futile to try to lose weight or keep weight low trying to be hungry. Your body is much more powerful than your mind and will override your conscious efforts in no time.

This is what works for me. The caveat is that I've never had or tried to lose weight, but I started to eat this way because I think it's healthier. When I did so after a while I discovered I had lost 4 kg (which is a lot for me), and had to consciously eat more to gain some of it back. On the other hand I went on a very active sports / camping vacation with friends and we had to buy food a few days ahead, so we all ate the same kind of things. This was a mix between their and my diets (e.g. no coke/fruit juices just water from the lake). My weight went up slightly because I eat more but they each lost 1-2 kg in two weeks. So I think it works, but if you notice gaining weight when applying this, stop and look for something else.
If you want to get nitpicky, Hatsune Miku is a voice synthesizer and character design that anyone can use, whereas VTubers usually have one person who "is" the character. A VTuber is basically the video equivalent of someone who uses a fake name on an internet forum; fans generally think of them as real people with coherent personalities. (Whereas any personality Hatsune Miku has is more like a loose convention among all the different artists who use the character.)
Contribute:

https://www.linuxfoundation.org/tools/participating-in-open-...
Trying to steer this thread back on topic. This article is incorrect. Cellular services aren't polling GPS data from the device, they're using imei and subscriber identification triangulation from the towers which the FBI and law enforcement overlay on google maps.

It works with big providers albeit I feel like this parlour trick becomes tougher if your target is using a resell carrier like mint or cricket.
Hehe, in the end soon or later you would have ended up here => same problem, later.
Not to be mean, but your About Us page is extremely difficult to read. It is just words:

"we observed an urgent need of a mobile app for easy and powerful photo management and content creation."

I am amazed that you have a whole team of people working on this and nobody has the cajones to point this out.
For the past few years we've had almost random border closures, I hadn't thought of it that way. But they do expose horrors, like the kidnappers that take people away when they are turned away from the us border into a hellhole or organized extortion or we kill you.
Essentially it's "an open-source project is just as good as its BDFL is". Which is, judging by different projects, true.
It's not really that different from going to tech meetups or events and meeting people you talk to on HN or Twitter. I guess you just have to accept the reality that if you spend a lot of time online, your persona exists as much on the Internet as it does in real life.
Apparently it only has a 24-48 hour limit which lowers the likelihood of finding the super rare event that they are looking for. Still they should have a local cache of a few days that they can sync when amazon gets back up at the very least. Typically though you would want to have a separate datacenter to handle the emergency situations like this though and a smaller local cache for local Internet outages.
I went to the one in New Orleans, I forget which year it was but I think it was the 3rd one? Lowtax wasn't there, but I think a couple of the admins were.

It was probably 90% super awkward nerds trying to "hilariously" ask my black friend (also an SA poster) if he stole radios for a living, and 10% people who were chill and fun to hang out with. The two groups separated pretty quickly. Although we did take one of the super awkward nerds under our wing, which was pretty fun.
Cool, thanks for getting all the facts. Though I'm not sure "lies" is the right word for something that was supposedly unintentional.
I wouldn't consider this "industry," but they're used in some classes at CMU for program verification of student's assignments.

The canonical example is 15-213 (Intro Computer Systems). That class was also created by Dr. Randall Bryant, who (I believe) invented BDD's.
> he [...] wrote gcc
it's a fair assumption to believe that most or his code was rewritten (hey, since gcc 1.x we've had several major versions, plus the egcs merger, etc.)

this can't be outlined strongly enough.
> When we asked, you mentioned that you do not write much code anymore.

This may be partly why he seems out of touch with programmers.
the demo looked very holographic
I know this is the future, and I feel somewhat weird in saying this but I am not quite happy. I feel like technology is coming to replace the physical world instead of augment and improve on our actual experiences. Either way it's some awesome work that was done.
My thoughts exactly... maybe because I'm reading Sail Performance at the moment! Weight, durability and shapability would be important properties vs. the nominal reduction in drag, though.
Damn, you're right! That's a bit of a downer :(
It's definitely low, even outside of the valley. Probably not low in the mid-west.
A tutorial would be great, but a tutorial that also explained why we are doing each step would be amazing. My Linux/Unix knowledge is somewhat limited, so a short tutorial really breaks down if I hit a step that doesn't work because of some different configuration on my machine.

Then what should have been ten minutes turns into three hours and I burn up all the time I could have been building something. Granted I usually learn something along the way, but it would be awesome if people provided some more details as part of their tutorials.
I think the dialect of BASIC these programs use is in a kind of a sweet spot that teaches just enough high-level stuff while limiting you to low-level IF/GOTO and GOSUB statements that are close to what processors actually behave.
Hey guys who downvote: we were happy(!!) to arrive in Israel where friends of mine (who did Aliyah) where waiting for us all rejoicing themselves. That should be a ok/secure reason and attitude when arriving landing at the desired airport! (It turned out to be one of the greatest trip of our life: TelAviv, Jerusalem, the Dead See and the most fantastic En Gedi kibboutz).
this could be an NLP problem although if you can find an adequate solution with a regular expression/context free grammar that's the easier route.

a lot of modern NLP is based on statistical methods and training data driven, meaning having a training corpus of example addresses identified within the context of these webpages would be the starting place if you went one of those routes. you might start by looking up some academic papers in this area and see if it's been done and methods published.
I'm not sure your conclusion logically follows from the evidence, but even if it did, you still haven't answered the big questions your position raises. If you think what they're doing at the moment is wrong, what specifically do you think they should be doing instead and why do you think your alternative strategy would have better outcomes?
Do you still have to be a share holder when you sue?

Or can it play out like, I own xx shares in Y Corp. Y Corp does something bad and share price goes down, I sell my stake and sue Y Corp for securities fraud for making my shares go down during the time period I owned them?