skysight-inc/HackerNews huggingface dataset:
I agree mostly with this. If someone is working on a side project then they are entitled to conduct that however they see fit. However, there should be zero expectations that this output can then magically translate into business value simply because it was undertaken.

Most software that is written is regrettably garbage in terms that business owners actually care about. If you want to do something hard & correct (aka valuable), that almost always means rigorous engineering/planning to make sure everything lines up.

We wouldn't expect a structural engineer to be able to employ one of their hobby designs for actual use, nor would we ever want to entertain that idea. I feel similar thoughts should apply to software engineering, which in some cases is also life safety critical.
A lot of people would google FizzBuzz unfortunately.
I forget what I don't use. Should I rememorize those things every 6 months?
Bart Decrem (Mozilla, Tap Tap Revolution) on what being an 'entrepreneur' means
Conventions are not set in stone. In a math paper, you could say you allow for this case, if it makes sense. You could even allow for two of the vertices to be the same.
I do sloppy sketches and I'm not too bad at art (literal decades of practice). I do sloppy sketches for visual idea, and then do written labels for those sloppy sketches. They have their place.

I'll add that no one is really terrible at art, they just aren't practiced. Even those folks that have a predisposition towards art do not do well without practice and training muscle memory to do it. Most folks can get a general grasp on sketching and basic art concept if they want to.
So you install exactly one package in each container...? I find it hard to believe. You wouldn’t be able to boot with a single package.

Feels very much like saying “all the stuff I don’t (think I) need, is useless”.
Very True. I've seen a huge spread in quality from my colleagues which definatley impacts opinions on WFH.

For me we built an office in our garden around 5 years ago. Good size, ethernet connected from the house. Kids came along around 3 years ago and I was hardly using it (wife wouldn't let me escape so easy!) now it's been a lifesaver since March, by far one of the best investments I have made.

Having said all this I do miss the office, I just don't need to be there 5 days a week.
That's an admirable project

I wish I could live long enough to see sentient robots become part of society and protest this violent game which discriminates robots and encourage violence towards machines.
#AIUnitedCancelAnarch

I also wish this wouldn't so political, I don't see what capitalism has done to this guy - including giving him the tools to create this game!
There are also plenty of games that can be played and studied freely.
Exactly. I'm a long time Debian user, and after reading that piece I'm not worried that Debian is going to disappear, but I think he is raising good points that should be addressed.
Off-topic comment: I was having some trouble understanding the text. The author would start explaining some advice and I didn’t know which advice he was referring to. Like ”This is one I struggle with the most”, “this” what? I would go back to the previous paragraph and there was no reference, worst, apparently it was another topic!

Then it hit me, the images with words on it every few paragraphs were the pieces of advice! They were not ads or merely unimportant illustrations, they were the titles! I unconsciously ignored them all on first read, banner-blindness or something like that.

I actually scanned the post for bullet points the moment I opened the page and couldn’t find them. Because the bullet points were designed as images.

Important to notice that now, looking at them as bullet points, I like the design. They useful mini-posters. But they had this side-effect on me of magically becoming invisible.
Pretty neat to see - this is where our startup Canny started. We eventually moved to the SaaS model and that ended up driving more engagement and revenue.
> How do you feel?

How does that take higher precedence than the literal financial situation of millions of people?

> Your colleague has been a low performer consistently

You are painting a very different picture here. People by and large don't get into unrecoverable student loan debt because they are low performers. Many of them achieve excellent grades. Their work is simply not compensated. So here in your metaphor, you have made a demon out of the victim.

> How about we run that again the next 2 weeks. What are you going to do?

Again, this metaphor has strayed from the reality it is meant to compare to. Student loan forgiveness isn't a perpetual system. It's an N time deal. N increases during the time it takes to overhaul our failed higher education system. Because we are motivated to keep N low, we are motivated to quickly overhaul our failed higher education system.

> Your boss, at the delivery meeting, says, actually, this was just a motivational exercise to get us to practice coding and teamwork

Notice how even in your metaphor, you are victimizing your teammate when it is clearly your boss who is at fault. That part of the metaphor tracts quite well with reality. In reality, you are blaming the student when the universities and stagnant wages are to blame.

> And that they be called "selfish" for thinking so.

Indeed it might be.
Hmm I think I read a similar article like 6 months ago and it's quite sad to read :(. And the more irritating issue is I know many people who deny climate change / global warming by saying earth has always faced climate change.
“Simpson's Paradox”
One I read in a HN comment a while back was to find available domain names and come up with ideas for them.

When I saw that my first name was available with the .chat TLD I knew it should be one of two things: a redirect to my calendly, or an immediately-available IM session with me when I'm available (just for fun).

Built the latter this morning to have an excuse to buy the domain! You can see it at Alexander.chat.
An observation: a lot of these---especially 'soft skills'---can't be properly learned earlier. They're a side effect of experience, and the 10 years doing the job is the only way to properly get them. The things I most often hear from potential employers when we ask what we should focus on more in teaching them are "soft skills" and "troubleshooting". My response is now to ask which of the long list of technical skills we teach we should drop or reduce in favour of more soft skills (none) and to remind them that when they say they need employees who are good with team-mates and clients and good troubleshooters, what they're describing is an employee with experience and I simply can't generate that in a two-year program. Fundamentally, that part of the education is the on-the-job part, and it can't be skipped.

We do work at those, but fundamentally, skills at (1) working well with a variety of people and (2) understanding systems and their interactions well enough to hypothesize and test for causes of faults are both things you can have more or less talent in, but they're fundamentally skills that come as the result of substantial experience working with different people and working with complicated systems.

You probably can't properly learn these without spending the ten years, but you can choose jobs and colleagues and experiences that will help you learn them better. Better to focus on emulating how people learned these skills than trying to skip the hard part.
Yes, and in the long term, it's always better/more scalable/efficient to be disciplined enough to be able to have someone on call who has not designed/written the thing running.
Is Germany really that reserved because of the last world war? I mean, I get that it was bad, but it's history.

Everyone else who has a very similar history (even though it's painted in a better light by the media) has moved on.
You're right! I'm gonna fix it now.
I think this is unfair.

Sure, the writing style is a bit over-stated, but ultimately it demonstrates that the author asked "why should I build this? does it contribute to society?" which are questions that I think aren't always at the fore front of software devs' minds.

You don't have to agree with their conclusions, but I appreciate that this person is thinking about social impact when they write code, and that it appears to be a major motivation.

There are sections which sound like self-aggrandizing promotion, but honestly we tolerate that stuff (esp. on start-up focused sites like ProductHunt and HN) from commercial products all the time that promise to "change the world" if only you give them a small monthly fee or stare at their ads. At least this person is talking about free and public cultural works.

Finally, a bit of a nitpick, but there was a time when "Doom-clone" was the word people used to describe FPSs. If this person is truly trying to create a 90s game, that's actually the better terminology. Granted, it's likely not the most common interpretation of the word these days.
I agree about Linux, but I disagree about Debian. It's too easy to create a new distro which is mostly compatible with everything. But to create a new OS, you are expecting everyone to rewrite all their software for the now OS.

As for common lisp, it's not even popular now, so I wouldn't expect it to suddenly become popular in 100 years.
I feel like we're at that point already.
That would be great. Maybe they can abolish landlords while they are at it.

Oh, are we meant to be afraid of these solutions?
“warning, haters are gonna hate” is always worth keeping in mind, of course.

then you tell these sorts of stories and hope that people admit that “i got mine so screw you” is a bad way to live.

it does not mean that student loan forgiveness can’t happen, or that societies are somehow forbidden from acting altruistically because people are going to have this feeling. It does mean you need to be ready for it.

For myself, my undergrad degree cost about $250k, and nobody gave me a scholarship, and i am overjoyed if someone else doesn’t have to play that idiotic game.
I'd have to google "bubble sort" to even remember what it is; but I don't think that has any bearing on whether I'd understand it once I remembered what it was.
It's because the mathlib authors don't really care about being constructive and frequently use things like choice/LEM, in contrast to Coq/math-comp. If there's a constructive and non-constructive version of something, the mathlib people will use whatever's easier or nicer to work with.
There's some info here about how Lean does realizability with pervasive use of choice: https://github.com/coq/coq/issues/10871#issuecomment-5466412...
I like this a lot. I'll incorporate it - thank you!
> but new reddit is an embarrassment and the devs should be ashamed.

Do you really think the developers come up with the ideas to add a promotion banner for the app and other annoyances like that?
tl;dr but this is 100% caused by the fact that we still work 8 hour a day. that is INSANE. i have worked full time job one year in my entire life and I will never, ever, do that again. it is beyond crazy.
Plus, building a custom solution can be a necessary first step for your team to research and better understand the problem, and then be able to identify off-the-shelf solutions they can use instead.
It sounds like your position makes use of those data structures and algorithms - and the author's didn't. I think the key here is that you memorize the important aspects of your role while knowing how to get the answers for anything else.
Building a two seater, 180hp kit airplane in my garage. Learned all the skills I need post-40. Honestly I enjoy drilling and riveting metal more than computers anymore.
If you use firefox, I've found redirector[1] to be super useful for this. It just converts URLs based on regexes, so all links to www.reddit get turned automatically into old.reddit. Some other fun uses too, and you don't have to go through the hassle of making your own extension boilerplate and such.

https://addons.mozilla.org/en-US/firefox/addon/redirector/
Let's have the debate about what is actually being proposed: police officers must be non-identifiable when you publish images. Not an interdiction of "filming the police".

The proposition as it has been adopted by the commisson :

http://www.assemblee-nationale.fr/dyn/15/textes/l15b3527_tex...
Yes, and my car burns more gasoline than horses used to
You’re still missing the point. If I work $12/hr and that pays my rent, food, and not much more.. I literally can’t quit my job. I can’t go get an education because I can’t afford it. I can’t find a better job because everyone I’m surrounded by works near the minimum wage and I’m literally not aware of alternative options. Technically I could get a student loan from the gov, but I 100% do not know that option exists.

“Get Busy” sounds good when there is opportunity to improve. My point is that many people who are in a situation where working harder does not result in success. They do not have the tools, knowledge, access, etc to turn hard work into success.
Apple could create its own OS.

They control the chips. They control the hardware. They could write the software in the middle.
What I would suggest is reading a book that have helped me a lot and may help you as well. "Man's Search For Meaning" from Viktor Frankl.

The author is an austrian therapist that founded the "logotherapy" (healing through meaning) after surviving WW2 concentration camps.

Is a very small book, and very easy reading, and at the time that I've read it, it helped me find the inner tools within myself to go on and achieve happiness.

The best thing about being at the very end of a big, long, dark whole in the ground, is that you can only go up.

I know that it's not easy to be you right now. But sometimes the worst things that happens to us, turn out to be blessings in disguise.

The bad news is that the healing needs to come from within you, nobody can help you from outside. Not therapists, not family or friends. They can only support you and help you reach your inner voice again to move forward.

Reading a book in itself is not going to help you either, but the thought process that come from it may help you start a different, happier path.

Think of this time as a turning point: There's the old you, and the new one, that needs to start over and reboot himself into something different and better.
I'm about to do some interviewing and I am much more interested in how they would handle a credit card provider being down when processing a transaction. Or if they can articulate that solution verbally. Or if they handle me taking an opposite position as devil's advocate well, etc.
> It will come soon a time (in fact, it's pretty much here already) where China calls the shots over us.

The U.S. already does that. Why is that any better?
> Proving that something is impossible is a powerful act of mathematics. It shifts our perspective from that of rule follower to that of rule enforcer. And to enforce the rules, you must first understand them. You need to know not just how to apply them, but when they don’t apply. And you also need to be on the lookout for situations where rules might conflict with one another. Our octagon exploration exposes the interplay between polygons, convexity, right angles and angle sums. And it highlights how S = (n – 2) × 180º isn’t just a formula: It’s one condition in a world of competing conditions.

This paragraph puts to words something I’ve been mulling over for decades. Looking back to math class, or just looking at any discussion of math education, there’s always a discussion about students who just memorize and plug in the formulas, mentioned as the kinds of students who don’t understand what they’re doing. But that’s an incomplete explanation of what those students are missing that I believe the quoted paragraph completes.

It’s not about knowing how to apply a formula. It’s about understanding a formula as a property of the system you’re working with. It’s a great insight and one I’m probably going to mull over for a long while.
Rolling VC Funds: A Chance to Innovate
Yes, for sure. If you'd like to help me nail down the MVP for this, feel free to send an email (m@pmalerts.com). Would love to have some company over there.
FWIW the KV features adds a kind of database to workers
I try to turn it into a game — pick a few random words, or a random time frame, or other scenario, and come up with ideas or stories around that. For example “ten years out, agriculture, global trade resurgence”. What happens? What do we build? Etc...
So how are you meant to access devices on LAN securely?
Nope, I didn't say that we should not help ever unless it benefits everyone. I'm saying that when you implicitly pick a group to help over others, you'd better be careful about the incentives and signals it gives on what you want to happen next time.

As I said, it would be more reasonable to give everyone a credit, not forgive debt.
How did you learn calisthenics? Any resources you can share?
No, don't scale first. First try to optimize your app to use as little resources as possible, then scale vertically, then horizontally.
you get what you vote for. the government only reflects the people. if you don't like it, blame your neighbour, not the politicians. france, uk, sweden are fubar. everybody knows it. it is only a matter of time before they collapse.
As we see in the US, it is easy to condemn the evils of others governments, but hard to fix ones own. The entire world is in the midst of a hard slide into authoritarianism. Sad to see France, such a beacon of liberty, also start to succumb to the societal cancer that is sacrificing freedom for the illusion of security.
My favorite tactic is, "just get started."

Start writing 2001 from memory, but the protagonist’s name is Bill and the killer computer is named MAL-500. “Oh, so I’ll wind up with a shitty knock-off of 2001?” No, you’ll quit writing this dumb thing way before then. But you will slip into flow, and find it easy to put this nonsense aside and get one of your good ideas moving.

(The apes are “evolved” by the Monolith by inspiring a tickle-fight. The Monolith has a creamy caramel center. The star-child takes one look at earth and yeets out.)
Personal opinion of french citizen. Macron is really good at saying the opposite of what he does, especially in international news outlets. His presidency has seen very brutal police handling of manifestations, increase in xenophobic rethoric from the government and governing party. Even on climate his legacy is all words and no act.
While the subject of this article may be a good fit for HN, the source is not; it's highly editorialized. Here's a more neutral one:

https://apnews.com/article/paris-bills-448484c4d5600b916fff8...
The reason basically comes down to the fact that every time you perform a compass and straight-edge construction, you are constructing quadratic extensions of number fields, whereas trisection (in general) needs a cubic extension.

The 'in general' part is important: of course, you can trisect specific angles like a 90 degree angle.

(The construction of number field extensions is happening because let's say you construct a 90 degree angle, well that allows you to construct an isosceles triangle with equal sides length 1, and therefore you construct the square root of 2, so the extension Q(sqrt(2))
Not really true. The government adds coordinated action and scale in situations where individual action is ineffective. Also, there are a lot of issues about which I simply don't have enough knowledge to have an opinion.
They didn't say "C++17 and Rust are bad", they said "is an extremely bad choice for building long-lasting, accessible programs".

That's a totally defensible statement.
We have measures that show Americans get less care per dollar. Not necessarily less care overall.

Regarding prices, yes insurance companies do negotiate prices to some extent but that has not controlled prices. See $20 asprin tablets given at many hospitals. There's a ton of reasons our private system has not done better controlling prices. It's hard to shop care. Insurers pass service costs onto employers who pay premiums who aren't consuming the care (the employee is). Medical companies find weird workarounds see medication couponing. I could go on. What it amounts to in the end is exactly rent seeking behavior, whatever the free market should be doing it is not. And there is no clear data that it is functioning more efficiently than a public system or at least a regulated market like Switzerland has.

In the end there's a reason that every developed country in the world other than America controls healthcare prices the same way. The government or a body backed by the government negotiates prices effectively fixing them.

Of course health insurance is a hard problem. No one ever said it wasn't.
That makes sense! I just wish discussion on this end would stay nuanced: In that case Lean has great library support for classical mathematics. This is an important distinction because it is something that the authors of other constructive proof assistants can focus on if they want to reach more mathematicians.
Fun fact — links to old.reddit still open in their mobile app. Have to manually open the url.
I made something[1] similar in rust inspired by this project.
I made modification to the syntax to make it more ergonomic in the case of grouping filters with parenthesis for complex and nested filters.
I also added joining of tables, renaming columns and more.

[1]: https://github.com/ivanceras/restq
wow, standup comedy. Performing anything in front of people is hard, comedy is even more harder. This is awesome.

Did you follow any structure to learn comedy? Or are you a natural?
So eliminating poverty would eliminate diversity?

Nonsense.
Would you rather have the US tell you what to do or China?
Tell them what? Those certainly are properties of capitalism, which is fairly obvious when you look at any capitalist country.
Well, that's a good point. The BUI addresses that. The money men have learned to skim off of every transaction, which inevitably ends up with them having all the money. This is a new thing too.

It's very moral and hardworking of us older folks who lived in a different time and paying loans didn't take half a lifetime. But this whole conversation is about how that world is gone, and young people (in America) are behind the 8-ball.
I'm fine running rpi OS, but it would be nice to be able to boot straight into USB without having to do SD first.
I'd tell you what it is in an interview if you asked. The author knows what it is but needs to google an implementation.
If you mean tens of thousands of commits a second, it can only go that fast on SSD or battery-backed HDD.

write+sync is a speed limiter in general (even on SSDs), because of waiting for the syncs which are needed for commit durability. On HDD, serial transactions can't go faster than roughly twice the rotation time of the HDD per write, plus seeks, and on network filesystems they can't go faster than four times the network latency (two syncs per commit) plus whatever the backing store needs.

The trick to getting high commit throughput is to allow the durability part of multiple independent transactions to be committed concurrently. On a filesystem-backed DB this means writing multiple transactions per fdatasync. It would be tricky for SQLite to do this because of its architecture as a library and synchronous API, but not impossible.
Yeah the point I make in my other reply is that hard work from a privileged kid results in success, but hard work from an underprivileged kid does not result in success, and likely will not result in their children’s success.

At its core it’s the difference between believing anyone can succeed and believing outside factors are much more impactful than working hard. In America it is often times a conservative b liberal mindset.
Some extension to always redirect to the old site makes Reddit a joy again, e.g. https://addons.mozilla.org/en-US/firefox/addon/old-reddit-re...

I've rarely seen a more total failure than their redesign...