skysight-inc/HackerNews huggingface dataset:
Thanks for the explanation. Saving it when it comes up makes sense, I somehow imagined someone specifically going out there to download it all like a madman.

Probably should do the same when I get around it. You're absolutely right about the way the internet has developed. In addition to the privacy concerns now it looks like data availability will be an increasing issue with sites removing or limiting access left and right.
As someone who studies both CS and pure math, it's quite interesting when I see posts that take a very operational reading of functors and monads, instead of its shorter and more precise categorical definition (as a mapping from one category to another that acts homomorphically over morphisms). That's not necessarily wrong, but it's an important thing to keep in mind when learning category theory through a programming context (e.g. Category Theory for Programmers by Milewski). When I tried to learn category theory in this way, past a certain point the abstractions felt too unnatural and arbitrary (e.g. lack of examples for adjunctions and free objects), whereas a good mathematical treatment of category theory would provide plenty of examples across different areas of mathematics such as algebra, topology and logic.

I strongly agree with valenterry's comment[1] here, that post gives is an approximate definition of functors, even omitting the functor law. In particular, it is explaining what an endofunctor is (in the context of FP, you mostly deal with one category anyway). Furthermore, even in Haskell, there is no such thing as the category of Haskell types[0] (because of things like divergence and partiality).

For the curious, I've recommended Program Design By Calculation[2] to a number of people to show how category theory can be used as a powerful tool to reason about programs in an FP context while not compromising on the mathematics (the target audience is undergrad CS majors).

EDIT: In particular, I have a bit of issue with this sentence after stating the signature of fmap, since it does not reference lawfulness.

> This is the full definition. There is no additional hidden machinery that Haskell is somehow automatically invoking when you "use a Functor".

[0] http://math.andrej.com/2016/08/06/hask-is-not-a-category/

[1] https://news.ycombinator.com/item?id=27638565

[2] https://www4.di.uminho.pt/~jno/ps/pdbc.pdf
I'm always rather skeptical, because I've known so many people with such wildly varying bones and shapes, that one outlier makes a difference.

I for example have an enormous head, bigger than a size 10 hat. I also have that weird protruding ridge on the back.

In 10k years is someone going to think I'm a different species?
I'm Australian and eagerly looking for a second nationality. Australians aren't allowed to leave Australia, it's literally a prison island again. I can't imagine why anyone would willingly subject themselves to that.
There's definitely amenities at home that seem simple but seriously factor into my preference to WFH.

For example, a Toto washlet. I visited Japan in Feb 2020 and purchased a bidet promptly afterwards, along with starting WFH at the onset of the lockdowns. After more than a year, it's hard to imagine going back. :-)
Does multiple sensors mean multiple sensors on a single plane/ship or sensors on multiple planes/ships?

After looking at the document, I took this to mean the former (multiple on same plane/ship)
Steam also does this. Massively different prices for different countries.
It's incredibly unlikely for such a mutation to occur, the individual make it to adulthood, and for their remains to be recognizable after 140,000 years. The principle of mediocrity implies that this person was probably of a relatively common variety at the time.
It's too short is what's wrong!
Can you build a small replica of this with a bucket of mud, sand, etc…?
This is extremely relatable and true. Thank you.

The Tinder game is so horrible, 5% of the women get the attention of 80% of the men or more, leaving both the men and women in the other group feeling like there is something wrong with them. People feel the need to edit themselves in order to fit the false narrative created by these gamified dating scenarios, or else experience the fear of dying alone.

There is nothing wrong with you.

Our complicated, 3-dimensional, deep, personalities and lives are not meant to be reduced to a catalog, best consumed on the toilet, dismissed or accepted instantly based upon a false presentation designed to harness the evolutionary biology of actual living beings.

For money.

This is not constrained to human society. There is an amusing anecdote of the Australian Jewel Beetle that also experiences the Tinder Effect. This nearly caused their extinction. I encourage you to watch Donald Hoffman's 2015 TED Talk "Do we see reality as it is?"[0] linked below for your convenience. I've timestamped the relevant section, skip forward about 100 seconds or so for the direct discussion of the Australian jewel beetle.

[0] - https://youtu.be/oYp5XuGYqqY?t=349
"I'm going to prison:"

Like shibboleet, but for cancellations.
The hard branch back to the start is a perfect indicator of dysfunction.

I think the best way to sum up the very negative aspects of gaming is their fake progress. To use the 4 quadrant model, gaming usually belongs in the not-important quadrant with mostly not-urgent. But most game environments create their own 4 quadrant sub world. The issue then appears because those urgent and important and the various combinations thereof then mess with the real reward systems. The game world is temporarily real enough due to immersion so it becomes real. Your real reward systems light up and take action: More! Do this! So you do.

So the game gives your brain all sorts of these varied set ups where the quadrants apply and you have to prioritise. You make successful decisions and your reward systems kick in. The game says, "here is a problem that exists". You solve it and your brain, unable to really tell the difference says "ok we need to do more of that". So it allocates resources to improve. And you do.

But its all fake. Fake progress. Fake accomplishments. Because its all fake, the reward centers get messed up. You know its fake. But your brain isn't great at really knowing fully that its fake. Regardless, you're now spending resources solving the game instead of the real world. The rewards become twisted as weak form punishments. Every time you realise that in the real world you arent progressing as much as you could you are effectively punished again.

None of this says you cannot play games or that they are not helpful. But like all escapes, its important to not close the door back to reality. Otherwise they become prisons.
Link doesn't work, try

https://www.bleepingcomputer.com/news/security/wd-my-book-na...
I can’t tell if you’re being sarcastic or not. I can type this entire paragraph faster than picking a date with any goddamn date picker. A little faster I can type:

- 27 jun 16:30
- sunday 16:30
- tomorrow 16:30

Before I switched to using siri, I often typed that into notes or telegram saved messages and then tapped on it to create an event. The amount of bullshit ui developers like to introduce is unbearable.

And now for some mind-blowing ui:

- team building fri 7pm weekly remind 1h, 30min add coworkers
Definitely, "Neths" spread their engineering across many continents. However, their engineering practices are now considered a prime reason behind the environment catastrophe that many cities like New Orleans are facing.
You didn't connect to drill using JDBC? You can use any open source GUI with that, like DBeaver.
Thank you!
+1 for Health
> all the Linux tools and open source ones seem to be focussing on mesh modelling

There is some support for NURBS in Blender (3DView->Add->Surface->NURBS Surface) , but it is indeed minimal.
> I am now going to look for a tutorial on Monads that's written in, say, Python

It probably won’t be very helpful. The definition of a monad is 90% in the types.

People use Haskell to talk about monads for two reasons:

1. Its type system is expressive enough to represent them (parametric polymorphism and higher-kinded types)

2. It’s one of a very small number of languages that doesn’t let users wiggle their way around needing some kind of principled effect system, so you really can’t get away without monads. Only in such an environment can the social pressure to take shortcuts be overcome, forcing people to structure their code carefully enough that the rich concept of monads isn’t reduced to a few occasionally used and probably incorrectly implemented corner cases like optional values and maybe futures.
I went through depression from 24 to roughly 28. It was a slippery slope, first I would attribute some genuine reason for feeling low and then I would invent reasons.

Added with low self esteem, disconnectedness, zero social life. (I am usually not that kind of person, I generally attract people easily in a social setup).

I cried at nights, lot of sleepless nights. Just drifting through. Lost some of my precious prime time on that. Feeling worthless (I was doing extremely well at work) and suicidal thoughts as well.

Life changes to a better state sooner or later. Now I am married to a beautiful person for 6 years. My friends and family come to me when they feel bad about some issue. That’s the full 180 degree transformation.

My point is it will happen to you as well. You are too young now. Being human is precious, never entertain thoughts about throwing it away. It’s just temporary stage in your life. Life will turn for better. Much better than your own expectations.

Meantime as others said - do physical workout. Mind will come under control when you work your body out.

Meditate.

If spending time with your age folks is draining you, pick some of the matured ones or spend time with older folks or help kids through some program.

Please don’t compare your life with anyone else especially through social media lens. Most likely they may not be true as people project.

Volunteer.

You are too young to judge your own life. You have a lot more things in store in your life. Definitely talk to some older folks who had seen it all, you will get a different perspective about life.

If you are not harming anyone or yourself, you are already a great person.

Remember someday someone else would be in need of you to lift them up. Be there for them.

Stay calm.
You've piqued my interest. Do you mind sharing a few of the things you have observed and/or learned in this process?
I agree with you.
I was only asking to learn about "common mistakes in 20s"
I'm not sure I understand the question? This is for any package. Of course you will run into trouble if you introduce breakage, like removing files that the build script expects to be there, or causing merge conflicts with patches applied by the build script. But those breakages can happen with any package manifest, including PKGBUILD.
Aluminum needs to be replaced when damaged. It won’t rust at least, but that’s only if you don’t let it touch any chemicals or other metals.

And you can’t make a robot only out of aluminum, steel, and ABS plastic. Cmon, you know better than that. All it takes is failure of one of the parts they conveniently did not mention and you have an expensive doorstop.

There are untold number of videos out there that complain about lack of sufficient grommets and conduits for vehicle trailers, resulting in predictable shorts circuits. You’d like to think these are all solved problems, but they aren’t staying solved.
The building owners didn't fix the problem when it was identified.

That's the way people are.

And there are many many miles of similar buildings owned by similar people up one side of Florida, down the other, and around the Big Bend.

Each built on sand.

Each sprayed with salt from the sea.

And every one of them built to meet code..."meets code" being the worst possible legal construction.

The only thing unusual about the building that collapsed is that it was the first.
Germany's new law using spyware to hack devices circumventing encryption
This blog post is maybe 10% about monads and 90% dealing with why you can’t have them in rust (no HKTs). I hardly think that’s more approachable…
Almost 50 now.

I wish I would’ve developed a more consistent exercise routine. It is easier to stay in shape than it is to get into shape.

I wish I would’ve invested much more than I did in index funds.

I wish I would’ve gotten over my materialism earlier in life. I never needed the latest phone or computer. Or the nicest monitor.

I wish I would’ve taken more risks.

That said, I ended up with a great life anyway.
I spent about $750 on a Rancilio Silvia, about $550 on a DF64 espresso grinder and some several hundred here and there for other small equipment at $20-30 apiece. I then paid about $750 or so to a coffee roasting machine, and I started to regularly roast my own coffee. Put in about $200 for books on roasting, and I’m now fully vertically integrated, ready to forcibly take over a small Caribbean nation to plant my flag and start my first coffee plantation under the auspices of the West India Company.
NBA also does this for League Pass. A simple work around is to use a VPN to connect from India and buy with rupees. You have to sign in again with VPN each time though when loading a video, disconnect from VPN and then refresh.
I also like https://htdp.org/
It can go both ways, right? Maybe he thought that the war on drugs was dumb, so quit investigating drug crimes and developed technology that made it impossible for a successor to do that job.
This is really a problem in the professional world, and at a lesser extent in some high-end amateur setups, mainly when some competitors want to become pros or if there is some animosity between gyms/people.

They cut weight, have good technique and power, and the stakes sometimes are very high. This is dangerous.

Cutting weight reduces the amount of water in the body => the brain bounces on the skull at a greater speed => more kinetic energy => major risk (hemorrhage...).

Many sports are much more dangerous than commonly thought. Each and every friend who practiced judo or BJJ developed serious joints problems, or even major hips-related ordeals. Comparing football and MMA leads to surprising observations: https://bleacherreport.com/articles/2830774-football-vs-mma-...

My take: do not compete (and do not aim at becoming a professional!), avoid any gym where hard sparring is mandatory, or where the trainers don't closely monitor the sparring sessions or don't immediately break anything getting out-of-hands. There is some residual risk, but IMHO probably no higher than walking down the streets, and the gains are worth it.
Refunds nut jobs argue their logic fallacies are facts... Based on of course opinion pieces....
About a few years after this article came out, I was working for a local hardware reseller. One of the engineers on staff for support told me about NT on Alpha. He also told me there was NT for PowerPC somewhere in a development lab at Microsoft. I didn’t get that far into digging, but he made it sound like Microsoft was doing this as a backup solution should Apple want to offer it.
> Merriam-Webster treats the phrases couldn't care less and could care less as synonymous, both meaning "not concerned or interested at all." "Couldn't care less" is the older and more obvious phrase grammatically, but it has been confused for so long that both are now defined.

Thanks for your feedback. However, I’m going to stick with Webster on this one. Let’s also not forget that English has always been a hodgepodge of language mashups and slang.

https://www.merriam-webster.com/words-at-play/could-couldnt-...
To me the benefit of the sorlock is that you can quicken Eldritch Blast. I have an 8th level sorlock (3 W, 5 S) who can do 4 EBs per round if he really has to.
It's bizarre considering that the company benefits as well when you move to low cost of living areas. Those tend to be low tax states so the state tax burden associated with employing you that the company has to pay goes down. Its absurd that they demand additional savings on top of that.
HTML5 Does Not Exist
Wings3D's UI workflow is really nice for 3D mesh modeling (it was actually inspired by the Symbolics 3D animation system [1]).

Blender feels very cumbersome when you learned 3D modeling with Wings.

It's really unfortunate that they chose to implement it in a language (ERLANG) that severely limits the number of people that can contribute to the software, and as a result, the development of Wings sort of stagnates.

[1] https://www.youtube.com/watch?v=gV5obrYaogU
First, talk to a trained professional.

https://www.samhsa.gov/find-help/national-helpline might help.

No matter how permanent they feel, feelings are temporary. The short-circuit can and will get fixed.

May you be well.
My coworker should get whatever raise they can successfully negotiate. Buying an expensive luxury car is probably the kind of lifestyle event that prompts a lot of people to think “I could do with more money” and campaign for a raise. So kind of but not really.

As for whether you should subsidise someone, if it makes you more money overall then of course you should. Regardless of what luxuries they have.
tl;dr "To talk about dreams in waking life is to talk about the state of mind in which the world-picture we have internalized (and even in some sense authored) has absolute power over us."

A cry for help?
Refund nut jobs argue their opinions are fact.. . Based on opinions.. Moving goalposts from 7 years ago that were debunked... Failed to pan out and claims the company was going bankrupt any day now.. .. While magically making a profit... Logic fallacy. .. How do they work.
ehh no one in china takes these claims seriously
Video Games Are a Labor Disaster: A Review of Jason Schreier's “Press Reset”
Yes if there's gap in history where all recorded data are lost and you are one of a few specimen they dug up, along with Peter Dinklage and Shaq.
I don't like WFH. Maybe it's because this is the 1st time I did it during the pandemic. So here are my questions to those loving it

1. How do you form connections if you do 10p% WFH? many of my friends and casual acquaintance are from meeting people in pantry area. Or meeting someone who is with someone I know. That's not possible now. I am an introvert so pre pandemic itself it was difficult for me.

2. Company doesn't pay for buying furniture or electricity used at my house. I am depreciating my house without any benefit. Company ain't paying enough to offset internet charges

3. I miss going out. But that's a pandemic thing

4. Do you think office politics will reduce if we WFH? I mean it's difficult to be managers pet when everyone is wfh

As an environmentalist I like that my travel has reduced and carbon footprint has decreased. So that's a plus. I've also planted around 20 plants this year. Benefit of WFH
Depression is realization that there is a need for change. This could be habits, location or people in your life. Go on vacation, go to nature, move to a new town.. these all worked for me.
So literally the refunds group... Who makes claims that never panned out... The move their goalposts... While the game continues to fulfill the promoises it made...
still dont know what it means in english
Most likely the brittle failure was due to corrosion of the steel reinforcing. The corrosion due to chloride ion intrusion. Chloride ion intrusion because it's on the ocean.

Or socially, because fixing the problem was an economic non-starter for the condo association. Or a political non-starter depending on how you squint.
`go run` is also build+run, with a dependency scan. But it executes instantaneously. So there is already an evidence that the status quo can be improved. Even Rust's `cargo run` is much faster than `dotnet run`.
> I think it’s better to at least try to make a name that transmits partial meaning or a general gist of the idea.

If we didn’t use formal terms for math concepts, mathematicians would waste all their time arguing about the colloquial definitions of the colloquial words they tried to map onto abstract concepts. It’s better to have a clean break and force people to learn the specific formal meaning rather than try to limp along on a busted half-intuition.
> randomly Google things and pick the first link that looks like it agrees with you

The entire first page of Google agrees with me, which seems a reasonable proxy for the prevailing wisdom.

I don't have a particularly strongly-held opinion on the matter to be honest, but what you're saying isn't what the internet writ large appears to be saying, so I would love to see the sources which support your point of view.
Ah yes, cue the moralizing about how selfishness and greed are the root of all issues. Replace profit with Satan and you sound like a televangelist.
You would have to ask the polar bears.

Except they all got killed by people who tampered with the safety features in their refrigerators.
Solvespace is a CAD tool that makes heavy use of constrains and uses the traditional CAD way of building 3D models, where most of the work happens in 2D planes then gets "lifted" to 3D.

It's useful when you build 3D objects that have to obey strict engineering constraints.

3D modeling for games / sfx / 3Ddesign rarely has such problem and typically follows a very different workflow.
but then you look at one of the examples like the pyramid one and YT analysis that took couple of days to pinpoint the direct cause https://olhardigital.com.br/en/2021/04/27/colunistas/suposto... NVD with 3 blade iris
The Alpha folks talk about being the first port away from x86, but Linux/m68k (1993) predates the Alpha port (1995). I guess the difference is that m68k was happening independently and lived out-of-tree for a long time, while Alpha was happening with the direct involvement of Linus and lived in-tree from the start.
What's really interesting is how long cletus has had an account pushing hate on this game.. While employing the tactics they claim this game is.... Project? Logic fallacies.. Then posting that this is some unique user on their hate bait reddit.. .
Nothing wrong with that, it’s like a mortgage. The loan must be repaid at some point and so will the tax on capital gains.
I don’t give a shit about “value delivered” or how much I “deserve”. I care about how nice my life will be. If I can live a nicer life by moving and taking a pay cut and a large CoL cut then I certainly will take it.
Ubik was one of my favs. He has to put in a coin to get out the door
of his apartment in the morning, right? 5th Element stole that with the cigarette dispenser.
I’ve bought a clone of Toto Washlet for a few hundred bucks on Amazon when I saw the writing on the wall for toilet paper shortages. It worked great for reducing my toilet paper use to 1/10 of what it was, and it’s objectively more hygienic to boot.

Surely enough, one of the first few things to become scarce after the toilet paper was the washlets.
Yeah, in formal terminology that’s “join”. Join + return + monad laws is a perfectly reasonable definition of a monad.
> The compiler cannot catch logic or design errors. If you made a mistake when designing the algorithm and implemented it as it is, you'd need to debug anyway

But that's the thing, it can.

- you can specify compile-time preconditions and use the type system to ensure value are in range (which catches a ton of errors)
- you can use constexpr to enforce no UB (UB in constexpr evaluation is a compile error)

For instance, it's trivial to make a type-checked db id in c++ which will give you a hard error if you use the id pertaining to a given type, to another type. That's much harder to do in C (without implementing a custom code generator at least that would basically reimplement templates) and has saved me lots of very costly hours of debugging when I see the amount of time I got compile errors I got from that.
The way the final verification overlay window was just a little too small so you had to scroll one line to get the final set of check boxes was a very nice touch.