skysight-inc/HackerNews huggingface dataset:
It scares me to think that there's some capital-backed, likely nervous 20-something, reading this on their iPhone with shaky hands before screenshotting it and shipping it off to Glassdoor. Your company should be so much more than this, even an example that you find online for guidance.

Cargo-cult leadership might be the demise of the modern SaaS/VC workflow.
Does any app push bug report notifications to users? Should Microsoft Windows or Google Chrome warn users every time there’s a bug that can compromise their whole system just by visiting a certain website or downloading random pieces of software only a tiny subset of users will ever be exposed to?

I get the motivation with a security/privacy critical app like Signal but this would also be a UX and customer support nightmare that IRL could grind a project to a halt.

Not to mention expecting users to know how to balance the risks of said bugs vs not using the app at all because they were scared off it. Back to using far less secure options.

I think having public forums to report and track the bugs for more advanced users is probably the right balance.

The better solution is internal fixes and triaging the serious bugs appropriately so they get the attention they need. Instead of just offloading highly technical information barrages to average users.

Temporarily blocking features until a patch is released is something that could make sense. But again only in certain circumstances. You can turn off photo sharing here but other cases it’s not so straight forward without crippling the entire app for a rare bug. It’s a difficult balancing act without a uniform solution.
That’s something I find odd, but I grew up as an only child. I actively avoid speaking to my neighbors for the most part and always have. Their business is none of mine.

That’s not to say I don’t have a few close friends, but certainly not my next-door neighbors.
This doesn't just put ads on your site. It shuts it down.
No, but they could just use "Queue Service" as the main branding.
> I hate running as exercise. It's a painful way to get from A to A,

Couldn’t agree more - and it’s so slow. My completely made up theory is that some people are the wrong shape. I prefer cycling as it’s way faster and doesn’t hurt.
Perhaps there are other ways to maximize economic output from lifting weights in a way where it wouldn't be a waste of time? An interesting and perhaps a little "out there" proposition would perhaps be mixing the appeal of lifting weights with the OnlyFans demographic? At the very least it seems like there is a far lower capital cost than having to acquire land.
No, Signal does not get to play the limited resources card when they so firmly discourage 3rd parties from working on their project.
That’s actually really cool, and if wasn’t down $3k thanks to a shipping fuck up I’d had to have to bid on it.
Reddit and Twitter skew young, urban, and educated. It seems like these people are the least happy, because they feel like they deserve more.

My in laws out in smaller Oregon cities, who mostly didn’t go to college or went to the local state school, seem pretty happy. One took on a lot of debt for college and is an unhappy progressive activist.
Maybe?

"technical leader" for a 0-50 org is VERY different job than >100 org.

The CTO is probably very good at 0-1 type of start up work, and probably a cofounder and inexperienced eng leader.

But a experienced VP of eng is required to build teams and process later on. But usually those VP of eng are not good at building startups from the ground up.

So the solution here is either:
- fire the CTO co-founder and replace them with a VP of eng type of talents
- hire VP of eng and let the cofounder CTO focus on other works

I have seen both happened before.
You mean like a bar?
Show HN: Civati – Read, Plan, Develop and Learn by Doing
According to my iPhone tracking, I apparently walk several miles a day just from a habit of walking when on calls (largely circling around the parking lot like a vulture, for no apparent reason and probably confusing bystanders and co-workers continuously). Not for any particular reason; I’m just fidgety.

Well into obese (but less than 300) and it’s really not an issue at all — walking is a very light activity (and far easier than standing). Also notably, this habit has not lead to any weight-loss, or perhaps I eat to make up for it.

Ask me to run however and I’m dying in short order.
Hey everyone,

Civati is a website for software developers to quickly find new project ideas to work on and further develop their programming skills.

When I was starting out as a programmer, I had no idea what to work on and would constantly procrastinate and I noticed this with hundreds of my fellow students. I would find the typical to-do app ideas but there was no easily found central place with ideas.

Do you think something like Civati would be useful? I appreciate any and all feedback and really want to know if any of you would use this.

Thanks.
Semi-related: https://libraryofbabel.info/
Ah, yeah when I say someone should own the customer, I mean you should have an exec dedicated to finding, closing, and keeping customers.

One slight contention here is who owns the keeping part. I’ve seen that under both sales and product, and don’t have strong convictions either way. I think it mostly depends on the type of product you’re selling.
Didn’t think of it that way, so that was a gap in my understanding.

I think EVs are a brilliant thing, none the less. It’d be no good replacing the grid with clean energy whilst we still burnt dirty fuel to get to work.

They’re more efficient use of power and decoupled from the source of power. Even bigger argument for them!
As other's mention below, weight lifting really is its own special thing. But definitely, just getting moving, consistently, is an excellent place to start.

A lot of people in wealthier countries work until retirement age and then park their asses on the sofa to spend the remaining years watching (awful) TV and getting fat and unhealthy. That's not living, and it's a guaranteed path to sadness (and frustration for the children who have to help the parent). Not to say that children shouldn't give back and help the parents, but it's still super important for all parties involved to be making effort.
> So types are prior to sets: types provide a universe of values, constructed in orderly ways, that we can work with; only then can we start picking out certain values to place them in a set.

What about uninhabited types?

Or types where the constructor is not enough to determine the entire type?

e.g.

data MyType a b = MyConstructor { myField :: a }
>if the economic collapse he predicts comes he will be among the first to starve to death.

Or among the last, being used to it by now. Beggars have existed under all regimes and all kinds of economic collapse. Cushioned middle class people however, didn't do as well under the latter...
Upper middle class in America is unique. They have EVERYTHING that humanity can provide. They have access and ability to do anything.

Yet, they are all stuck in the never ending rat race. The excessive focus on the rat race leads to less energy and time left for friendships. The little time that is left is left only for superficial acquaintances. You know, the kind where people talk to each other like a sitcom.

Every time I go to Asian countries, I am stunned by how much time people (even those with high powered careers) give to family and friends. You know, things like casual hanging out in friends apartments on weekends, street food time in the evenings, experiencing a new restaurant or exploring a new village on a short road trip together.

Americans just don't want to engage in this kind of "unproductive" lifestyle. It's all about work, career, money. The entire cottage industry of self-help is all about spending every living moment improving yourself to more material wealth.
It seems like MeToo died down. Just because is decentralized doesn't mean it isn't dying.
Probably as an example picked off the top of their head for the sake of discussion (using something they are familiar with)?
I've mentioned this in another comment about a month ago but it is smartphones. You go to a bar as a regular once or twice a week, even people you know on a first name basis whip out their phones to talk to friends who aren't even there. Um...hello? I'm right next to you, present and willing to communicate, taking the initiative and effort to come out. Why are you ignoring me for the other person who isn't even there?

Phones have made personal relationships much harder because now people can talk to other people not even present far more conveniently. It is a double edge sword in it's entirety. It makes communication convenient and effortless, but also makes personal relationships just as difficult to maintain since you can just text instead of meeting up to get to know how someone's life has been going.

>Too many people don't have the resources to invest in friendships.

I don't believe that for a second. The simple fact that social media is alive and well wasting billions of hours of free time is more than enough to refute that point altogether. People in the past had time for friends and now suddenly they don't? I'd argue it's because people are spending more time on their phones texting or using social media than they are actually physically talking. As I've personally witnessed in many bars. I've had great chats with random strangers who were in the Gen-X or higher age group more than I have in the millennial and younger. Do you know why? They weren't staring at their phones the moment the conversation kinda died. Do you know what they did? They also tried to talk and bring something up during the conversation!
Data is racist. (I guess that triggered a bot. Zero points as soon as it posted. Nice to know somebody cares enough to follow my comments around.)
I believe I could sum up the original comment as "perfect is the enemy of good, and enjoyment greatly contributes to something sticking". I do think a lot of people (myself included) get hung up on doing it the Right Way (TM) that we don't do anything it all.
The chat client misinterprets something and attaches a file to the message. The encryption works fine, the business logic of the app failed.

E2EE won't protect you from a client accidentally encrypting and submitting files in the wrong chats.
Do people on both sides of parasocial relationships feel seen and understood?

I thought the definition there was people that gave attention to someone that doesn't return it?
> I meant that I read some of his other posts and I would love to talk with him about some music-tech related things

Ah, OK. I once read something about this somewhere. You couldn't just say exactly that in a response under one those posts, because it would go against some delicate rule of engagement in bromance.
That's unfortunately only true for old (100+ years) buildings, most newer developments don't have commercial space in the ground floor.
How a young Iraqi programmer tried to adapt Gilgamesh
I really recommend anyone flying a glider as a passenger (in Europe this is often possible on regional air shows run by the local aeroclub) it's totally different experience to engine powered aircraft!

It's much quieter than small general aviation aircraft so you can talk to the pilot without a headset, the only noise being the air flowing around the plane.

The whole plane is also usually much lighter and has better visibility, not to mention being very graceful. At least for me the experience felt much more direct and elegant.

And the experience of being powered pretty much directly by nature and the pilots skill in finding the invisible rising thermals is priceless! Its the perfect metagame, the pilot uses their extensive meteorogical experience to guess where the thermals are and flies there. If the guess was right you are rewarded by the sweet sweet positive altitude value on the variometer. If the guess was wrong the altitude budget is spent and you have to land and try again.

And lastly, it all feels so safe! Like, really - the aircraft has no engine that can fail and is pretty much built to land on any reasonably flat field. And the pilot is trained to always look for a landing area in case they don't find thermals and have to land early.

And what happens if a glider lands in a field ? Gliders have detachable wings so that they can be loaded on trailer dispatched from the airfield. In favorable conditions sometimes a tow aircraft can be dispatched to land near the glider on the same field and tow it aloft again.

Really, gliders are so much different than "normal" aircraft yet so fascinating! :)
I've never done any form of static stretching before an excercise, for resistance training (10+ years) I just warm my muscles up (20 reps) with the lowest weight - but I do static stretching on the area I've worked on the days afterwards

people who are hypermobile may (or will) have issues with out static stretching my friend is seriously hypermobile - she struggles to do anything without proper static stretching - YMMV

I wish I could be motivated to keep doing yoga or pilates
Re-using of message IDs.
Which kills the traffic. So this is a take the money and run scam, not a long-term one.
I work with a few security pros who blog. As you suggest, you can't tell people specific problems you're facing at work but you can do some interesting things to get your knowledge out there:

1. Make educated guesses about real incidents you were not involved in. Talk about how you would have solved this problem if it were you.
2. Set up sandbox environments to demonstrate attack vectors and detection methods. Even "dumbed down" versions will help newbies out if you want to keep your more "advanced" versions secret.
3. Talk about tools and services instead of specific incidences. Most of the info about how they work is public, but you can showcase your understanding my summarizing and giving commentary.
They finally fixed that problem?
More time trials, that's what does mix up the Tour de France. I mean who needs a radio on a time trial anyways :-D
Stop licking the weights when you flex in the mirror. A simple bicep kiss should suffice, and you don't get the lead poisoning.
By that definition, would a meteor that vaporizes in our atmosphere before impact just be considered a meteor?
Principles and Applications of Sustainability
I have a barbell at home and ensure I get at least one workout including each of the "big 3" at least once a week. If I time it right and don't dally in between sets I'm done in less than 15 minutes.

The "big 3" are the core strength workouts of bench press, squat and deadlift. These are the workouts recommended by Rippetoe in Starting Strength: https://startingstrength.com/get-started/programs

For me this usually translates to one day per week of "upper body" (bench, abs, whatever ancillary stuff like curls or skull crushers) and one day per week of "lower body" (squat, deadlift, ancillary stuff such as calves). Abs are worked in between on both days, usually with body weight exercises. This is enough to keep me in good shape. If I do the above 4 days per week instead of 2, it's enough to get me into great shape.

All of the above can be done with a set of dumbbells going up to 20kg/50lb. You might substitute squats with lunges if you don't have access to a barbell.
"Pretty good shape" is subjective - going from sedentary to 15 minutes of exercise a day is going to make you feel quite a bit better, but you wont be winning triathalons or anything. Also note the poster said 3 to 4 hours plus "a lot of walking and or running". I'm guessing this adds up to something like an hour a day of exercise, which is quite a bit. Much more than that and you'd need a proper plan to not injure yourself.
Isn't the confusion just that the Disco language uses the same symbol for its type that math uses for a very commonly known set?

The symbol ℕ commonly refers to a set, but on Disco it suddenly refers to a type, it's not surprising that the confusion arises, especially since Disco also includes the concept of sets.

> The set of natural numbers, denoted ℕ

This is mostly how math refers to it, you can see both set and type here, the set of type natural numbers is denoted ℕ, thus "natural number" is the type and "ℕ" is the set.

The type describes the rules for what is included in the set (in this case: all natural numbers), and the set is the list of all things that are included (each of the natural numbers themselves).

The set of <type> is denoted <notation>
Alienation is/was a term coined at a particular time. It was easy to understand at that time, because it was related to changes in the world that were happening. You didn't have to be a marxist to use it in a sentence.

Today it is still used, because it's part of abstract theory, to which other abstract theory relates, in ways that are entirely meaningless outside of this theory. What's the non-alienated version of an amazon worker, a door-to-door salesman?

>> From this flows a lot of consequences for social conflict, politics, mental health, etc.

Whether or not this was ever true, it was at least a legible statement 200 years ago. Today, it's a completely meaningless, mumbling piety.
Interest rates are lower and the unemployment rate is lower than when the “morning in America” ad aired.
I see in your profile that you focus on Facebook and Google ads. If this is your context for product marketing, it’s totally understandable to see them as dead weight. If you’re meeting with B2B product marketers for paid display ads, you’re already dealing with a dysfunctional marketing org (perhaps part of why they brought you in as a consultant!).

In an ideal world, demand gen and content already have messaging guidance, target segments and titles and their pain points from product marketing (and field marketing for regional guidance), and can just run with it except for perhaps a once over from product marketing on some initial copy for accuracy or tone. Otherwise, product marketing has their hands full researching customers along side PMs, writing more specialized content that’s harder to outsource, or building and delivering sales enablement. Essentially, they’re making sure you’re targeting the right folks at the right time, prepping sales dev to receive those folks, and working with sales on scalable motions to close them. There’s no reason product marketing should be weighing in on the nuances of how demand gen is being executed.

Short version: there’s lots of facets to marketing, a good org keeps people focused where they’re needed based on their expertise.
They're completely untrained in it, though. You gain endurance pretty quickly, and the fact that most people can go from couch potato to 5 miles in a day and just feel pretty tired shows that distance isn't a big deal--we're just lazy.
Try fixing a rare bug quicker without constant user metrics.
Just wanted to say, thank you so much for your contributions. Signal is an amazing product, and things like these happen to the best of projects.
You can use a separate mailbox just for delta chat
Because I ran distances from 5k to marathon (with 10k being my favourite) and so I know from my own experience. I have no knowledge of how you run a 1000k run.
I'm not seeing it. What makes it profitable? If it were intrinsically profitable, wouldn't heavy carbon emitters be capturing their own carbon before diluting it in the atmosphere? What do you do with the carbon?

>The captured carbon can either be buried deep underground or sold for other uses

Okay. Burying sounds expensive and not at all profitable. What uses?

>Climeworks sells some of its captured carbon to Coca-Cola

Alright, that's going right back into the atmosphere. Not really a win. What else?

>oil producers like Exxon and Chevron are investing heavily in carbon capture because the carbon can be used to release trapped oil underground.

Ah.
I think people are hopeful that after the vaccine rollouts, things will be back to normal - and people are starting to do what they used to do before the pandemic. When you down it's easy to overshoot a little when you go back up.
You will never keep doing something if you don't enjoy it.

So it's better to do something suboptimal that you enjoy, than not do the optimal thing because you hate it.

And cardio definitely helps with weight loss, because all the bodybuilders do it for cutting.

For me it's bodyweight excercises and running. And I don't really care if there would be something else that's better.

And about the cake example, you probably want to replace that with healthy food that you enjoy, not with the most healthy that you detest. Otherwise you will drop out immediately.
I’m a bit sad that people in functional programming circles seem to think this way, because to me, it feels like a pretty flagrant disregard for the obvious. No offense intended at all, but please consider: is it possible you are mentally comparing C with a language that is generally memory safe? Like Lisp or Haskell?

Understanding code and programming languages doesn’t prevent you from making mistakes. Advanced type systems can help, but you can put those in imperative languages too, and they do have their own pitfalls and limitations. Obviously, nothing is a panacea. But I think programming paradigms are neither here nor there...
I saw the sky lighting up several times. I thought it was a thunderstorm and was confused by the total lack of sound.

Here is the best video I could find: https://www.nrk.no/norge/meldinger-om-ildkule-pa-himmelen-et...
ASN.1's primary problem is that it has been around a long time.

Long before folks understood the security implications of a buffer overflow, we've been parsing ASN.1.

Most of the vulnerabilities stem from the basic problem of trusting length fields. Any binary encoding is going to have similar issues.
Similar system (partially transparent baloon) can be used in space for the solar thermal engine concept:

http://www.projectrho.com/public_html/rocket/enginelist.php#...
> we were able to get a fix out very quickly.

I'm not sure if 8 months can be categorized as fast... The issue was posted on Dec 4, 2020, and the fix (5.17) was released on July 21.

Also, sounds like quite a big issue considering that Signal is all about privacy...
I get the sentiment, but can something free really be a scam?
It's not reasonable to conclude that going out of my way to pay money will make a page suddenly populate with a story. If there's no offer for more content, I don't assume it's there.
Is this actually based on anything?
How can you be so sure if you haven't tried it?

I'd rather use a chat app that takes security matters seriously and urgently and will eventually have E2E.

What's more 'idiotic' is prioritising and bolting on cryptocurrencies [0] than fixing urgent security issues, leaving it for months unfixed, while also claiming to be private and secure, and also requiring your phone number.

[0] https://www.wired.com/story/signal-mobilecoin-payments-messa...
It also almost always requires a lot of land. You could not feed the globe if everyone was self-sufficient.
I have read the same. It does seem that modern advice is to just do some warmup movements rather than static stretches.

After, however, stretches are really important. Without proper post-workout stretching, you can wake up with muscles so tight that you can barely stand up. Not only is that hard on joints, it seems to slow the recovery process.
Yes - also simply the circumstances: if you’re in a position to do either well, you probably don’t have serious chronic health problems, family demands, poverty, etc. That doesn’t make it easy but it makes it possible to focus on something more than survival, much as how coming from a financially stable family makes it easier for someone to take a gamble on a startup rather than a safer job at a big company.
My understanding is that RootkitRevealer is no longer being maintained since it was being used by malware authors to evade detections. The age old cat and mouse game.
I’m going to assume that the scam is likely buried deep within the TOS somewhere? Has someone checked?