skysight-inc/HackerNews huggingface dataset:
> it's worth mentioning that Semantic, as a rule, does not encounter runtime crashes: null pointer exceptions, missing-method exceptions, and invalid casts are entirely obviated, as Haskell makes it nigh-impossible to build programs that contain such bugs.

This I think is the real drug of Haskell.

There are lots of challenges involved with moving to Haskell for production software, and the article notes some of them. But once your code builds and you ship -- man, there is nothing remotely like it. v1.0 software running for weeks in prod without a bug.

Then, the super-sauce is: maintainers don't break your already-working code. Sure new code might have bugs, and deep semantic changes to code can break anything, but workaday fixes to one corner of the codebase simply can't break all the other corners. v2, v3, v4 all migrate to production with none of the working stuff falling over.

PS I don't buy that the "control flow" feature couldn't have been done in Java -- however I would bet huge dollars that you couldn't do it in a way that wouldn't require massive investment in maintainers understanding a complex and subtle data-driven control flow pattern that any single dev could easily subvert, intentionally or not. I was a huge fan of FP-style coding in Java, but it required buy-in from all maintainers; as soon as somebody got lazy and went back to mutability etc there was nothing to stop them.
I've been part of many teams that ban email for internal communication. I have to say I'm quite a fan. Email remains present in external communications for business focused roles, but it's a rather nice separation to have. Slack= internal, email = external.
... I think most of us would say that’s a big improvement over audio-only communication.

Never assume that just because you have a particular personal preference that most people share it.
Do not disturb mode is built just for that.
What are all levels of communication?

>Urgent- Phone call/in person/contact boss

>Need response within 1 day - IM

>Beyond 1 day- Email

Just a thought, curious if there are any better systems for communication?
Depends on whether the student is an out-of-state or in-state student.
RE: your first paragraph:

Yeah, I mean I sort of get it. But if I really had to choose between the mental tedium of labeling data (which I end up doing quite a bit of myself) vs. backbreaking outdoor work, or something like repetitive food service prep... I’d pick the latter every single time.

At least for me, data labeling is just brutally mind numbing and draining.
For the VR driving game I played, it was most problematic when I hit a rail or another car. I think my physical sensations not matching what I saw was what made it uncomfortable
Related submission on Millitext from 5 months ago, over 240 points, over 50 comments :

https://news.ycombinator.com/item?id=18702900
Then again, safety is probably much better several decades later.

I know for painters, it's a completely new world with paints that don't dissolve your brain anymore.
I agree with the author on one on one IMs, but I disagree about chat rooms like slack. Slack isn't always the best place to save knowledge (I would love to know what other teams find works!), But I do think it works great for asking the kind of questions that you aren't sure who may currently have time/know how to answer! Especially as a new comer on a team.
Doom Eternal gameplay world premiere: Devil horns in the air–literally
Article sounded good, but I don't agree with sentiment that many small independent agencies providing public transportation is a bad thing.

I'd prefer many independent agencies (public and private) working together (See: Tokyo) than one big monolith. We need competition.
> Now, though, the impostor syndrome is back

Here's my 2cents; You are actually The REAL DEAL because you bootstrapped yourself. I'm not saying that the peeps doing AI research at Carnegie Mellon are pretenders, but you have at least as much claim in Tech as they do--at least the way I see it.

GL and Great Job!
In the US traffic laws have become more of a way of earning revenue for local goverments rather than actually for preserving life. So most things are optimised for revenue generation rather than actually stoping law breaking. This has resulted in a large push back from the voters/public against such.
...logos/pathos/eros...

Did you perhaps mean ethos?
I've heard a similar sentiment from a researcher that's specialized in fusion. How do you know that money is the main hindrance? Could we say the same thing for other areas of research, like room temperature super conductors or the unification of quantum theory with gravity? In any area more money may or may not lead to a significant progress, but how do you know that's definitely the case for fusion?
My point at least was just that it’s a bad idea to use adjoint to construct a column matrix since in that case you likely didn’t intend to take an adjoint, you just wanted a certain shape.

There’s no math or physics equation here with objects transforming under an adjoint representation, it’s just a constructor.
Leak Reveals Ethics Failures in Brazil's Operation Car Wash
Not interested in waiting. We’re moving out of the Bay Area next week.
The US has an enormous housing shortage, as seen in the rising housing costs everywhere.

Long term, this will have to be addressed with tons of construction, so it should be a good trade to go into for a young person.
My experience is that doctors are not the primary bottleneck but the system is rather inefficient in many other aspects.

I think if you add more people to a bad system you tend to make things worse. Better to fix the process rather than throw more (poorly managed) resources at it
I think your last point holds true, but it's really not an equivalent amount of stress you're putting on your body in an office. You can always go outside more after work and remain physically active to counteract the damage you're doing by sitting in an office all day, but if you're in a physically intensive trade, you can't avoid the damage you're doing by remaining less active after work.
I really want to play a flight sim and do loop de loops until I feel sick now...
Are there good Tensorflow and Pytorch alternatives in the works writen in Julia?
That's a problem with notifications not IM. On my work machine slack notifs are on and all other IMs off. On my phone slack is off and all other IMs on. Email notifs are off everywhere. I process email at the beginning of the day and end of the day (unless it's related to a timeblock in my calendar) . Clear delineation of devices, services and roles they play helps to avoid the issue you describe. Slack also has notification snoozing feature for when I need to focus.
Axios was founded in 2016 by two former principals from Politico. It might be clickbaity but they’re not nobodies.
Thank you! Can we please think about alternate ways to raise money? How about debt? New privately funded agencies? Refactoring the current budget?

My concern is government too worried about losing its grip on the area. Which stifles progress.
The HK government's response: https://www.news.gov.hk/eng/2019/06/20190609/20190609_231141...

The English and Chinese versions looks pretty different in tone, especially in the last sentence: 'Noting that the Second Reading debate on the bill will resume on June 12, the Government urged the Legislative Council to scrutinise the bill in a calm, reasonable and respectful manner to help ensure Hong Kong remains a safe city for residents and business.'

Understandable when this is for foreign press. Directly translated, the Chinese version says: 'The Second Reading debate on the bill will resume on June 12. End. '. Obnoxious if you understand Chinese.
It can help some amount, though. Bind the NIC interrupts to a small handful of cores. Or, ensure that ssh only works through a management NIC, and have that NIC bound to the same cores as sshd. You can get really fancy with these setups, especially when working with NUMA stuffs
Well, the college educated also control the legislature - which is why we get the push for free college in the first place - and so makes sure that a college degree is legally required for all important jobs.
You're getting a massively connected area with larger amount of commerce further stoked by the people who take the train.
I agree. I do not trust $100B in the government's hands. But I do think housing will come naturally (especially if Gov gets out of the way).
I agree with his main point.

Programming will become true engineering soon. In a few decades, we will be building mainstream software with formal guarantees. And for that, there's tons of abstract algebra needed as a foundation, once you try to digest [1-6] and whatever replaces them in the future.

It's tragic most CS programs do not emphasize this a bit more.

[1] https://www.elsevier.com/books/lectures-on-the-curry-howard-...

[2] https://softwarefoundations.cis.upenn.edu/

[3] https://www.cis.upenn.edu/~bcpierce/tapl/

[4] https://www.springer.com/gb/book/9783540654100

[5] http://www.concrete-semantics.org/

[6] http://adam.chlipala.net/frap/
As with all tech, they all have their strengths. Working remotely with a colleague then it’s great for short queries but that should be no more than a couple of messages. If you have a conversation that requires half an hour back and forth on IM, then you should have lifted the phone and gave them a ring.
Good luck next in your life. Please don't come to Seattle, we are full. :-)
A good IM system is automatically archived and end-user searchable, so right off the bat it is superior to in-person conversations or meetings.
Id Software built a framework to make streaming video games better
What's nice about IM is you can generally get a pretty quick turn around without forcing them to stop what they were doing.
HP Reverb was finally released: 2,160 x 2,160 resolution per eye! That's good enough for even reading text in VR!
Alternatively, I know blue collar folks that are working crazy overtime, odd hours, sometimes 60-70 hours weeks to make close to software engineer salaries. I also know talented software engineers that work 40 hours a week and make x3-x4 what anything blue collar could pull in.

It's hard to generalize an entire industry.
Kik Responds to SEC Complaint
One of the appeals of email is asynchronicity—I can compose a well-reasoned proposal, and give my team time to compose a well reasoned counter-proposal.

But after more than a handful of rounds of this, it breaks down. Long email threads are impossible, especially ones that I wasn't originally participating in, but then got cc'd into. There's no easy way to skim and get a summary of the current state and where the heated bits of the proposal are.

That's why I like Dropbox Paper instead of email for these kinds of discussions. Threads spin off of a highlighted snippet, so there's always context to the discussion. Discussion in threads gets resolved, and the doc gets updated to reflect the decision—this means the doc is always canonical when someone new first reads it.

Email will never die because it’s so universally versatile. But specifically for intra-team discussions and decision-making, I'm convinced we can find (and already have found) better solutions.
Here’s my contribution after listening to “how to change your mind” by Pollen.

Keep your mind open, but live in the moment. Embrace those around you who embrace you-and go after Pamela.
That would require amazon gathering customer information and possibly GDPR data on the usage of all of it's customers, which is a thing amazon doesn't do, and you don't want your cloud providers doing.
> you cant chase much or do much exercise in the dead of winter with snow and ice lying around.

I take it you don't enjoy snowshoeing or XC skiing? I really enjoy aerobic activities in the cold. In the heat? Not so much...
That sounds pretty close to the third option except you want to limit expropriation to renting. How's that going to work? You think all the landlords will sell to the city? For how much? Can people buy houses from the city to live in them? Where does additional housing come from considering that it's currently not enough? How does the city determine prices and how does it prioritize who gets which place?
Canada: Government to ban single-use plastics as early as 2021
I remember seeing and playing the flight sims of the 80s as a kid and being so bored by basically staring at a line on the screen (horizon), nothing happening for what felt like hours and then ‘crashing’ which just said ‘game over’, young me having no clue what happened. I can reason the difference between old and modern games, but for me gameplay has not been ‘more fun’; I find 80s Gradius the same pleasure to play as the latest Doom (and Crash 2+3 or Monkey Island 1+2 better than anything I can find now, but taste, you know). With simulators (cars, planes, ...) however I see how far we came; those I simply did not find playable until far into the 2000s and this really looks amazing.

I consider Alien Isolation a sort of simulator of the original Alien movie (the feel is the same for me); this was attempted in the 80s as well and failed as well. Now it works perfectly.
Have you ever spent a long time doing backbreaking work? I assume the real issue is after years when your body is trashed.
Video conferencing worked perfectly when it was still done over circuit-switched digital telco networks. It’s only the Internet that has botched things up.
Yes, there are people that good at algorithms, you just need to enter a contest at leetcode/codeforces/topcoder where you can just amaze yourself how some people can solve these difficult problems in such a little amount of time.

On the other hand, for FB and Google you just need to be decent enough at these questions not really a superstar. I would say if you can solve most medium problems in leetcode and occasionally a hard then you are good enough.

Worst case you just get rejected and life follows its normal course.

BTW, i have been rejected like 30 times from these companies, it does suck when they tell you, because you start doubting yourself, but then after a few days the feeling goes away.
If you are not willing to mute/ignore IMs while focusing they can be distracting and reduce productivity. However, if you aren't willing to mute/ignore I think the problem is not with instant messaging but your personal focus. Any form of communication can interrupt your workflow if you let it.
The one piece of advice a professor might have been able to give their class in the 60's or 70's, but I could never say now: Have more sex.
Implement a Simple Gradient Descent Optimizer in TensorFlow
This is a personal anecdote, but I don't mind meeting people in person. I can do face to face conversations all day long. The minute you point a camera at me though, I shut down socially. I'm suddenly extremely self conscious about my personal appearance and my behaviors and mannerisms, and that stress makes the whole thing unpleasant.

I'm not sure why this is. I think it's not helped that subconsciously, video feels one way. A participant can be looking right at me but I can't know that, because I don't know where my face is relative to their camera. So, I assume that all participants are watching me all the time, even if that's an irrational assumption, and even though 99% of them won't care if I scratch my nose or something.
E3 – Microsoft Age of Empires 2 Definitive Edition (4K)
This is because LLVM has bugs (like all software) and Julia carries around patched versions of LLVM. Those fixes are being upstreamed over time, but it takes time. Julia is a very hardcore test suite for numerical libraries, so it happens to find things that only show up when numerical stability is pushed to the edge, and Julia Base will have some tests fail if you don't build with the patched LLVM. That said... a lot of users might not notice a difference. But if you want what is known to be the most correct, then you should use the patched one. However, Linux package managers require that you use their LLVM, which in some cases is the wrong version, and in all cases is not the patched one.
As someone who tried to do exactly what you are suggesting, but with considerably less runway, find a job and start the business while you have the job. It was a disaster for me trying to go all in at once. Especially in one of the most expensive cities in the world, NYC. An I was 30 when I did it. I ran into all kinds of issues that I didn't foresee. Health issues, money issues, etc etc. Now I have a job while also starting a business and its running a lot more smoothly.
Just moved from the Bay Area to the Greater Bay Area[1]! Join, it's nice here, except for the weather. There's a real energy here in HK!

1: https://en.m.wikipedia.org/wiki/Guangdong-Hong_Kong-Macau_Gr...
I wonder how much of a speedup you could get by doing eye tracking and only rendering high quality for the area within the fovea.
It is not only Julia problem. It is a problem for many packages, mostly because of the slowness of Debian, from which Ubuntu takes packages. Distributions like Arch, Void or Fedora are much better in that sense.
Dang $10B, for how many mile(s)? Where does the City have these discussions?
In Windows this happens by default with File History.

It also supports automatic backups to an external storage.
As a manager in finance, I hate IM. Lots of persistence around everything you don’t want recorded (e.g. a banker venting about a difficult client) and none around what you need. Noisy, messy, informal and an encouragement of muddied thinking. Given everyone in our industry should be comfortable picking up the phone and drafting documentation, I usually move to ban IM as soon as I take the helm of a team.

(It can be okay on the engineering side. But I agree with OP. E-mails force us to think through our communications, a process which has other benefits. Voice is instant, effortless and delivers an emotional payload to boot. IM is cruft in between.)
There is no demand for things that have no value.

The customers of the companies mentioned above obviously see some value in using their services, otherwise they wouldn’t do so.

You seem to be using “is valuable” to mean “is good for”. I’m using it in the economic sense.
RTX is not necessary for RayTracing, AMD with Crytek made a demo ("Noir") of realtime ray-tracing.

But still, I hope AMD will standardize a core non-proprietary Vulkan API for ray-tracing unlike the RTX close proprietary Nvidia-only prefixed RTX for Vulkan extension.

A bit off topic, but it's sad to see so few people raising against Nvidia-monopoly closed & proprietary CUDA, Optix, RTX, etc. this is the equivalent of Flash, Vendor Prefixed Web (-apple-, -ms-, -webkit-,...) or AMP but for computer graphic
I agree with the point that the author brings up but I think there is a broader point to discuss with regards to a mathematical focus in education. China, for example, is putting a large focus on applying a mathematical modeling perspective to their K-12 education, just look at the results of the MCM of the past few years. [1] I was lucky to be exposed to that frame of thinking in high school and I think it will become ever the more important in all areas, not just hacking, for people to have some sort of training in that respect.

[1] https://www.comap.com/undergraduate/contests/mcm/contests/20...
Most of the Bay Area doesn’t have the built environment to support that. As I always say: transportation cannot solve land-use problems.
Seems like a neat use for massive cross sectional data. The more people share the closer their advice can be tailored to someone like them 2 years ago. Similar applies for receiving advice. I’m thinking like an okcupid style question system.

But please build in a way to undo all those previous questions and answers with an account. Sometimes everything changes for somebody. Or they meet the love of their life and should be able to add that into their current perspective.

Might be a good way to help people bracket the bigger life changes and realize they need to make them.
> HVAC, plumbers, machinists, welders and electricians are all facing massive shortages and offer a skilled, well paying job with benefits.

Exactly. These jobs pay well because for the past couple of decades, people have followed the common advice and overwhelmingly chosen to got to university instead of learning trades. Supply has thus become smaller than demand and wages have risen as a result.

Now that the tides are turning, if people start following the new increasingly common advice to learn trades instead of getting a degree, what will happen? If university enrolment falls by 50% and trades college enrolment increases by the same amount, what kind of job market the new cohort of tradespeople will have upon graduation? If enrolments remain like that for 20 years, what would the job market for trades be in 2040?

I sincerely doubt that blue collar jobs can offer better long-term career prospects, stability, and lifetime earnings than white collar ones. But then again, having gone through Alberta's recession and seeing what it did to blue collar jobs, I might be overly pessimistic.
Widening roads will not fix the problem. There is still a fixed number of road capacity in urban cores, which will inevitably lead to huge problems. Highway-widening is short-sighted.
Exactly. I can't imagine providing intra-company support over either email or IRL.

IM lets me take a second to understand someone's question, maybe run some command or look up some docs, and then get back. When answering IRL, there's always the pressure to definitively answer the question, because they went through all the effort to actually take up time together. It's hard to say, "I don't know; I'll have to dig in deeper."

And turn around time on email for questions like "Why doesn't this thing work" sounds like an easy way to get blocked for half a day.
Apple is listening to the shareholders.
Goodwill won't take them as donations anymore, and it costs money to dispose of one because of the chemicals in it.

The Commodore 8 bit crowd has been buying them up as there are ways to repair the C64 and other units and they used TV sets from long ago.

I remember when I got a C64 I had a Zenith black and white TV to work with it and got a color one later when Magnavox store near us lowered prices.
You aren't even making a counter argument, you're just being emotional. Yeah sorry to tell you - not everyone's going to be nice. If that were the case we wouldn't have to make laws to protect citizens from one another. I'm not condoning anything. You just want to beat your chest and act holier. You're the problem.
If you had a private conversation with your manager, and they asked you to "be more present" at telemeetings via unmuting your video stream, your response would be to QUIT? Maybe before that point you should talk through the topic with your manager. Surely the best result for everyone is to have a shared understanding, rather than making what seems like a minor communication "difference of opinion" a dealbreaker.
Do you live in the bay? The transit agencies have territorial fiefdoms rather then compete. BART and Muni force customers of both to go up and down to transfer at the stations they share.
No mention of Hoare triples, predicate transformers, loop invariants, or any of the other formal machinery that was discovered 50 years ago and thoroughly solves the problem. The author means well, but this is completely uninformative.

Dijkstra was trained as a Mathematical Engineer for example. Fact is, if astronomers had the mindset of most programmers, they'd call their field Telescope Science.
Is btrfs still actively developed? RedHat ditched it and never heard btrfs ever got widely popular, so I take it as an abandonware after all these years of slow progress.