skysight-inc/HackerNews huggingface dataset:
I've been fascinated by perfect pitch. I studied theatre before a bizarre turn of events eventually settling into software engineering, so I got to meet a lot of extremely musically talented individuals, and out of those I've met only one with perfect pitch.

I peppered them with questions- I asked how long they've had it and they explained that they learned music (piano) at a very young age. They can recognize a single note, even chords. They can also be given a note to sing. I asked if they needed to hear other notes in order to distinguish it and they said no, they can hear a single note and know exactly what it is. I have always been fascinated by this.

Not related to perfect pitch, but I've trained myself to somewhat replicate this through relative pitch. I quitely hum to myself the lowest note I can (which just happens to be a C natural), and from there I can mentally step up and down the scale chromatically to find whatever note I need. I'm accurate to about a half step but no more than that, sad to say.
I've considered pitching it, I'll be honest... We stumbled upon a pretty nice architecture via trial-and-error, but when I read about re-frame recently, I realized that it was the exact same thing except in a cohesive framework and years older than I'd have imagined (IMHO ahead of its time)!
This is a teaser / preview and not necessarily what is going to come. But Rust could evolve to providing checks like this:

https://i.imgur.com/oqtEDoV.png

From miri, page 27 in their slide deck. The miri project has changed a lot since the slides were written — and it is now close to being merged into rustc.

miri: https://github.com/solson/miri
Concorde moments for tech:

-When RIM stopped making the blackberry 7520, which (paired with nextel, with push-to-talk) was the best phone, with the best UI, ever made. They made the phones
thinner, and shinier...and less useful in the process.

-Dropping 3.5mm headphone jacks, an example of a standard that works, and has worked, flawlessly, for a very long time (I know this horse is beaten to death).

-Getting rid of iPods for "iPod touch" (neutered iPhones)
Here's a lead on it:

http://marionrecord.com/direct/this_man_cave_is_not_metaphor...

Here we go, recently listed at $400,000:

http://www.mossyoakproperties.com/land/23324

So unless a lot of work was put into it, probably still around there. The website is still up:

http://www.hurricanerivercaverns.com/
Are you saying that if you were unaware those people existed, your mental health would benefit?

I don't understand. "Ignorance is bliss" surely can't be an antidote to depression.
> Messenger is a really useful tool to stay connected. Pretty much everyone I know is available there, so using it is a net positive for me.

I fully agree. I use messenger more than texting. Peoples phone #'s or email addresses might change but Facebook stays constant. This tool's especially useful on Android, where my iPhone friends are hesitant to text me bc of the dreaded green texts.
My philosophy is "find interesting work that contributes something to society and makes money without screwing over other people or the environment". Thus, in a small way, leave the world a better place.

Other than that, develop my current venture to a successful exit and watch my kids grow up.

I do have some more out there, what if, pie in the sky type long term ideas...

Sail with my family around the Caribbean for a couple of seasons (too much of Sid Meier's Pirates!?).

Finish editing and publish my social/anthropological documentary on a weird community I used to be part of.

Publish my photographs.

Open a museum to Ecstasy in the place of its original synthesis, Darmstadt.

Open a museum for the Australian ACMS historical computer collection.

Digitize and classify my antique postcard collection (20,000+) and allow others to upload.

Spend a few decades in one place gardening and enjoying the results.

Make more art.

Help others, especially smart and motivated young people, to achieve their goals. Might like to do something accelerator/VC/mentorship related here. Or maybe take a leaf out of Alan Kay's book and focus on education for awhile.

Might be fun to re-read this in 10 years ;)
Is this significantly different from something like MS’s Cognitive Services’s Text Analytics API for sentiment analysis? (not trying to be critical, legit question)
I believe in some genetic personality, but you can't hold that against or for someone really either. I realised after reading a few autobiographies how much chance was involved but I still read them to learn how things in history happened. I recommend Titan by Ron Chernow, it's JD Rockerfeller and the oil industry in America, amazing writer, I recommend all his autobiographies.
Inflation isn't a big concern for China, keeping the manufacturing and technological advancement machine running and public satisfaction high is what matters. And keeping the American public uninformed, but their politicians have that well under control.

China is way too smart to go to war, they can assume leadership without having to engage in significant conflict as long as they make sure they share the wealth with the proper people.

They actually deserve world leadership, I think they've earned it.
I found top Youtube comments to be more or less funny/enjoyable now. The shitty comments got downvoted so I no longer see them unless I delibrately try to see them, they don't appear. It's very different from youtube comments back then. But then they are still mostly unhelpful/uninformative.
Exactly. Ironically, China's has the best method of preventing all these horrific problems of speech..
Career-related: I want to get and keep a good job with actual growth potential. I am finding that it is incredibly tough to get into the IT field when you don't work in a tech hub of the country.

Family-related: I want to create and manage a family emergency fund, something that my close relatives can dip into if they run into trouble. I'm still trying to think of a way to structure it. Poverty is an issue in my area, and I'm finding that many of my relatives would be better able to create and meet medium- and long-term goals if their short-term situation was a little less precarious.

Retirement-related: I want to save $2.4 million as quickly as possible. That would give me a safe annual withdrawal rate of ~$60k, meaning any money saved or earned beyond that per year could go towards charities, family funds, or my kid's 529 plan.
FBI didn’t tell US targets as Russian hackers hunted emails
New ICO backed by Hyundai
I'd recommend people interested in learning formal methods do not start with things such as Coq or Isabelle/HOL. Most people find the process of learning or using those so difficult that they quit with a potentially-permanent aversion to the term formal verification. In engineering, it's often advised to use best tool for the job esp with highest ROI. So, if you're interested in formal methods, I strongly encourage you to start with so-called, lightweight methods that give a lot of return for little investment. They teach you how abstract specifications with tool-assisted reasoning can quickly catch deep errors tests often won't.

Two of those with lots of benefit in realistic projects are Alloy Analyzer (esp for structure) and TLA+/PlusCal (esp for order):

http://alloy.mit.edu/

https://learntla.com/introduction/

These are immediately useful. Especially in distributed systems for TLA+. Then, you get a book such as Chlipala's Certified Programming with Dependent Types or Pierce et al's Software Foundations. Chlipala is also doing a new one called "Formal Reasoning About Programs." You can try to use those to get some elementary stuff done with the heavyweight methods. It will probably take you 1-2 years to get proficient enough for real stuff. Two outcomes are common:

1. You don't make it. Don't get mad: most don't even when they're smart. Good news is you enjoyed lighter stuff that you'll probably continue to apply and expand on for rest of your career. If other users are lucky, you might have run into their limitations enough to start improving the tooling, documentation, or something else. Those will get better since you learned them but avoided heavyweight stuff.

2. You made it! Now, best result for us IT folks is you apply your skills to real-world software formally-verifying useful algorithms, protocols, compilers, OS's, and so on. For inspiration, be sure to look at CRYPTOL, miTLS, CompCert, CakeML, RockSalt, seL4 or VAMOS, Verdi, verified garbage collectors, foundational backing of static analyzers like Verasco, tools with automation such as SPARK Ada, ACL2 for hardware, and maybe rewriting-based stuff like C semantics in K Framework.

If you can understand heavyweight verification, then apply your knowledge to more stuff like that since you'll (a) possibly be having real-world impact and (b) be doing work challenging enough that you can be very proud of your successes.
Assuming that the Rust stdlib eventually is compatible/compiled for WASM, wouldn’t it be better if that was cached for all sites which use it, rather than downloading it each time?

I can imagine a world where all dependencies are compiled for WASM, similar to crates.io, and then all apps using those libs would benefit from sharing and load blazingly fast because they only load the site specific code.

Wouldn’t that be a good thing?
The systems we built are a lot more complicated than one proton.
You want to have a baby then kill it?
Weird community? Hints plz
>I've been waiting for a non-Clojure lisp to make some headway. Immutability

Common Lisp welcomes you, as awesome as ever since 1994.

>Immutability is mostly a fad

Inmutability is good. What i don't like is mandatory inmutability with no easy way to opt out.
The article claimed that SEP is a black box, which you strongly denied based on the contents of the security whitepaper. But when confronted, you failed to present which part of the document presents how SEP is implemented in detail.

If you would like to avoid such replies in the future, try to avoid making strong, absolute statements. When I talk about topics I am unfamiliar with, I tend to use phrases like "I think" and "I believe" quite sparingly.

> Says the PhD candidate in hardware security.

Again, the fact of the matter is that the Apple security whitepaper is a marketing document. I'm not sure what my background has to do with that though.
This is delegative democracy, and I’ve been thinking about how to try to get this implemented too.

Rather than trying to push it at the state level, which still seems a pretty high barrier for entry, I’m wondering if it’s possible to run as some kind of state or local representative, something like city council, and set up a system so that the rep’s constituents are the ones using it to inform their rep of their wishes. They’d use an app or site to vote on things known to be coming up in the chamber, delegates could make public statements about them. The representative could run either on a platform of “I will be bound by how my constituency votes” or “I will not be bound, but I better give you a damn good reason to vote contrary to my constituency if I want to be elected again.”

DemocracyOS and other open source tools are starting to appear that should make the implementation of any number of these systems fairly easy, though of course there’s still security and ID verification to contend with.

https://en.wikipedia.org/wiki/Delegative_democracy
Interesting! Can you tell what are you working on? It may help others.
How does the fact that the preppers are rich argue against being wary of them?
When you say 'mature' has the compiler stopped crashing all the time?
I completely disagree. Most engineers and mathematicians have low emotional intelligence compared to lawyers, real estate agents and business people.

Most engineers I know have trouble reading facial cues when interacting with other people. Also they don't realize when they are being manipulated and they are incapable of manipulating others to get what they want.

People who have high emotional intelligence can essentially read the other person's emotions while they're talking to them and they can use the feedback to adjust their speech to make it more convincing. I think that's definitely a form of intelligence and it requires a lot of practice as well as natural skill.

I've met some very uneducated people with very high emotional intelligence.
> Most wealthy people are moderately intelligent

They are if they made their own money. But there's no correlation between intelligence and inherited wealth.
Once you’ve made the switch to a static front end (eg. a static react front end where the browser loads one file each of html, JS, and css and after that it just exchanges JSON content packets with the server), Netlify’s static content pattern starts to look really natural and a much more modern cloud architecture than old school Wordpress servers running half a million lines of PHP on SQL backends.
>their success in this society will rely on using and stepping on others who will now have less as a result

That reflects a fundamental misunderstanding of economics. While there are indeed predatory business models where this is true - casinos etc. - most highly successful people and businesses become successful by creating value, not siphoning it from others.
long term goal: found a nonprofit institution dedicated to free education in matters of critical thinking

other long term goal: build my business to the point where i can trust someone else to take on some of the grunt work
> Linux desktop is on for the 86% if the train which only uses a browser ("Internet")

Ugh. Stop it. Just stop it. It isn't the late 90s or early 2000s anymore. Hardly anyone uses a desktop computer just for the internet because that market is well served by phones and tablets. That segment of the market existed only for a brief time between the rising popularity of the internet and the invention of purpose built consumer devices for browsing the internet.

Linux Desktop community continues to prop up this strawman user because it is an easy target. Tell them something is wrong with how the OS works that's keeping people from wanting to use it and they'll point to their strawman and say "most people just browse the internet, and we can do that just fine, it must be something else!". Users hate your software? I'ts because they're drooling morons who don't understand it because they just use a computer to browse Facebook. It's a convenient ego-saving lie, like pretty much every excuse that comes out of the Linux desktop camp for why they aren't better. Excuses is what the Linux Desktop community is best at.

I could literally rant for hours about the problems with Linux as a desktop, but the short version is that it sucks because the community behind it sucks, and probably likes that it sucks because it allows them to feel smugly superior to all the "average" (read: drooling browser-only strawman) people.

Even when Linus himself bitches them out they don't pay attention:

"making binaries for Linux desktop applications is a major fucking pain in the ass. You don’t make binaries for Linux, you make binaries for Fedora 19, Fedora 20, maybe even RHEL5 from 10 years ago. You make binaries for Debian Stable…well actually no, you don't make binaries for Debian Stable because Debian Stable has libraries that are so old that anything built in the last century doesn’t work." --Linus Torvalds (DebConf 2014)
You realize for them to make any profit off of “shares” they’d have to sell them back to someone willing to buy them...

That’s aside from the fact that whole idea is ridiculous to begin with.
My long term goals: build a house (https://www.huf-haus.com/) and concentrate more on the study of Buddhism. In addition, learn to ride a horse (my wife has two, but I never had the time to ride them). So I guess my plan is to end my career as soon as possible.

I am working on it; wo of my companies will have an exit within the next five years, so at the beginning of my 30s I should have the foundation to work less and study more.
Russia hackers pursued Putin foes, not just US Democrats
I grew up in the area. I'm sure some of that will happen, but it is also BLATANTLY obvious to the people living there that something has changed. I have relatives that have lived in the area for 70+ years who had never experienced a single earthquake ever until less than 10 years ago, and now suddenly there are earthquakes once a month or more. They know something is up, and whatever their religious beliefs, they also know it started happening at the same time as the fracking equipment rolled in.
I wonder if people would be enticed by a Linux OS that runs Android apps seamlessly (and with complete functionality)... There's a lot of good apps for mobile that are better than desktop alternatives, though I wonder how it would work legally with Google's Play Store...
Fostering Digital Independent Workers
Instagram was never my favorite, but I could at least get behind the old news feed sorting by "most recent". I recently deleted the app bc of the new sorting algorithm, which I'm not a fan of. At least Facebook gives the option to switch the news feed sorting back to "most recent".
There is certainly a cost, I'm just not sure I would call it abstraction cost. Is memory safety an abstraction?

Safe Rust has runtime costs as well (mostly bound checks).
I don't think it's the social media. If she was abused as a child, then she is dealing with levels of emotional pain we cannot imagine. Being in a relationship with someone like that takes a superhuman level of patience. No one understands how much child abuse wrecks the psychology of a person until it's their immediate family.

It sounds like you've been a good husband to her. Women don't forget good treatment, even you feel like it's not being recognized. If she was abused by a man, it's possible she sees all men as villains, including you, as a consequence of the trauma, and that's not your fault.

You have to take care of yourself first. Put on your oxygen mask before helping others, etc. But it's obvious you still care about her and that's commendable.

Don't rely on forums like this for advice. People here tend to be bitter and antisocial. Stick with the therapy. It sounds like you are emotionally dependent on her, and that's not helping. If your therapist isn't helping you, try another one. Your goal should be fixing you. Not her.

Also: you keep mentioning how you work from home. If you do get back together (which it sounds like you won't, but stranger things have happened), do yourself a favor and get an on-site job. Your relationship will improve instantly.
Well there's a general perception of preppers as being paranoid, gun-toting, aggressive hillbillies, and the fact that it's often done by the top 1% shows that it's kind of an inaccurate stereotype.
Back at the time when people read books and journals, they read junk books (dime novels) and junk journals mostly. And a lot of socializing was drinking beer and having empty talk about football and that girl.
It's pretty common to use the word "drilling" to refer to the whole process of extraction. I guess that'd be an example of synecdoche.
You have no idea where I come from.
A tool in the hands of an expert will be used differently than a non expert. The model layer that AR suggests might not be good for an expert, but it will certainly help a non expert build their app for some time without too severe of issues.

You are right that it's far from perfect and it really is a "be everything" ORM.
Concord moments are just parenthesis in the history of humanity. 5 years ago the electric car would have been on that list. Faster than sound planes will come back, it's just a matter of time and technology being mature enough for the product to be economically viable.
That's what everybody says when they don't wanna think about it
In 2002, when I got a call on my landline, the Caller ID would show the caller's name (either an individual's name, or their business) without my having to maintain any sort of contact list. The phone company would transmit this information to my phone's screen, populated from their own database.

I can't understand why an iPhone in 2017 lacks this feature.
No there's not. Move away from the fancy cities. Move to country and places like Detroit. I did, I'm in Detroit metro. You can buy houses here for what folks pay for a car
As a counter arguement to the one put forward in the blog, it's also ok to care deeply about how journalists in the game industry behave because it's ok to care about stuff, even if it's not politics.
Highly successful businesses like Apple, which are closely related to Foxconn and the horrors of labor there. That we know many elements that go into our technology may be sourced from dubious environments, unsafe working conditions, potentially human rights violations and war. That’s what he meant when I asked him. By consuming anything in the system one is contributing to the systems oppression internationally, and there isn’t an easy way to stop.
I’d argue that the 70s oil crises killed Concorde. It was basically DOA. It limped along for decades having built only 12 airplanes and serving only two routes in the long term. It never really made money, roughly breaking even operationally but not paying back its R&D. It was ultimately a prestige project. It got that job done pretty well, but it was never successful in a way that would persist.

The Veyron is an even more extreme example of that. It was intended to be a prestige product from the start. It wasn’t supposed to make money and it only gets produced until the company comes up with a different way to spend that marketing or research budget.

Edit: the Veyron is a particularly terrible example here because it was discontinued in favor of a new model that's even more insane. The Veyron was succeeded by the Chiron, which has an anticipated top speed of 288MPH, although it's currently electronically limited to "only" 261MPH. I don't see any way in which the Chiron is substantially inferior, so I don't see how it could possibly be an example of a major technological advance fading away.
info is a failed GNU experiment to replace man pages. I stated that strongly, but they've never caught on. It's too bad; GNU had a whole plan of improving Unix learnability with getopt, bash completion, info, etc. It's all sort of been useful but hasn't really changed the way people work.
The thing that's missing in this article is the "attacks" were done by phishing with email attachments and if one didn't know about that risk they had to ignore thousands of warnings about it over a lot years.

Back in 2000 I woke up with an email in my box with the subject "I love you" with an attachment. I took one look at it and deleted it. I thought about calling my partner at the time and warning him about it but he'd been coding with me for a few years so I figured he'd know what he was looking at.

I was wrong. He clicked on it and it deleted thousands of photos off his computer. How people fall for that two decades later is not related to "warning" them. We've all been warned for decades.
People also thought the same thing with television, and they were largely right about television. They were also right about some forms of print media: next time you go to the grocery store, look at the celebrity gossip magazines in the checkout line. They're basically Instagram for older people. They certainly take advantage of the same human impulse to avarice and escapism.

The internet is an amazing tool to connect with people. It's also an tool for marketers and corporations to mediate friendships, romantic relationships, and consumption of media in ways that are far more effective and inescapable than anything that came before it.
Near end of life procedures? A friend in health care told me 60% of one of our biggest hospital's costs go toward end of life (patient will die within weeks) treatments. Understandably, people request all the most expensive procedures because they don't want to let their loved ones go.
You mean to tell me, we can make micro processors, but we can't land a man on Mars. I don't buy it.