skysight-inc/HackerNews huggingface dataset:
> he’s given hundreds of these presentations but he “needs to work on it”

Giving "hundreds of these presentations" is not a measure of one's ability to present well.

So, yes. On delivering them. He's really hard to follow. Musk is a bad speaker.

That fact doesn't diminish in any way what he has accomplished.

> Take this as inspiration that’s its not just all smooth talking bullshit artists who get to become billionaires.

Well, sure. I'd rather have more Musk than more Neumann; but that literally has nothing to do with the opinion I was expressing.
I've done some program synthesis and equivalence proving with them. It was for sure trivial to express and nontrivial to express in a way that would actually get to a solution. I know of no general shortcuts for avoiding the part where it performs terribly for nonobvious reasons, but then I am not a SAT solver expert.

I've also done a bit of work on concolic execution, which has yielded interesting insights but not useful results. I'll probably write something up for hn if/when it does yield results.

As others have said, my first real use of it was for scheduling problems. It works but isn't really better than a hand rolled naive solver for the scale of problem I was looking at.

They seem to be good for proving obvious things about cryptosystems. It's very interesting to see how quickly block length becomes a security parameter for things like Speck.

Overall I like them and they clearly have potent uses, but... often I find myself shrugging, accepting some constraint, and using the more obvious approach. It may be that I just seldom have to solve a hard enough problem with full generality.
Install Gentoo.

Everybody should Install Gentoo.
> Flanked by Boy Scouts, President Franklin D. Roosevelt opened New York’s $160,000,000 World’s Fair with an address in which he said America has “hitched her wagon to a star of good will”, on April 30, 1939. He emphasized the United States’ desire for placid living among the countries of the world and expressed hope that the future would see a breakdown of “many barriers of intercourse” among European nations.
They are moving a small step each update, moving it around, making it harder to find for each step. Sooner or later it will be missing completely.
You are trying to buildup contentious straw-men.

As pointed out, India's history and glory predates Muslims and Islam by thousands of years.

The difference between "Islamic Invasion" and the "British Invasion" was that the former (for all its negatives) ultimately became part of Indian society and contributed to it while the British systematically siphoned off all resources from India to their land to the detriment of the local populace. Millions died, Millions more were reduced to poverty with no way to build themselves up and the direct result can still be seen in today's India.

PS: Read the books and articles that i have linked to in this thread for some more info.
If you continue to break the site guidelines, we're going to have to ban you. We've asked you about this multiple times already. Swipes like "LMAO", "you clearly have no understanding", "you are missing the point", "do you know anything", "you are completely ignorant", and so on are not ok here, regardless of how much you know.

I appreciate your informative comments to HN, but we need you to stop posting like this. It damages the community, which is fragile. Would you please review https://news.ycombinator.com/newsguidelines.html and fix this going forward?
What about the US president? There's a recording of the president saying that he grabs women by their vagina. Surely it's not surprising to think that there's a critical voting demographic that believes such sexual violation isn't worthy of putting the country through an impeachment process.

The US President relies highly on evangelical voters. Surely this is because those voters have made a calculation on the balance of values, and despite honorable sexual conduct being an evangelical value... it didn't win in the sum of things.
Show HN: Shine the light on awesome people
SBCL is amazing. If you walk the development history back trough forks, organizations and names the starting point is Spice Lisp[1] in 1980, then CMUCL in 1985 and finally SBCL in 1999.

[1]: See page 58 in Performance and evaluation of Lisp systems by Richard Gabriel http://rpgpoet.com/Files/Timrep.pdf
That’s probably because both countries are in the Schengen area.
And browsers support Windows better (e.g. GPU acceleration).
Lie a bit to him, tell him it's "on the cloud". Kind of true for a rather particular definition of "cloud" :)
Totally. And it's really awesome to see someone genuine and direct, and even though I'm not part of the cult following, I do really like Elon Musk's persona.
Taxation is a passive measure and these never solved problems, just kept it under control for a while. I would like to read about solutions, not the catchall "tax them". Well, tax them and then what? New buildings will grow out of the trees? Lower prices will come by train?
The article doesn't talk it about it much, but it is not entirely inconsequential that he has started a company which for a while was at the cutting edge of high performance computing for protein structure prediction. The field has moved a little away from this idea lately.

The billionaire owner of Renaissance has done something similar. It's interesting. Rather than giving the money away to academia or other philanthropic causes à la Bill Gates, they choose instead to micro-manage it. Shaw and the Renaissance guy both formerly worked in academia, and I can see why this would make them skeptical about large donations to academic institutions (beyond the motives proposed in the article).
TOML is a worthy contender. It is my favorite simple but powerful-enough data language.

Here is a side-by-side comparison of data in TOML versus YAML:
https://gist.github.com/oconnor663/9aeb4ed56394cb013a20

And some comments that resonate with me:

The yaml spec is overly complex and parsing it properly
is a nightmare. I rather prefer TOML because of it's
simplicity. Unless one really need the gazillion extra
features which yaml provides (which one probably doesn't),
I'd say sticking with TOML seems to be the saner choice.

I've recently kind of changed my mind on unquoted strings.
They're nice when you're editing config files by hand, but
they run into parsing issues in simple cases like when the
string looks like an int, or of course when the string
contains quotation marks itself.
I honestly expect adtech to bust at some point.

At the end of the day, there are a lot of limits on how successful any ad campaign can be. How much budget your target has, how elastic it is, how much demand is inherent to the product type.

Even with perfect 24/7 targeted advertising, Toyota's maximum possible upside is selling me one Camry every two years. Once they reach that point, any further marketing spend is wasted.

There's also the problem of advertising being imperfect. We'll always have faulty data, and importantly an trustless adversarial relationship with the consumer, which will limit the ability to improve ad effectiveness. (Imagine the opportunity to say in one central place "I have bought a widget, everyone I researched with can discontinue the widget post-visit campaign as there's no further chance of victory"-- advertisers wouldn't go for it and consumers wouldn't believe it). I also suspect tighter and tighter targeting increases the risk of catastrophic ad failure-- where it undermines the brand's reputation or creates public backlash. The Uncanny Valley can be one hostile place for brands.

Do expensive, high-tech ads outperform cheap spray-and-pray techniques like TV spots and dumb banners? Probably. But I suspect the price-performance curve is approaching an asymptote pretty quickly. Billions are spent to chase increasingly small gains in actual sales over older, less creepy techniques. Someone's going to do the numbers and start asking questions.
You are making a subtle mixup between “I am” vs “I can”.

He didn’t write that he is a full stack dev, he wrote that he interviewed for a full stack dev role:

> “I recently interviewed for a full-stack dev position, and I felt I did quite well on all of the development questions.”
Dropbox runs on linux but they are missing a lot of features and it only works on unencrypted ext4 fs. They are slowly dropping support I would say.
Saying "It is wrong to invoke suicide simply to make a message board thread more exciting" and calling it "concern trolling" both seem to me to break the guidelines in several ways (unkind, snarky, bad faith etc) whereas I can't see how bitL's comments being responded to broke any of them, or even came close.
Matlab. But Octave is free.
I did one year of uni and found it to be too slow paced and overly pedantic about meaningless rubbish. I decided to just apply for a job since I already know programming pretty well and I got the job and things have been going pretty well ever since
Windows 8’s windows update is always quick and doesn’t interrupt your work for a long period. The only usability issue on it is the start screen, which can be fixed by installing the classic shell.
> Are you talking about online microsoft account or something windows specific?

I'm talking about the Microsoft online account, and I stand by my statement that I was limited to 14 characters until relatively recently (maybe not earlier-this-year recent, that part I'm not sure). Looking at my Microsoft password history, I've changed it five times since 2012 (when I started using a password manager), each one is 14 characters long; the last change was done in 2016. I've been using 32+ character passwords wherever possible since 2012, so the only reason I was using 14 characters for Microsoft was because of the artificial limit imposed on me. And I did check a few times after 2016 to confirm the limit.

Anyway, I just tried to change the password again and this time I was warned that my Microsoft and Skype accounts would be merged if I carried through with the password change, so something did change after I last checked.

> For local login you can use a PIN, or set up windows hello, if you don't want to type in the long password every time.

I'm aware, but I don't consider a PIN secure, and I don't think Windows Hello is an option for most desktop workstations.
Are they really only marketing to those customers? Given the pitch in the keynote, I kinda doubt it. Reminds me of those fancy six figure sports cars that are capable of all sorts of things you would never do on a regular street...”it’s a good price for those who need all that power”...well sure but most of the people who bought it were convinced by the marketing that having all that power was cool and made them seem like a pro, not because they will ever really use it themselves, and the marketers know it.

Without access to Apple’s sales data, I could be wrong though.
Matrix.org / Riot.im, Rocket.chat, and Mattersmost are all popular alternatives.

Matrix is what I'm hoping will become more popular since it's more of a decentralized system.

Other than inline images, having voice/video calls and screensharing are becoming important as well.
How2factor – 2FA Made Easy
For those curious about how this part looks,
Boeing Pickle Fork graphic illustration:

https://www.pprune.org/rumours-news/625886-737ngs-have-crack...
I would prefer to be opt-in, like if you want to be a data source for google page for free you should opt in into it.
No, they did not made a small fortune, unless getting a pile of papers for the home your family build and owned for decades or centuries can be called "a small fortune". If you want your house, not that paper, what is the option? Why should you be forced to sell and leave, just because someone figured your land is worth more without you there?

I am never happy seeing that the same mindset that killed the north American natives to take their lands is still there. You don't use a gun, but taxes and racketeering to move people out, so you take their land and do what you think it's best - FOR YOU. This is a form of genocide, you know?
Treaty would not include backdoor.

It would be just access to encrypted messages. Unless the law enforcement has access to the phone used to send the message, encrypted messages are useless.
Joel Grus wrote that as a joke :-)
https://joelgrus.com/2016/05/23/fizz-buzz-in-tensorflow/
Rockets tend to throttle down at lower altitudes so they're not accelerating through thick atmosphere though? So Delta V isnt much of a loss.
Agreed. 1000x. I do Windows Server because I should be able to have simultaneous multi-session instead of the intentionally hobbled singular "multi-session" offering in Client.
Weekly Robotics #58
Can confirm. I was installing Win10 for a fried a few weeks ago and couldn't create a local account. After a couple minutes of search to no avail, I tried:

Just how is that supposed to work if I unplug the internet?

By letting you create a local account, of course.
I agree, but unfortunately, end-users just want to buy products that just work without fiddling around with settings, etc.

The HN audience and generally programmers are usually pro-Linux which makes sense, but they keep forgetting that apps like Office, Adobe, etc are only on Windows / Mac which Linux has to resort to fiddling with hacks like Wine which is not enough for an out-of-the-box experience with end-users.

The mindshare, user experience of Mac and Windows just prevents end-users from bothering to try, fiddle and learn Linux just to do serious work for anyone that is not a programmer these days.
Wow, the idea than electric eel should be treated as a complex of several species is really interesting. A slightly different language should have evolved among the species. A blind animal needs a measurable variation in electric signals to know if other possible partners are friend of foe
Good thing the Apple Watch is such a good bargain then, since all you get from Rolex for $10000 is one nice watch.

A Rolex is a piece of jewelry, a status symbol. Might as well compare it with a Louis Vuitton handbag. What you are saying is that the display is desktop jewelry.
for how long? Perl existed when php started, as well as all the proprietary languages, java , asp etc. then came ruby python etc. It's not for the lack of competition
I heard he was denied tenure.
> In general I have a positive opinion about what MS is doing lately

Dont get fooled. They got better because they have competition. The company is still mostly a marketing firm longing for the days when it could abuse positions of monopoly.

There has been no changes in their structure that would change their core ethics.
Legally, there is plenty of ambiguity in the GPLs, v2 and v3.
That's not cool. Please don't cross into personal attack on HN.

https://news.ycombinator.com/newsguidelines.html
Not unusual when you consider this fact: when reddit was originally founded back in '05, the ability to create an anonymous account with a pseudonym in seconds was the goal. The redesign is a shame, but I'm glad they chose to stick with their old UI via a decicated URL (old.reddit.com).
My friend who's a graphic designer had to reinstall Windows because, surprise surprise, one of earlier Windows 10 builds released for Windows 7 bricked her machine and that of course comes with reinstalling all software as well. And the fun started when she had to reinstall Adobe stuff: she couldn't reactivate one of older Photoshop she bought because it wasn't supported anymore - it couldn't connect to Adobe servers; helpdesk suggested her moving to CC which was out of the question for her. In the end, she pick the different solution suggested by her friend that doesn't come as SaaS.
Congratulations!

My father unfortunately passed away from the same cancer. 6 months after the diagnosis, having already done 6/8 chemo infusions. His liver was giving up by then. He also went from nearly 90kg to around 42kg in the end.

It is really a terrible cancer. He didn't have any symptoms until the year before his death. By then it was stage 4 already.

I'm abstaining from alcohol since then.
Congratulations for your app.

Just recently I was looking for a habit app and currently try out GTDFaster/GSDFaster, which is a mix of GST from David Allen + 7 habits of highly effective people from Steven Corvey.
College for me was simply a means to earn a living. I am more interested in building my startup but the reality is that unless you have funding out of the gate or a well connected group who will fund you, then it is not realistic. I studied accounting simply because I knew it would be stable and consistent. Once I got my BA, I was out of there ASAP. Forget getting a masters degree, experience is more important once you have your foot in the door anyways.
"I'm not completely unsympathetic, but"

You are completely unsympathetic. There is no excuse to force someone to "use their land well". Their land, their choice, not yours.

Cities can expand, not get stuck in every piece of already build land. Get the city larger, build tall block of flats, check the Chinese new city monstrosities for the results. Like this: https://c8.alamy.com/comp/A0CG0G/apartment-block-chongqing-c...
Some are limited to having to use it - while still agreeing with the McDonalds assessment.

For instance, I'm a musician , teacher and producer and I do most of my work in a DAW called Cubase. It runs on Windows or Mac, and my main workstation is on Windows. I've been banging on about how great it would be to have it running on Linux for maybe 20 years, but it'll never happen. I'm sure people will suggest switching to something like Bitwig (which does run on Linux), or any of the free options, but either they don't do everything I need (free options), or I just can't get used to using them and they still don't work in a way that I'm comfortable with after nearly 30 years using Cubase.
Stories of the Development of Large Scale Scientific Computing at LLNL (2011)
I think these articles and the responses are missing the real point which is how an Ivy League education became so important in America.

I grew up in Israel near the Technion, our MIT equivalent which produced a few Nobel Prize winners. It's not a big deal to get in, if you have poor high school scores you take a year long prep course, classes are hard but most people push through. Having a Technion degree might give you a slight edge getting your first job but that's that - you'll be judged by your performance moving on, not on your alma mater.

When I lived in the US for a few years, I couldn't understand how people allocate such importance to a person's high school performance (which is basically what determines their alma mater in the best case scenario, before family donations etc). To me it signals a risk-averse mentality that fears taking a chance on a potential hire.
No. They can make use of glucose or ketone bodies. I recommend a biology textbook before commenting on fairly basic and long-established facts.

However, even if they only metabolised glucose, the brain's requirement is for a constant but low level supply. It doesn't need to be provided by a dietary source; the body will synthesise it on demand from its energy stores. The cancer will need to compete for that small quantity with the rest of the body, which will limit its growth.

When you eat sugar, the body can't immediately store it since it takes time to do so, and blood sugar levels spike for a period before reducing back to baseline levels. During this time sugar is in great excess in the bloodstream and tissues, and the cancer is able to utilise as much of it as it can, which can result in its survival and growth.

The survival and growth of a cancer is largely based upon various kinetics, proliferation rates vs death rates, and the evolution of a cancer through selective pressure over time. One of the key switches is to anaerobic metabolism. It lets them switch to lactate production to survive a lack of oxygen. But it comes with a limitation: they are restricted to glucose and other simple sugars to survive. By strictly limiting their availability, it can have a significant effect upon tumour viability. Until it undergoes another change under selective pressure, of course, but it's a simple and potentially very effective course of action, without any great risk of harm.
I’ve always “automated stuff away” and worried about making sure whatever I developed had a sane, reproducible way of a) being tested and b) being deployable at scale, so I’ve watched DevOps/SRE unfold as I hopped between both sides of the fence (I’m a Solution Architect at Microsoft now, and spent a few decades in telcos doing the above).

I’m going to be (intentionally) critical here, but please understand that these are examples taken from a biased sample (I work in Portugal with very traditional enterprise customers and early stage startups, either of which usually lack-or don’t care about-senior talent - juniors of all stripes tend to be over-enthusiastic about jargon and bleeding edge, and the blast radius is huge on both kinds of companies).

The way I see it (in both enterprise and the local startups I deal with) is that DevOps has created as much confusion and undue ceremony as Agile in many places, all of which share a common trait—developers there do not understand (or want to deal) with software architecture and just want to hit their sprint targets without reasoning about the architectural impact of implementation details.

Enterprise devs will usually not have any real control about architecture, internal endpoints or even dev environments (all the Ops is taken away from them) and startup devs are usually rushing things, setting up faster infra to fix code problems and building up technical debt _in architecture terms_ (the Ops stuff is usually haphazard and too bleeding edge).

There are some positive exceptions, though. I’m currently helping a customer do Kubernetes from a _governance_ perspective (i.e., figuring out all the steps from dev to prod including environments, namespaces, network policy groups, etc.), and even though this is being done alongside already existing deployments, _taking the time to plan and work things out inside your org_ makes a lot of difference.

We’re not calling it DevOps, SRE, or Agile. It’s not a buzzword-laden, Valley-anointed process. It’s just (senior) engineers (Devs and Ops) talking and systematically going through what will work and won’t...
Do not hesitate to communicate on your project if you ever do that (maybe here: http://www.arewelearningyet.com/gpu-computing/), there is clearly space for a great GPU library in Rust.
I think rasmus's presentation explained pretty clearly why PHP won. Mod_php was a game changer and mod_perl failed by making the wrong choices. Overall, PHP was faster, easier, cutting edge and full of features without becoming too expensive to run, thats why web hosts supported it, not the other way around. What's not to love, honestly, even today.

https://www.youtube.com/watch?v=wCZ5TJCBWMg
To be fair to Google, Youtube really changed the way the MAFIAA reacted to online music and videos. They did that for culture, they failed for science.
You can change the WiFi card on some laptops. Otherwise buy Lenovo.
Same. Also, many tasks grew in complexity until I threw away my awk/sed combos and wrote some Perl instead.
Build auto-adaptive machine learning models