skysight-inc/HackerNews huggingface dataset:
I think it should be possible to design an async system that is generically async, i.e. whether a given function with no special annotations or syntax is async (including all of the async-able calls that function makes transitively) is entirely determined by the top-level caller at compile time. The called function doesn't need any special syntax, and in fact doesn't even need to consider being async at all: the async-capability bubbles up based on what other async-able functions it calls. Only the very ends of the chain: at the bottom doing IO via system calls, or at the very top where request handlers are first dispatched (for example) should need to think about being asynchronous or synchronous at all; everything in-between is compiled for whatever the top wants.
They are a real problem in desktop apps when you have to shut down the app gracefully. If you call an async function during shutdown you can't really tell when the async chain is done and you have nothing to wait for.

Just dealt with that in a .NET app that uses a 3rd party SDK that heavily uses async/wait. I had to build a whole layer of state management to just handle shutdowns. Simple threading would have been much easier.

It's different with server side code. There async/await is very nice.
In that sense FIFA is the world’s most successful peace organization funneling national violence into sports
Yea very true, it's Phillip K at his best.
And a PSU.
kool
But the blog post is in Hugo :-)
How is the progress of the encoder? To be able to use it in real time it must be very efficient.
A bit of searching seems to indicate that it depended on each Echomail conference (== newsgroup); they had flags, and one possible flag was "real names" (== mandatory real name). Most of the echomails seem to bear it.

(I could not find the document describing those flags, but they appear in echolists.)
As long as this gets type-checked at compile time, the types info can be erased during compilation and be absent at runtime.

Since traits / interfaces can't have their methods overridden, you don't need the dynamic dispatch, per-instance VMT, and such; you can have fixed offsets in a method table per class, both in userland and in kernel. (Some of the indirect calls can probably be made direct if the class is exactly known at compile time.)
So much this. Altruistic, considerate people who hem and haw over how their decisions effect others grossly over estimate other human beings. Take a walk along the side of a high speed road and look at all the garbage thrown there. People don't give a shit.
I said wind and solar, not "renewables." Countries with large hydro and geothermal resources can easily run on those, because they're always available.

We really need two different words: one for hydro/geothermal which are steady supplies but geographically limited, and another for wind/solar, which can be installed anywhere but are unpredictable and require massive storage or fossil/nuclear backup. The use of the same word for both has been a constant source of misleading rhetoric.
Elon Musk says the Model 3 represents Tesla’s last ‘bet the company’ initiative
No, VP8 and VP9 were not. That's a fake claim.

> big MPEG-LA patent contributors decide to go for royalties.

There are enough big backers of AV1 to beat back racketeers who will try to stop it.
There's a good book on the topic if you want more:

https://www.amazon.com/Nomonhan-1939-Armys-Victory-Shaped-eb...
Cloudflare, Mozilla, Fastly, and Apple Working on Encrypted SNI
When Musk's offer of help to Thailand was first discussed here, I said I thought I didn't think it was a cynical PR stunt, because Musk gets into all kinds of musings/tinkerings, for better or worse, when people prompt him on Twitter. I think the self-meltdown he's had since the rescue bolsters my point, that his initiative was a gut reaction more than a thought-out PR ploy.

It boggles my mind the number of people who argue, "Well, at least he helped!", as if attempts to help are always a net good. It's fine if he sent help, or if he were privately working on a solution. Tweeting his prototype as it was being developed, as if it were on the cusp of success, was not helpful. It put undue pressure on the rescue chief -- imagine if the operation had failed and children had died? Can you imagine the vitriol the chief would face by armchair critics for not waiting, or for not trying out Musk's solution?

I can't be the only one who thought the rescue operation would end with some casualties (so soon after that former Thai SEAL died). But everyone was rescued, and it turned out the rescue chief/governor made the right call under pressure. Musk, who was accountable to no one, ripping into the rescue chief is the height of douchebaggery. Well, at least until this morning when he called one of the rescuers a "pedo".
I would argue that C++ (or at least, modern C++) aims to /enable/ one to treat it as either. It gives the programmer the power to write very low level code if they wish, but also to define type safe interfaces and high level abstractions which allow the programmer to trust the glue that binds together their blocks of code.
> The German-Soviet Non-Aggression Pact - the green light for Hitler's invasion of Poland and the outbreak of World War II

How about the earlier Munich Pact where France and England handed Czechoslovakia over to Hitler? In my eyes, that was the "green light" for Hitler's imperial ambitions.

Speaking of the Munich Pact - Stalin wanted to move Soviet troops through Poland to defend Czechoslovakia, but Poland refused passage. So if you're going to say the Ribbentrop Pact green lighted the invasion of Poland, you could say Poland green lighted the invasion of Czechoslovakia, which ultimately led to its own invasion.

The Soviet Union wanted self-defense pacts with England, which were not given. The Soviet Union had a very weak one with France in 1935, which former UK PM David Lloyd George said justified Hitler's Rhineland militarization.

Any how - Japan and the USSR staying at peace had an effect on WWII. From the time of the Pacific lend-lease, Russian flagged ships sailed from Vladivostok to Seattle and back, carrying needed supplies, unmolested by German submarines.

The Soviet-Japanese Neutrality Pact was signed two months before Operation Barbarossa. Stalin went to the train station to see Foreign Minister Matsuoka off, which is something he never did. Obviously he saw it as crucial. So too did the Japanese probably, as it saw the western powers encircling it in 1941.
Majority is not Enough: Bitcoin Mining is Vulnerable∗ [pdf]
>To be honest I am fine with pay £700 more for a machine that doesn't develop a problem with the spacebar after 11 days as well as all the other problems I have had.

I'd argue that is a bad comparison. You're basically judging them both on a vacuum (since one is x amount more expensive but gives me reliability, that X extra is justified). but putting those two devices in context, if we take a look at earlier models, we see that macs have increased enormously in price without providing an equivalent amount of improvements.

For me it's more of a case of a company abusing it's status as leader, while others are unable to provide a real alternative.
The Rules of the Baseball Press Box
But what do you think of his book list?
> Can you clarify what youre referring to with "decided to implement it in the compiler instead"

I'm referring specifically to the async/await syntax. Coroutines probably need to be implemented in the compiler, sure, but the actual async/await can be implemented with metaprogramming.
As someone with 0 children, I disagree with you. I'm voting that I personally don't want to raise children, and think that people who don't want to have children should not have them. My brother and sister like raising children, and have 3 each. Doesn't that affinity play a large role in people's choices?
This is why I support physical violence! If more people were to also follow this mantra, it would immunize all of us from assholes who seek to ruin our lives on the way to fame.
Containers or virtual machines: ​Which is more secure?
Which CRM are you using?
Your requirements sound like those rigged bids in corrupted countries where the bid book conditions are like "car length to be between 2531 mm and 2533 mm" and "car weight between 1203 kg and 1205 kg"
Is that really the principle threat? It seems like there would be easier ways for an unscrupulous employee to defraud their company.
Uniquely, AFAIK, the Dynalist team make their Trello kanban available for us all to see. We can also subscribe to and vote for our wished-for developments.
I was too short above.

I see FOMO as the need for instantaneous satisfaction (abstract notion). Fast transport, as an obvious technological advance in the past, to guarantee time and space, removes us from surprise, unknown.

When going to a town not far away was an adventure in itself, today going across the globe is nearly yawn inducing.
Morgan Dixon implemented with me once. Be aware that as define, it is limited to updating at a fixed polling interval. So you don't get updates as each party types; you have to wait for the round-trip sync update every 100ms (or whatever you configure it to).
How about lightweight threads, or are they there already?

Going to Go with its LWT goroutines was awesome. Would never want to go back to async, which is really just a manual way of implementing LWT.
when your brain watches anything, it thinks it is doing it. There is no reason to have 2 brains, just because of TV and cinema exist.

next up, you lose weight by watching people run. although i think believe someone has shown that already.
I'm a cross platform tester for my own company. I spend a couple months stabalizing software for say, MacOS 10.14, until it's to satisfaction, and then I move on to say, Windows 10 with a touch screen. And then an ARM and AMD machine, etc. I keep maybe the last four around before selling them. I have a personal laptop as well, but I often replace that one as well as I discover new laptops that I like as I'm testing them.
I’m not in any JP fan club or anything, but that’s a bizarre assessment. Jordan Peterson is as far from someone who “tells ppl what they want to hear” as you can get. Which is one reason among a few why he is so unlikeable.
It wouldn't be convergent.
Completing your thought (please let me know if I misunderstood you) Y _is_ up for grabs because what you wrote might macroexpand to for example (let ((y 5)) (let ((x (foo y))) (bar x))).

Where your comments falls down is that all the Lisp-2s I know allow the "function definition" of a symbol to be overriden in a similar way, e.g., in Common Lisp the macro might expand to (flet ((bar (arg) (* 5 arg))) (let ((x (foo y))) (bar x))) where FLET is a macro similar to LET but for function definitions.
Ehh, there were plenty of nifty little details in that show, but they don't end up meaning much since the plot gets hijacked by a supernatural deus ex machina.

(And with The Expanse having shown such signs from Episode 1, it almost seems like nobody can make a good sci-fi TV show that has spacecraft but not the supernatural.)
well it just happen that my moto g1 battery died so I had to find a supplier (harder since it's not a shelf part anymore) and disassemble the phone (the battery is still glued, I'm waiting for the replacement to do that).

all your points are valid though, but still I like a bit of swappability.
Do Androids Dream of Electric Sheep by Philip K. Dick - plus, after you can re-watch Blade Runner with a new perspective.
>And of course one that has perfect driver support

I've used MBPs daily for the last few years and occasionally have issues when hotplugging external (Apple) displays. Nothing has perfect driver support.
Why I dress up for my tech job
Continent-scale grids of the scale we need look very unlikely to happen due to regulatory / NIMBY concerns - see the decade long delays for Clean Line Energy to get anything moving. Maybe we'll get a federal administration bold enough to push it through but I wouldn't count on it. That means we'll have to vastly overbuild solar + storage as you said. Luckily the current cost trajectory makes that look possible, but seems worthwhile to have demand side planning in the mix to balance the overbuilding.
Yes, it is, in effect, via staged kidnap-for-ransom.
same goes for smartphones, sadly the market has a tendency to align with 'stupid' goals and so no more production of non-thin devices. I'd be very happy with a thicker phone (larger battery, more shock resilience and even... some buttons)
I have a "powered by MonogDB" bumper sticker...

... and laptop stickers too.
It looks like it's now been unflagged. It's worth noting that the article is quite moderate in tone (praises Musk for his offer to help etc.), and is mainly asking bigger questions about the Silicon Valley mentality of rushing to apply quick technical solutions outside one's domain of expertise. (Engineer's Disease is a term I've also seen used for this.)

But since then Musk made his defamatory comments on Twitter about one of the rescue divers and the whole thing kinda blew up.

Edit: annnnnd it got flagged again. I guess Musk still has a few defenders on here.
Just ask them what protection or "insurance" they do have. If they say yes, problem solved. Personally I think its immoral for companies to pay ransom anyway, just means you're more likely to get kidnapped.
Maybe. And maybe Terrestrial Energy really will deliver a molten salt reactor delivering nuclear at 3 cents/kWh in 2025.

Renewables advocates have a bad habit of comparing the renewables of the future to the nuclear of the past.
You are repeatedly doing this dumb “Apple fanboys” shit on this thread - please stop, it’s totally valueless.

Macs are more expensive than most equivalently-specced PCs. There are reasonable trade offs - things like good support, MacOS support, and build quality - and it’s totally understandable that some people think that’s worth the money.

How about more time trying to understand that people have different requirements from you, and less time being a cliché?
no way to have sealed covers ? (open question)
In my experience most do. It’s just that they work on project that leave zero time to do anything to fix the issue. Customer is paying to add feature X not to fix Y that still worked yesterday.
The projects are listed multiple times, with multiple price points.

eg. if you have a half billion burning a hole in your pocket you can browse the 'Under $500M' tag.
https://www.allsideprojects.com/tags/under%20$500M
I really love how this is relevant to my hacker interests
The fact that I have healthy half-chinese kids puts the nail in the coffin of that idea... among many other things. It's about as serious an idea as a flat earth or "intelligent design".
My first paid programming gig was $20 for a piece of relcoatable machine code to calculate the XModem checksum in a USR$ call instead of in BASIC for the BBS operator who had just upgraded to a 1200 baud modem and found the transfers were only barely faster.
Agree that haskell sometimes is not that practical but it does make you a better programmer.
Why do you think that the Air is discontinued? They're still up for sale on Apple's site. The most recent updates were apparently in 2017.
> Those on demand trip services (Uber, Lyft, etc) are already cheaper than owning a car.

Only until the VC dollars dry up.
> Youtube and Netflix and pretty much irrelevant for anyone else

I like it when the goalposts move in such a way that "used by services in over 50% of US households and services where 70% of all video usage come from mobile, and offers excellent bandwidth improvements for millions of users" apparently means AV1 is a failure, somehow, based on preliminary numbers for a use case (encoding) that largely isn't relevant to mobile devices (and will improve dramatically over time making encoding more usable, anyway, as all prior codecs did.)

Unfortunately for the AV1 designers, they could have realized this fatal flaw sooner, had they only consulted the grand expertise of..... a random internet forum user.
Your phone call will be answered by a person who has no decision making authority. You will need to ask for someone else, and you will need whom to ask. You will also need to know which companies to call. The calling itself maybe not that complicated, but the prep work is arduous. And then you don’t start with “buy my software” you start with “Problem X is a real drag, don’t you wish it went away?”. A lot goes into it.
I can relate to your point more in that way. Joel has a gift for exlplaining intangibles. Agree with his point also having had to spend time debating whether an abstraction choice adds value.

Still worth noting I think though that he does say “sometimes”, because no one is going anywhere without abstractions or generalizations. The problem is they’re hard to do really well and we know historically really smart people can make small mistakes and fall into the not cogent/no value/Joel trap #234.
>It looks over-engineered, complicated and non-intuitive. In 90% of cases, vanilla business logic will be concise enough

Typical top HN comment.

Yeah, very complicated:

v8n()
.number()
.between(0, 100)
.even()
.not.equal(32)
.test(74); // true
I've just learned that Medium now has a paywall for free member. Are there any other place/copy of this article that we can read without the paywall?
I’ve been using one for six months - in my experience, the keyboard is awesome to the point that I hate going back to my other, older machine.

I reckon there’s been a bit of an unfair perpetuation of this idea that it’s particularly bad, though I accept that some other people have different tastes!
>> This is how everything happens, and it's why we're living in the future even though we never realized it. We have a small square in our pockets that can do real-time translation, you talk into it and it'll say the same thing in another language.

For arbitrary language pairs, it doesn't. Try translating between Greek and Chinese or Japanese at a level sufficient to get around town and do everyday, tourist-y things.

Machine translation works well between pairs of languages that are very similar and for which there are many parallel texts. It's all downhill from there (e.g. you have to go via an intermediary language, typically English, to get to the target language etc, which starts to seriously degrade performance).

Auto-cars are not different. In ideal (i.e. laboratory) conditions they may work sufficiently well. Diverge from those conditions and you're gambling with the passengers' lives.

This has been the case for a very long time. I learned something recently that surprised me. To phrase it as a quiz: when do you think was the first coast-to-coast (completely) driverless journey? Answer below.

______________

When are we going to get the first car, hands off the steering wheel, feet off the pedals, drive coast to coast in the US? Yeah, well, it actually happened in 1995 with the Navlab Project from Carnegie Mellon University.

Courtesy of Rodney Brooks:

https://cdn.arstechnica.net/wp-content/uploads/2018/06/2nd-P...
So it is your belief that whales and birds and all other animals were created by humans?

And if so, then why would a human not be able to create an AI that is capable of creating information?
Which part of the country are you in? In the northern parts of the country the supply / demand imbalance between summer solar gen and winter heating requirements are huge, either you're producing 10x more solar than you need in summer or supplementing heat in the winter - or you have an extremely well insulated school bus!
Robinhood – export all your trades
Buying home fire insurance is betting your house will burn down. Buying kidnap insurance is betting you're going to get kidnapped.

That's why it's usually not legal to take insurance out on things that are not you or that you own or are responsible for. Like me taking life insurance out on you, then convincing you to take up crack or simply killing you. I'm betting you're going to die at some odds, then I'm massively changing the odds in my favour relative to the initial bet. Insurance is just gambling with vast sums. Sometimes it makes sense, sometimes it doesn't.
Type checking is much more than that. It is not the same as throwing exceptions when types don't match; it is about proving that a type checked program will never produce type errors.
IBM Research – Project Debater
Curious about this. Does the grain it algorithmically adds back look the same as that it takes away? In other words, is it just a better way to compress existing film grain? Different film sources have extremely different grain profiles, and people who encode movies (both production companies and pirates) will have no interest in the aspects of a codec that remove the real grain in a film to replace it with a generic alternative. I suppose they might adopt AV1 with that feature turned off, but otherwise AV1 will mostly be adopted for web video which currently doesn't have grain due to low bitrate encoding.
Mine is easily identified in a tech conference as the only one without stickers.
Love it. I'd opt for a no-copy framework any time of the day.
The deleted tweet

https://webcache.googleusercontent.com/search?q=cache:Zdx_Qw...

Doubling down

https://webcache.googleusercontent.com/search?q=cache:qsVGLi...
I'm somewhat disappointed that rust is going with async style stackless continuations. I'm a huge fan of stackfull coroutines/continuations as they are much more elegant and flexible. The downside is that they need a full stack, but I strongly believe (but can't prove) that rust has enough annotations and lifetime capabilities that it should be able to guarantee single frame allocation (or even no allocation for fully scoped coroutines, like many generator use cases) in every situation that the async model would.

There is an ongoing discussion in the C++ world between traditional C# style async, a more extreme non-type erased version (similar to the rust implemation I think but unsafe) and stackfull coroutines. Some (like me) hope that an hybrid solution might be possible.
I remember looking through some numbers and realizing that my father paid somewhere around $6000 for our IIci in 1989.
ug, this site disabled the fucking arrow keys. Do you want me to turn off Javascript? Because that's how you get me to turn off Javascript.

fuck people who do this shit.
Can you describe what value the touchbar adds in your usual workflow?
In my experience, the people who choose Wintel vs. Mac computers based primarily on price and not on whether it's the best tool for the task at hand are people whose time isn't very valuable.

I'm not trying to be insulting. But if you're using the computer for work and you can save eight or ten or twelve hours over the course of a month, when you multiply that by your hourly rate and then again by the number of months in a year, it makes sense.

I still have two client-supplied Windows boxes on my desk I have to use daily because the client's unusual legacy needs. But it's good because it reminds me of what the Windows ecosystem is like and every time one of them does something stupid, I love my Macs more.

The Mac isn't always the best tool for the job, but since I switched from Wintel boxes to Macs in 1999, I know that each Mac purchase premium will pay for itself in time and aggravation saved.
Auto generate React code from Sketch designs, by the PageDraw team (YC W18)
Types of 3D Printing Technology
The key to creating gorgeous, glitchy YouTube images: anticipation and deletion
I'll try to find the article, I think it might have been Bitnami or Joyent who ran it.

Some older discussion on the topic here: https://news.ycombinator.com/item?id=3165095