skysight-inc/HackerNews huggingface dataset:
Elixir has a specific kind of typechecking: success typing. You can set up the Erlang Dialyzer tool to work with VSCode using the ElixirLS extension. It will warn you about type errors. Success typing means that there is provably a type error and you actually need to fix it, as opposed to the more common form of typechecking wherein the compiler forces you to prove that there isn't a type error.

True to form, when I see a Dialyzer warning and think about it for a bit, I find that I always need to fix the code. The error messages do take some getting used to, though.
Not an emotional support group but i joined a facebook group for people in my occupation a while back and it's probably been the the most i've used facebook since I made my account years and years ago.

It's great people there are awesome and friendly. People show off their work, ask for and get lots of support. I've asked for help with different things there and gotten amazing advice from people, i've been able to help people having similar problems I've faced at work and it's just generally great to be able to interact with people all over the world who spend their days doing something very similar to myself.

Though i've also learned just how different it can be doing my work. There's businesses of different sizes, people who specialize in different parts of the business, a lot of different sales people and reps from related industries and just a whole world of things I never really knew about it before joining.

It's the one thing i've found about facebook that makes it more than an address book for family and people i've met and known in my life.
Previous discussions:

• https://news.ycombinator.com/item?id=18313131

• https://news.ycombinator.com/item?id=18273390

• https://news.ycombinator.com/item?id=18273530

• https://news.ycombinator.com/item?id=18297514
For those who occasionally get a stiff neck, I can recommend these exercises by the McKenzie Institute: https://www.youtube.com/watch?v=hh0cXoQJADc
The 10 spookiest things about Selling
Is this just thinly veiled mindfulness meditation?
> Is this a joke? Sort of, not really.

"SimpleSSR: Don't do SSR" is as humorous as "SimpleC++: Don't use C++". I'm guessing it's funny to SSR haters? (Related question: Are "SSR haters" a thing?)

So is the essence of this particular hot-take that it's better to render pages per-request with Ruby or PHP than to serve a rendered result that has no additional per-request overhead?
Sure,and lots of codebases are completely untyped. I find it great that you can opt out of the theorem proving that type checking is when crunch time comes. As such it functions as a loan and your organization should strive to pay back the debt when it can. Nothing can save you if you never get a calmer period.
You must be from the US, Liberia or Myanmar.
Also your immune system - which might be a bit of an issue.
> (note that the size of short isn't guaranteed to be anything specifically, other than 2 <= sizeof(short) <= sizeof(int)).

That isn't guaranteed. sizeof(short) and sizeof(int) are both allowed to be 1 on a system with chars at least 16 or 32 bits wide, respectively.
I do wonder if the answer to my back pain is a lifestyle where I am simply moving my body more. As an engineer I mostly “get stuff done” at a desk. Both my work desk and now my home desk are motorized adjustable height desks, but still being so sedentary seems to the root cause of my slowly declining physical shape. My lower back hurts regularly and now my neck has been hurting again. I used to go to a chiropractor and I’m considering starting up again.

But the root of it is that I’m not active. I used to ride my bike, run, and lift weights and I weighed 40 pounds less than I do now. But I’ve found some personal projects to work on that I’m so passionate about I’ve wanted to stay inside on evenings and weekends to make progress. Really, I just struggle with a day job that perpetuates our capitalist system, and try to make up for it by doing good open source work when I’m at home.

But I wish it was more common to work fewer hours in tech. I’m happy to be paid proportionally but I want a job where it’s okay to work 20 hours a week at a high tech pay rate.

I think if I did that, I might get out more. Or maybe I need to find a lower paying job that lets me work on my passions during the day. Then in the evenings I could go play basketball or do night hikes or something.

Has anyone pulled either of these off? More specifically has anyone pulled this off in the SF Bay Area?
You can't beat serving useful data to the user on the first payload (base HTML), no matter how fast or clever client-side rendering gets.
Is 3D IC the Next Big Profit Driver?
That sounds like no one actually designed or architect-ed the system, and everyone just went off and built things without an overarching plan. This is sadly somewhat common in software projects. This could be due to a variety of factors but to chalk every software project up to "resume padding" seems like a simplistic take.

Using your example but applied to other companies, I've seen the below, or some combination of all:

* Unskilled devs that have never used any of the new technologies and spent little time prepping beforehand.

* Management who demanded unrealistic deadlines or demanded devs skip design phase in favor of shipping faster.

* Lack of technical leadership, senior engineers are hard to come by at many large orgs and are often overworked or too busy to be everywhere at once.

* Cut throat career minded individuals that always jump ship to the next new thing.

In your case, it seems insane that you would be writing software with multiple teams or even multiple developers without some overarching plan. It shows a clear lack of technical leadership on the part of management and senior engineers.
Well we can predict that adding insecticides to our crops will cause insects to die.

Which doesn’t explain why people are acting surprised that genetically modifying crops to produce insecticides will kill insects.
Why Entrepreneurs Today Should Think About Transformation, Not Disruption
How You Are Sabotaging Yourself and Your Trading
Protecting endangered species isn’t just about protecting a specific set of DNA, as per the article about reintroducing wolves to Yellowstone.
In a lecture on scaling laws, a professor once explained that an early study of LSD gave the drug to elephants with doses based of relative heights of elephants compared to humans. The elephants died from the overdose. Scaling a dose based on height was inappropriate.
In fact they were removed in 64 bit mode. Same for INTO
> I'm not overly pleased with the final result, but it's completely isolated from the much larger app it sits in, easy to refactor/rewrite, with no risk of someone taking a shortcut and just accessing some internal detail, and testable.

The 'let it crash' is really something I've not encountered in any other programming language/environment.

I've got a constantly growing Elixir project that I use for scratching various itches. Quite often I'll prototype some new feature in some of my free time, and quite often what I come up with is pretty haphazard.

In some cases the stuff I have running crashes for the silliest of reasons, but the rest of the app is unaffected, so it doesn't matter. A look at my log often makes it clear that I forgot something as stupid as checking for a timeout to a HTTP request. I fix the issue, push it to the server, recompile in the IEx console (or Application.start()/stop()), and keep an eye on what happens next.

When I have a bit more time, I might actually take a more careful look at the code to fix some obvious issues that somehow haven't caused problems, or I might add some typespecs when things seem to have solidified, where Dialyzer/Dialyxir, via its 'success typing' (which I guess is basically gradual typing like TypeScript?) will probably help me avoid stupid mistakes down the road.

What I like is how organic the whole process feels. The godawful, badly thought out parts of my project don't cause the whole thing to crash, and the more solid parts can be augmented by a type system. It's an approach that I was previously entirely unfamiliar with.
What are your thoughts on them getting featured on a relevant Instagram page with high subscriber count.

What about trying to get to the top YouTube SEO for search terms, "candy [...] Japan”, since his company is literally called that. If this feasible for a small budget?

I'm curious what it would take to pull off. Great insight, thanks for sharing.
We already have leap years that add a day. The months have different lengths, so the days of the week fall on different dates all the time. More like it's always been out of sync, and this would bring it _into_ sync.
I get it, there is no good or bad, people have different models of the world and all. But still, there are certain infrastructural things objectively necessary for security updates to make any difference. Doesn't matter if it's embedded, desktop or massive server farms. Updates still require management. Like it doesn't matter if an IoT vendor publishes updated .so files if you have to download and apply them manually to each device. So even if you have to work with broken infrastructure, you still have to recognize that it's broken to find a workaround. And convincing people about upsides of static linking is not the hard part, there is consensus. The hard part is merely making static linking work and realizing for how much stuff it can't be done at all.
> Even if you ignore GOTOs the most common method of running pseudo-functions on the BBC Micro was GOSUB.

I don't even recall a single time when I used that, the usual control structure for that was

DEF PROCprocedurename(parameters)

ENDPROC

See: http://www.bbcbasic.co.uk/bbcwin/tutorial/chapter16.html

Ditto 'proper' functions using DEF FN with parameters and a return value using the '=' sign.
There is a cap and trade scheme for certain CO2 emissions in the EU[1], and you could try to get exposure to the futures[2] for those emission rights. I see JE00B3CG6315 is a fund doing that.

Keep in mind though that the price can go to zero if the actual emissions go below the emissions cap, which happened in 2007. Presumably the EU will try to manage the cap to prevent that from happening again.

[1] https://en.wikipedia.org/wiki/European_Union_Emission_Tradin...

[2] https://www.theice.com/products/197/EUA-Futures
Are you arguing for or against SSR here? (Both would include base HTML, no?)
Yeah this is a little too on the nose.
How are you supposed to stop being small time if you can't take any amount of risk to get into the big time? Investing isn't "guaranteed free money", it's a calculated risk.

Should only the rich be allowed to take risks with their own money?
Open source and cloud: who eats who?
Yes! This was the best BASIC game I ever knew.
Really? Red thin text on white background? I'm sorry, I will not read it. Is this the purpose of this site? What's the sense in writing something normal people cannot read?

And yet it gets to the 1st page on HN, no one complains, and my comment will get huuuge number of negative points, I know, as usually when someone posts a comment about this kind of bad design of a page/author people worship.
Agreed. Useful data in the first payload is what matters for a responsive experience. The kind of engineering team drives whether it is appropriately accomplished with view templates, rendered view frameworks, or some other HTML rendering technology that embeds preloaded data.
In fact the C aliasing rules don't say a single thing about casting. You are free to cast at will. What matters, as far as aliasing is concerned, is the effective type of an object for access through an lvalue. And the effective type is.. it depends. But it is not the same as the type of the pointee of whatever pointer you might or might not have.

Note that arrays are not lvalues, so the effective type of an object is never an array of char or any other array type. You can, however, access any object with a character type, and that does not change the effective type of said object. The standard explicitly permits this!

That means I could allocate some memory, copy an object in there, make a pointer-to-array-of-char, pass the pointer onwards, and let the next guy in row cast this pointer-to-array-of-char into a pointer-to-the-type-of-the object I previously copied, perfectly legal. And if I didn't copy an object, it is still perfectly legal. A random piece of memory has no effective type unless it's gained one due to a previous access through a non-character type.
Let's make SSR great again
I'm almost sure that the title should be "Mexico earthquake so powerful because the tectonic plate cracked in half". Can someone with geologic knowledge confirm this?

> The report states the phenomenon, which shook the earth to its core, would have taken only 10 seconds to occur.

This is between misleading and nah.

Looking at the other scientific stories, the level reporting of this newspaper looks terrible. But the original story looks interesting. Perhaps you can find a better source and post it.
I still have a BBC basic re-implementation in C floating around here, code written in 1989, would that help you? If so I'll be happy to tar it up and send it to you.
Consider the possibility that you've engaged in mental gymnastics subconsciously pursuing physical laziness, I catch myself doing this all the time with my computing.

The reality is, you require negligible amounts of time to maintain a reasonable level of phsyical fitness.

How many pushups can you do in a set? Probably so few that it requires less than one minute of time. So why aren't you doing as many pushups as you possibly can every morning before you shower? Well, simply because you don't want to, and are being lazy.

Incorporating a simple stretching and pushup routine to your daily life, once before showering, will have a significant positive impact on your wellness without costing much time.

You can add a pull-up bar to a doorway and adopt a policy of always having to do as many pull-ups as you can whenever you walk past it. I'm assuming you can't do more than one right now, so it takes almost zero time.
One Page CPU
Nonsense peddled as science; HN (and the Washington Post) should do better.
This assumes that edsu will never betray you.

Given the broad meaning of betray used, that seems unlikely. If edsu gets big it will have to pay for all that storage somehow. Like all things edsu will one day come to an end, and like most websites/companies/endeavors it will probably come to an end before I do.
RECC, the Robert Elder Compiler (and Emulator and Microkernel) Collection
Interesting parallel to the calls for death of the social safety net and tax breaks for the rich.

The haves are finding all the ways to squeeze out the have nots.
PTSD can come from many factors, I'm not saying that it's caused specifically and only by sugar. People who didn't go to war also have PTSD, as we also have soldies who went to war and didn’t come back with PTSD.
That's a kind way to put it.
Congratulations. Curious if there are any concerns about counterfeits showing up in China - or is this really aimed at the overseas market?
The Linux Kernel Is Still Getting Ready for the Year 2038 – Phoronix
I am working on a standing desk and am playing soccer 3 times a week, but still had back pain. Then I started doing light weight deadlifts , 3 times a week with back extension on a back extension bench and miraculously my back pain started to fade away within the next 2-3 weeks. I beleive it’s just our weekend lower back muscles that get weekend with age and lesser activity, and they can’t hold the spine anymore correctly.
No. The fundamental problem with that strategy is that moving along the curvature of the perimeter forces you closer to the lion, and it turns out that that's just barely enough for the lion to catch up in finite time.
You may already be behind an overloaded CGNAT then. Over IPv6 on Comcast cable, with the Edge browser, Facebook is fully loaded for me in 3 seconds. Surface tablet in power-save mode so this isn't some overpowered desktop monster.
I'm sure they're aware of it and 'intend' to fix it, but given the often consumer-hostile tactics MSFT is fond of using to shove Bing, Edge, and other products down users' throats, and the fact that this issue, in its current form, happens to align with those goals, I wouldn't be surprised to learn it's not being treated as high priority.
I for one enjoyed this talk.
The Great Renaming (1987)
> You can add a pull-up bar to a doorway and adopt a policy of always having to do as many pull-ups as you can whenever you walk past it

Yep, it’s much easier to forse yourself to do a pull up then going down on the floor for a push up in my experience too.
>This would have been OK if these small channels had such a devoted subscriber base that each would have resulted in a sale or two, but that did not happen.

What does a devoted subscriber base have to do with purchasing advertised products?

I also genuinely don't understand why you are spending so much on shipping. I have to assume that if you offered an option of monthly or every other month and spent half of the money saved on shipping on more candy that your customers would prefer it.
Top open source projects 2018: Vscode, React-native, Tensorflow
Or people who feel bad but still need to get stuff done may be more likely to drink a lot of energy drinks.

Given the importance of mental health in the military, I'd think it should be enough evidence for some kind of intervention trial though.
Financial censorship is still censorship
Does it require the slaughter of innocents to decide not to support hate?
I suspect that as a general matter, headlines are attention-catching gimmicks and subtitles are more likely to proper titles for an article.
Silicon Valley accelerator Y Combinator funding carbon dioxide removal
They are already on the crypto bandwagon but I can see how this would make it more difficult for users.
Explanation in the style of cpggrey https://www.youtube.com/watch?v=57G1Q8BW6Mw
This metaphor is actually quite apt. If you aren’t accustomed to mentally filtering out ads from content, you may be more likely to be swayed by sponsored content and the like.
Microsoft could just as well ship Firefox with Bing as the default search. The problem is Bing.
I find it a little humorous that they posted this to twitter
This is the first reasonable criticism of systemd I've heard. That is very bad code.
The Maya had 18 20-day months plus a 5-day intercalendary period.
That is because there isn't C#, F#, VB.NET, C++/CLI or any language that you decide to put on top, just MSIL.

With straight native code, the story is a bit different.
So the guy graduated a Dr. That does not presently make him a doctor other than in the legal sense. For all practical purposes in this dispute he is a businessman that sees his revenue stream endangered and moves to protect it using the law. This has absolutely nothing to do with two doctors arguing over 'who is right' or 'what is true'.
Ad-supported software has ads. No liking the ads and refusing to pay for the product isn't a grand moral stand.
To reinforce your point: Alan Kay majored in both Computer Science and Molecular Biology and the cell membrane was a significant inspiration for objects. It completely isolates the inner chemical functions from the rest of the world. So encapsulation was the first thing Alan worried about.
I really like Polytopia, its a little turn based strategy game with loads of replay value - every game's different. IAPs are just the different tribes you can play as, nothing scammy.
Ask HN: What concepts, if popularly understood, would most improve the world?
A personal list would start with an understanding of cognitive biases -- how they can be formed, how to recognize them, and how to work with and around them.
It's very troubling. In certain respects it's more troubling than speech censorship.
The Boba Fett 'Star Wars' Movie Isn't Happening
Anecdotally, I find the Google ratings are always higher than Yelp for the majority of businesses I check.
No, not true. Now, information is kept in purely digital form, and the screen and keyboard are just ways to represent or manipulate it. The information is digital, so you can also represent and manipulate it using speech or switches. I'm writing this comment with a real keyboard, but my screen is completely dark. I use a screen reader that reads what's on the screen. That's only possible because your comment and the post itself is digital, stored as ones and zeros, and the screen reader can interpret it. In short, the digital text is the main representation of the post, while the letters on the screen or the synthesized speech are merely derivations. With Dynamicland, the information is represented on Paper and paper is the main medium of information. That means that if you want to write code, you can't write it using a keybord or speech or switches or eye-movement sensors or a terminal connected through a modem that dials up a computer somewhere, you need to be there, hold a pen and type it on the paper. Paper is the medium that really stores the information and it's not easy to quickly add code to paper. Of course, I could carry a portable printer that would accept a sheet of paper, let me make alterations using the familiar keyboard/screen reader interface and print them out, but then the collaborativeness becomes much harder.

In other forms, paper should be a representation a user might choose, not the main form of storage and manipulation. Same for other physical media like the colored poker chips and pebbles mentioned in the original post.
XiaoMi/soar: SQL Optimizer and Rewriter
Does this story show any causation or is it just correlation? From my experience in the Army and deployed it was the units closest to the FLOT who would have the most energy drink usage- if you don't have other creature comforts (sleep, hot chow, safety) you tend to resort to things that you can access, like cheap energy drinks. These units would also see the most combat and have the highest prevalence of PTSD.
While I agree in theory, in practice it’s still a bigger problem, as actual infrastructure needs to be changed for the metric system.

As was proven with the recent change of the DST dates, most calendars are handled by computers these days. It would be relatively straightforward to change the calendar.

There would be problems though. Monthly payments for things, for example, would need to be adjusted. So there would still need to be significant lead time.
Breaking: Gab Upset by the same treatment they promise in their legal terms: "Termination
We may terminate your access to and use of the Services, at our sole discretion, at any time and without notice to you." [1]

1- https://gab.com/about/tos
Sure, but in this particular metaphor, we don't sterilize our environment, but still wash our hands on a regular basis.
SummitKwan/transparent_latent_gan:
This AI Learned How to Generate Human Appearance [video]
Sponsored content isn't the main problem here. All content is opininates. The problem is anonymous 3rd party malware running on a site.
It shouldn't. You could easily say that of Sergei Brin, Sundar Pichai, and Jeff Bezos.

https://www.google.com/search?biw=1280&bih=619&tbm=isch&sa=1...

Look at what a great time Bezos is having with MBS. Aside from executing homosexuals and oppressing women he must be a really great guy.
I didn't forget, but this is not a viable option before a certain age. I can't throw my 2 year old into the city sidewalk.
But isn't that true for every software project? You need discipline to avoid most of the garbage that can be created by using any language or framework.

I've seen some of the worst java apps before, but no one says "never use java". It's generally accepted that skilled engineers can make clean, easily maintainable apps, and unskilled engineers make garbage apps.

This just sounds like sloppy engineering and a total lack of professional rigor.
Omkar-Ajnadkar/Hello-World: Hello World in all possible programmnig languages