skysight-inc/HackerNews huggingface dataset:
Something I've become passionate about in the last couple of years is reliability in software and professionalism in software development.

I feel like we're at an inflection point where the cost of developing formal specifications is coming down enough for more teams to be using them in their practice. I'd like to continue that trend to allow more developers to use pure maths to solve their problems and use computers to verify (and maybe synthesize) their work.

I don't know what five years from now will look like but I'd like to either be working on or finishing a maths degree or starting a company to work on developing tools to work with formal specifications and proof automation and consulting with teams to help them write specifications for their critical components.

> How do you work towards achieving it?

I spend my free time working on problems in predicate calculus and writing specifications in TLA+ or Lean. I look for opportunities in my day-to-day work that would benefit from those skills. When it is time to think about my next position I will look for jobs that will help me get to that next level. Right now that means looking for opportunities to work on projects where reliability is highly desired and complexity is also quite high.

When I conduct 1-on-1's with my team I try to get people to think about their career. I like to encourage people to think strategically about their future. What do you want to be doing, in an ideal world, 2-3 years from now? What can we do now to set you up to be ready for that opportunity when it comes up?
I'm a parent too. We get a lot of contradictory messages thrown at us. We're repeatedly told that we shouldn't over-parent, but is that just a middle class myth? Rich parents meddle extensively, not just in school, but in their kids' personal lives and careers, well into adulthood.

We can't afford to follow middle class myths any more, because the middle class is vanishing.
> Books are like fruits and vegetables.

You may have an idealized notion of books.

https://en.m.wikipedia.org/wiki/Pulp_magazine

There are literally tons of junk books out there.
Leader Election in Scala Using Finagle for RPCs
This is really neat, but in my opinion conflating theory and actual verification through Coq might be a bit too much for a newcomer.

For those who are looking for a softer introduction to the field, I highly recommend "Reactive Systems: Modelling, Specification and Verification" by Aceto, Ingólfsdóttir, Larsen, and Srba (full disclosure, I am a student at Aceto's current affiliation).
Do some research into living with someone with borderline personality disorder. Only someone qualified can make the diagnosis but for those that may be involved with someone with bpd learning about bpd can help them better navigate the relationship, set boundaries and better protect their own mental health.

The early childhood abuse, unstable relationships and “the void” seem like a strong fit.
If managing renters is someone's thing, there are plenty of opportunities to do that right now. If you're in your 20s you can live frugally, save some money, buy a (quad|dup)lex, and live in one and rent the others. It might not be doable in SF/NYC, but the US is a big country.
> I don't really know what I want to have by the age of 80

I do know what I want to have: my health. Health is kind of relative at that age, but I'm working now to be the healthiest 80 year old I can be.
Ah, yeah. I was reading a bit far into it.

Do you think she'd be willing to go to couple's therapy? It's very expensive but it can be worth it.

If you're ever looking for someone to just listen, let me know.
Has anyone given any thought to dynamic linking wasm objects to save bandwidth?
You're missing the second question :)
I think this is really it. Suicide rates have shot up 31% for boys and have over doubled for girls. I'd be willing to bet that a lot of that has to do with girls, who have always been subjected to unrealistic societal standards for attractiveness and an over-emphasis on how they compare to other women in appearance and social standing, now suddenly finding themselves in a situation where they are feeling pressured to compete on a global scale for these things over platforms like Instagram and subjected to feeling like they are constantly coming up short. I've heard a lot of anecdotes regarding the extreme escalation of efforts by girls to come off as more attractive/popular on social media in recent years. Their lives are now inundated with metrics by which they feel they have to compare themselves to others. That would make anyone anxious and depressed.
Yeah...definitely rubber ducking this right now and it’s pretty clear...I’m glad I posted something. Haven’t had many people to talk to about this who don’t have an emotional connection to the situation.

But I mean seriously. I didn’t ask for this so I still love/d her. Tell the person you love, the mother of your child, that you’re done putting a roof over their head. It’s hard. I know that’s no excuse. I need to grow a pair. But fuck. It’s hard.
Does anyone know if the amount they'll be paying in Microsoft licensing is (or will be) public?

It would be interesting to see if they're getting an unusually good deal. Though I suppose there might be ways to hide that if they wanted to.
Blood pressure, salt, and genes: What happens when the dots don’t connect?
Thanks. I have now edited this in.
MS Office compatbility with their own formats (older versions usually) is not 100% either.
They are MIT-licensed. (At least the archive for Logical Foundations is.)
Ahh, I see what you're saying. The issue here is that most people have a company's name baked into their email address–so the equivalent for phone numbers would be like me having to dial the carrier name along with the phone number. There is a solution for this problem: give everyone an email address on their own domain, and allow the service "backing" it to be swapped out (this is what I do-I have an email on my domain, but it's transparently mapped to a preexisting Gmail inbox). Of course, the barrier here is that people are used to email being free and easy to set up, while this solution requires a domain name registration (so, around $10-$15 a year minimum) and some technical knowledge on how to set up MX records.
Most of them were already minimised with SVGO and svgcleaner. If you can make them smaller - I'd love a pull request :-)
Join the "indie web", [1].

[1] https://indieweb.org/
Does Carp support ADTs or pattern matching? I couldn't see anything in the documentation.
And they should be sitting on the train staring at other people? How is that better? They are actually communicating with tens of people while they have to sit in that train. Yes, someone look at instagram, someone just browsing internet or using chat or reading books etc. Smartphones didn't make people antisocial they just channel their attention where they like.
Really really appreciate it...sharing is making me feel better.
No, computer science is not the same thing as software development. There is a lot of science in computer science, you probably just haven't been exposed to it.
Having directed this to my teenaged younger sibling (he is intelligent and expressive) he explained in his view, teenagers have a poor prognosis for their career prospects and are aware of this. Technology allows them to be aware that life doesn’t look good for them, that they cannot look forward to retirement, to a stable long term career, that the amount of education and debt they will need to accrue is ever-increasing, that their success in this society will rely on using and stepping on others who will now have less as a result, if not in their own community then in the international stage. He attends one of the best schools in the nation and he believes most of his peers feel the same pressures both of their career prospects and their place in the greater international stage and all the things that are wrong with it that they cannot change because they cannot be in a position to change with any sense of ease (e.g. to have enough money to buy jeans not made via human exploitation requires an amount of success that feels as if it is becoming rarer,and even then how do you help people who cannot afford them to avoid exploiting other humans)

All in all, I think a growing awareness of the worlds problems and their individual struggles to be in a position for themselves is a pretty good reason for teenagers to feel more anxious and depressed.
A really nice answer. It's too bad, I suppose, that the same abstraction can't be used "all the way down". I suppose then we'd be stuck with some high-level encoding of the chip's ISA, perhaps generalized to allow the programmer the ability to define new instructions, and an increased number of registers, etc.
Ok, thank you, I will look into BPD.
Getting Started with Face Recognition in Python
I was at CCC in Berlin a couple of years back, the conference network was assigned a subnet previously used in Russia - I was getting verification emails from services I use for months after.
I have a good internet line and a fast computer but the images took pretty long to load, all the while making the website hard to use. So I don't really observe the same behaviour as you.
The index fund advice relies on a couple of observations that can be applied to any location with an economy that is expected to grow over the long run. First, picking individual stocks is very hard to do consistently so don't even try. Instead, rely on the economy overall improving and own a basket of stocks that should rise with the economy long term.

Second, there is one thing that the investor can control, and that is fees. Fees eat away at investments over time, so as an investor one should be fighting fees at all times. It just so happens that there are many index funds with extremely low fees.
Haven't noticed any of the supposed side-effects doing so could cause. For a while, not eating for hours was also supposedly bad for you. Then fasting started to show benefits. It turns out traditional dietary advice might not be worth jack shit.

https://www.coffeeandhealth.org/topic-overview/coffee-and-di...

One study found a slight increase in acid reflux when drank on an empty stomach, a problem I don't have, other than that there does not seem to be any associations with gastritis, ulcers, or dyspepsia.
Aren’t you worried that the extra revenue will fund so many distractions that your focus on your business will falter thus driving it to fail?
I am more concern with the power he is wielding. He doesn't seem to think things through from other perspectives. The fact he dismissed the possibility of social hacking Facebook to influence others make me think he is surround by yes-men that only whistle to the tune he likes. Unfortunately, I have seen that too many times in startups.
It totally works, it's just not particularly easy to do. wasm modules have import and export sections; you'd instantiate the std module first, the instantiate the module that depends on it, pointing its imports at std's exports. I don't know of any tooling that makes this super easy at the moment though, you basically have to do it by hand as far as I know.
As you point you Up votes are a useful filter. However "Like" only voting allows things to go viral that piss off large chunks of your readership. Readers end up being assaulted with emotional appeals devoid of content which many people disagree with but without down votes they simply don't count.
I think they should remove the media content they add to external links and only show URLs. If people had to click a link to see the title, summary, images, or other clickbait meta content they'd be less likely to share links thoughtlessly. They might also see that the URL is untrusted and choose not to click through. Facebook could charge brands to show their content alongside click bait media. It would be a lot easier to verify the authenticity of ten thousand brands than every random link that's shared.

Wouldn't solve all the issues but it would be a start.
Though we have to say many Eng. don't respect that oath and are not held responsible... For example civil eng. firms giving money to political parties to have contracts.
In general, I'm surprised that events are not served as (e.g. iCal) streams more regularly. Consider also cinema/ theatre/ concert listings - this is (should be) extremely structured data, but the only way to keep up with a bunch of venues is by visiting their websites regularly. Or is there an easier way that I am missing?
The US government should take possession of all Facebook shares and use the profits to fund universal basic income. I don't think anyone would complain... Except a tiny percent of the population who owned Facebook shares but who cares, they're evil/morally bankrupt anyway.
EPB Fiber surpasses 90,000 customers
Why is the precision so low? I assume it's not due to lack of computing resources. Is it due to the limited accuracy of inputs? inherent instability of the model, like with weather prediction?
I am not sure how true that is. I have had many comments go negative and still end up positive.

I think people are more likely to think about voting when they see a downvoted post.

PS: I also feel some net negative posts are a good sign that someone is not simply voicing the crowd's opinions.
“The Relentless Pace of Automation” – MIT Technology Review
I wish that CSS could be applied to them consistently.
Looks like some images are higher resolution than displayed, that makes them slower to load I guess, but on the bright side one can right click and "view image" to see the stalactites in larger glory :)
This is one of the main reasons why I have a custom domain for personal email. Right now, it forwards everything to gmail. In the future, I can have it forward to a different provider, or a mail server that I run (if I feel particularly masochistic). All of this without having to tell everyone I know to start using a different email address.
https://www.trustedkey.com actually uses the Enclave and also the equivalent component (Secure Element) in Android phones.

Both of these modules use the secp256r1 curve at least, so the signature verification algo which runs on the blockchain can be the same for both types of devices.
(You can find some more details on this topic here:
http://blog.enuma.io/update/2016/11/01/a-tale-of-two-curves-...)

Since the Byzantium fork there are some precompiles available for curve operations. Using those for the r1 curve signature verification in EVM code brought down the gas cost to practical levels.
I would prefer compilers that produce compact statically linked "binaries".
Is there data on the quality of management decisions?
Thank you, I appreciate your ears.

I have been trying to get her into couples counseling or even just individual counseling for over a year. She just never makes it happen. I started counseling individually 2 months ago. She came to 1 session, I booked her a follow up, but she cancelled it. She has theoretically agreed to couple counseling in the past, but now couldn’t be bothered.

She thinks her IG friends are her counselors, starting the echo chamber cycle.
When it comes to financial advice, I tell people the following:

1. Live within your means. Spend less than you earn. But it's okay to take a vacation and splurge a little, too. Or if you need to buy something like a suit that stretches you a bit think of it as an investment for your career.

2. Use credit cards responsibly. They can be great for their rewards programs, but you can easily get into trouble with them. Be very careful.

3. From a financial perspective, it's never too early to think about retirement. Take advantange of your employer's 401k program if it's offered. Additionally, setup and contribute to a Roth IRA retirement fund through Vanguard or Fidelity.

4. Buying a house makes sense as a long-term investment. Location will primarily determine how good of an investment it will be (which sometimes is hard to predict into the future).

5. In terms of what to invest in, buy a low-cost index fund from Vanguard or Fidelity (e.g. S&P 500) and make monthly or quarterly contributions to it. And don't touch it (i.e. sell), especially in a downturn.
Findy App –“Stop Searching, Start Finding.” It’s Like the Tinder for Stuff
Such blatant corruption is sickening.
At what point does using a vector SVG is worse than raster image? Level of image complexit, requiring a ton of path elements?

the Twitter logo can be create in basically 2 path elements.

What if my logo is much more complex? Is there a threshold at the complexity of my image results in an SVG payload > than a properly compressed raster image?
Challenge: Build Your Own Array in Vanilla JS
You could use Geary, Evolution, mutt.
The caves look cool but the Prepper links on that page make me very wary of the kinds of neighbors you'd have there!
This is from quite a bit earlier in 2017. It is just a USA thing, Congress overturned FCC privacy rules, so now internet service providers in the USA are allowed to sell their subscribers' browsing data to third parties.

(Edit: Amazingly the four previous people who responded to you seem to have all gotten it wrong)
Really cool. I've always wondered why nobody was doing this. Just about every website in the world could benefit from it. Nice work!
Would someone mind calling and getting the price for us?
The article specifically mentions precision, but not accuracy.
Scheme is a lisp, and I'm pretty confident that two of the biggest selling points of lisp are dynamic typing and a strong distaste for (if not an outright prohibition of) mutation.

Put it as a question because if you take those two things away, wouldn't it just be Rust with parenthesis?
Canada’s native inter-generational shame
> Self-awareness of bad psychological attitudes towards money is not always easy.

How true!

This comment shows that you'd awful at giving advice since you seem completely unable to introspect on your own preferences, see them as preferences, and understand that other people have other preferences that lead to different optimizations.
Try doing that in MS Office for Mac, equally as bad. :(

IT team at a previous employer had to setup Windows VM for some sales folks (who otherwise loved Mac) because it was so bad.
You need to look at serialization overhead for exchanging data. For example, I don't think web assembly has direct access to JavaScript strings? What about JSON?

Seems like you're either converting a lot of strings (which wastes memory) or calling lots of JavaScript string methods from web assembly, which is not likely to be fast in an inner loop.
They know they've been swindled. At some level, Boomers know it too, which is why they prefer to focus on the phone stuff. Millenials can't afford to buy houses because they pay too much for iPhones, not because their jobs pay shit and housing prices have gone way up and they're drowning in student debt. Et cetera.
By the illustrious Prof. Jordan Peterson:

https://www.youtube.com/watch?v=_vAat1HQU0M

Some brilliant advice there on breaking down long-term, often vague plans ("save the planet") to practical, actionable steps and expectations ("clean up your room").
I always wonder what the average and median proficiency level of the applicants is, when looking at admissions rates.

In the US and europe, I always felt like people were more self selective than in Asia (India is the place I’m familiar with), meaning that more young people would not apply to top schools because they convince themselves (rightfully or not) that they’ll never get in. (Application fees are obviously inportant to consider: 100$ in the US vs free or very cheap (comparatively) in asia)

In India, I met lots of people applying to an unreasonable amount of jobs and colleges, because demand is so small compared to supply.

This means that admissions rates are likely skewed between different countries. Based on my anecdotical evidence, I’d say the average Harvard applicant is more skilled than the average IIT applicant, though the admitted students are probably as skilled.

EDIT: spelling
If it weren’t for the iPod, Apple Computer would be on that list.

RethinkDB comes to mind.

In the vein of palm pilot: The Apple Knewton.
Well, if just one simple action such as one country even partially opting out of globalization could lead to a world war, then I'd prefer to cancel the whole undertaking asap. Countries and civilizations have existed largely independently for centuries, if we've build ourselves a house of cards that can come down that easily, getting self sufficient and extracting yourself seems like pretty simple common sense.
The password - as currently implemented - is a fax machine (read: dated technology). Anyone reasonable sees it's far from ideal. Yet there seems to be little _significant_ innovation on solving this problem with something better.

I can order a pizza via Twitter, but I'm still using passwords?
> Wall Street lobbyists made Democrats nerf it to the point it's almost meaningless

This is wrong. Was Dodd Frank reduced in scope and severity from its first drafting? Yes. Does that amount to watering it down to meaninglessness? No. The bits that stuck have bite. Some bits had, in my opinion, more bite than merit.
In case anyone else was suspicious of the 20k file size for a 512x512 PNG with essentially two colors - it's way off. I dropped it into Photoshop and exported as PNG and it spit out an identical file that weighs in at 6k.
I feel that you are portraying Ubuntu as representing all of Linux, and maybe it does to you, but this is far from the truth.
11 biggest hackers attack in the history of cryptocurrency
SURVEY FINDS CONSUMERS WOULD USE VISUAL IVR IF GIVEN THE OPTION
$5000 in earnest money is fairly low for the size of lot. I'm not going to call, but I'd put money on it being <$1M
> She has a girlfriend now.

Social media can't be responsible for that.

At least you didn't have kids. My sister's friend (a man) was married to a woman who left him for another woman. Two kids from the 6 year marriage. There was no "social media" element to the story. Sometimes people just change or snap, and is most likely because they get married too young in the first place.

Another person I know, a man, got married to his girlfriend - they'd been together for about 4 years and were happy. Big expensive wedding. Less than 12 months later he left her for another woman. Again, social media not involved at all. Just human relations.
Develop a framework for teaching people (and children) critical thinking, mental discipline and emotional control. The first part is relatively easy, the second, harder and the third, the hardest. How am I going to do that? First, I suppose I need to get to a point in my career and personal life where my finances are good enough that I don't have to decide where I spend my effort based on the income it'll bring me.
Don’t disagree, but playing devils advocate, they won’t be on Windows / Office till 2023 per linked article. Five years is a long time in the land of software to resolve promises.
These are a few things someone could think through in an afternoon. Perhaps too much of the self help and motivational encouragement people receive is to blindly press forward without thinking.

No one thinks twice about checking the map/GPS to make sure that the road they are driving on actually goes where they intend to end up. Yet, many will work hard and pay loans for years without minutes or a couple of hours of upfront critical thinking and very basic grade school math.