skysight-inc/HackerNews huggingface dataset:
Not GP but:

> Is it unnecessary performance optimization to parallelize multiple adjacent asynchronous functions?

The important word in your question is "async". Take that out and the answer is "no" - it's not unnecessary to parallelise. But the example serves well to illustrate at least one aspect of why red/green is wrong in my opinion: who decides what should be able to run concurrently?

Let's modify the example slightly, and assume we have a function `size(url) -> Int` that returns the size in bytes of a given URL. It's making network calls, so it'll have latency. Should the function be async?

As the developer of that function, I can't reasonably make that choice beyond "probably". But it comes with a cost. The caller can't now just call it: they have to await, and perhaps unbox the answer. If they're only calling it once then you've just added unnecessary complexity to their code.

The _callee_ is the one who's appropriately placed to decide. Using the example, we're calling it 3 times. So, as the developer writing the _calling_ function, I can decide that it's appropriate to paralellise.

To use GP's example, Erlang gets that the right way round. Functions are functions are functions. If I want to call a function synchronously, I just call it. If I want to parallelise, then I simply spawn the function instead.

> or should we just hope that the runtime/compiler gets smart enough to know what is safe to parallelize?

That would be a step on further still. It's definitely doable - compilers already do a buch of pretty sophisticated dataflow analysis.

But even today, the red/green async model is a very limited thing. With significant constraints. Other than perhaps rust - with its focus on zero-cost abstractions - it feels at best an interim step that asks programmers to compensate for a lack of good fine-grained concurrency support in language runtimes.
Correct. We also had two other products, which they sold within a year of acquisition (and we didn't buy back).

The only thing that made it an acquisition more than an acquihire is that we had products that were generating revenue, so they couldn't just give us jobs and regular options packages.

Our employees started at GitHub with regular options packages, but Steve and I got a little more because we were the owners.
The point of category theory is composing morphisms! Functions are morphisms in the Set category. Haskell has something which looks very similar to category theory, but the functions and types in Haskell do not form a category. I would call it “category theory inspired”.
Bitcoin: A Peer-to-Peer Electronic Cash System [pdf] (2008)
The timing and the writing. Why am I reading this as a message to government:

"Apple is the largest taxpayer in the US and has paid almost $45 billion in domestic corporate income taxes over the past five years alone."

Apple is doing its part, dont break our App Store or charge us with monopoly etc?

Am I being too cynical?
Daisugi, the 600-year-old Japanese technique of growing trees out of other trees
For users, The UNIX Programming Environment by Kernighan and Pike is the book that got me going. There are a few things in there that don't exist now but it is the most concise easy-to-read book for new *nix users.

For administration the UNIX System Administration Handbook by Nemeth, Snyder, Seebass, and Hein is how I got started. Newer editions of this book cover Linux specifically.
It is an advisory panel so I suspect Police Scotland will just ignore them or do some vague measure to look like they are doing something about it.
Yeah, you are right! Though I think not every function coloring is necessarily bad and while Java’s implementation of checked exceptions have some edge cases, I think the idea itself is sound and it’s better to have it supported at a language level instead of recreating it with some meta-language in terms of Maybe/Result types, that loose extra-linguistic information like stack traces (yeah I’m sure they can be included, but that should be the default working).
There is also Pelias which is a very good open source geocoder: https://pelias.io
Very interesting! Some comments:

CFD settings
Indeed, without proper information on the CFD settings, it's difficult to judge the quality of these results. This includes:
- Mesh resolution: smallest cell size, refinement strategy, ...
- Mesh type: hexagonal? Prism layers? ...
- Solver: which solver was used? Steady or unsteady? RANS or LES or ...? Were the results averaged? Were wall functions used? Y+ values?
- Wheel rotation: which technique was used for wheel rotation? Just a "tangential wall velocity", or MRF, or a sliding mesh, or ...?
Judging by the resolution of the flow pattern at the bottom, by the fact there is enough mesh to capture the details & gaps between wing elements, ... I'd say there is at least a decent amount of cells. But then again, that's just a very indirect estimation :)

3D model
- Rake: the car is running at quite a high rake. This is just one of the "infinite" number of possible combinations for rear and front ride height and so on. So to get a full aero map, you would need to run the car at various positions.
- Tyre compression: the tyres seem to have been cut-off at ground level, which is a common technique to add in the effect of compression. But the "height" of cut-off is subjective and has a large effect on the aerodynamics, as it influences the ride height and thus the underfloor aerodynamics. Also, there is no tyre deformation in the 3D model (or perhaps I missed it, difficult to tell from the screenshots).

Analysis versus optimization
This is an analysis, which tells us quite a lot. But it doesn't teach us how the team interprets results or, even better, how it translates this into improved designs. It would be cool to see how an adjoint solver would improve this car towards more downforce for example!
(if you don't know what adjoint is, check this video - https://airshaper.com/videos/aerodynamic-shape-optimization-...).

Overall, I find it very interesting - even if the model, CFD setup, ... aren't an exact match with what the guys at Williams are doing, it does provide a lot of interesting insight into existing flow structures on such cars - which is an interesting tool for learning.
how I learned UNIX tools:

(on a NetBSD,) alphabetically went through /bin, /usr/bin, /sbin, /usr/sbin, /usr/games and read each of the program's man pages.
Yeah, took a while. Also read POSIX.2

The things you do with your free time ...
This is kind of simplistic. For instance, if ‘most people’ only watch the first 2 minutes of a 20 minute video, you still have to encode all of it for that minority that does watch the whole video. Also consider that very large groups of people use very similar hardware and connections.

Anyway, of course videos are already chopped into chunks that are stored separately. It’s much easier to distribute and cache these independent chunks. On demand encoding doesn’t change that.
Sorry, I was talking specifically about TypeScript/JavaScript. I edited the original comment to reflect this :)
One way around this is cube-mapping. You construct a cube then normalize all the vertices to "over-inflate" it until it's a sphere. Then you have six textures mapped to the faces of the cube, and no cat's bumhole, and no international date-line zipper. If you subdivide the faces of the cube into rectangles via equal angles instead of naively into a grid, then cut each of the rectangles into two triangles by the shortest diagonal, then you get a very nice tessellation with triangles that are nice and fat (nearly equilateral) with no thin sliver triangles and they're all of approximately equal size. The other thing you can do is double the vertices along the cube face edges, so that no two cube faces share any vertices. In that way you can avoid some "hairy ball theorem" related problems when it comes time to do normal mapping, which involves constructing tangent and bitangent vectors for each vertex. Each face of the cube can have a field of tangents and bitangents with no discontinuities, and since no texture or normal map crosses any boundary between faces, you avoid problems that come up with such discontinuities. (Hairy ball theorem says it's impossible to construct a field of tangents and bitangents covering a sphere that does not contain some discontinuity, so one solution is to stuff the discontinuities between cube map faces where they cannot bother any texture or normal map.)

Tessellated sphere looks like this: https://imgur.com/l3GmWq3
Python has a runtime too, but it still did async in a half-assed way :/
If you want to parallelize X requests, you should spawn X threads to handle those X requests, right? Depending on how large X is and how long you expect the requests to take, this may only be worth it if your threads are actually stack-less coroutines, of course, but why not be explicit about that fact that you want parallelism here?

Thread-based code (CSP) is, after all, the most well studied model of parallel computation, and for a reason. Async code which achieves real parallelism may get much harder to interpret, especially if it's non-trivial (e.g. requestA.then(requestB).then(requestC); in parallel, requestD.then(requestE); and mix this up with mild processing between A and B and C, and between D and E - you can easily get to race conditions in this type of code even in single-threaded runtimes like NodeJS).
Just get them a tricycle.
I agree about the first part, but I'm not sure about the argument about other franchises.

The employees at most McD's are in a different class than most other franchises. This isn't universal, of course, but for the most part, McD's hires from the very bottom end. This isn't bad -- I see people with Down's, strong autism, and similar working at McDs, happily, and those folks need jobs. To do that, you want equipment which is a bit more fail-safe.

Otherwise, we'd have safety issues at McD's every week, and they're exceptionally uncommon. That's because of a robust process. Ice cream machines with more fail-safes at McD's make sense to me.

The really incriminating part of the video comes at the very end, where they locked out Kisch.
> Movies like The Thing, Terminator, Alien, Aliens, etc. Don't really have a political message other than some vague politics as window dressing.

https://www.esquire.com/entertainment/movies/a34518538/john-...

https://gen.medium.com/the-scariest-thing-about-alien-is-how...

https://www.forbes.com/sites/jerrybowyer/2012/06/13/the-poli...

https://www.bfi.org.uk/interviews/terminator-james-cameron

> Give me the politics of Tetris, Pong, Super Mario, Donkey Kong

You got me. Let me rephrase it as any culture with a message.
In my opinion, the FP/IP split is fueled in no small part by a wildly divergent set of vocabularies. A dozen different <greek letter> transforms are inscrutable to anyone who has not spent much time studying Lambda calculus, and the concept of a monad is famously difficult to explain.

You wind up with two camps that cannot communicate. It's often made worse by the functional programmers - who are mostly also imperative programmers - doing a poor job of enabling translation.
They don’t want to open source the tools and programs they develop as part of their pipelines that tie into GPl or each other - GPl is viral and a library import triggers it.

In terms of the tivoization / drm provisions - the GPL is viral - it only takes one screw up or chain of viral connection to blow their business up. Apple fought the govt to avoid unlocking a terrorists phone, that’s how hard they protect signing keys .

The issue is they don’t know who will use what where, and the viral aspect adds insane risk. Minecraft / roblox and other games may decide to add design pipelines or render chains. Or they may want to run the software on golden image VDI pools that are locked down.

Even Ubuntu was so worried about the chain risk they changed bootloader license away from latest GPl
While there are lots of similar efforts, the bidirectional interaction struck me as quit promising; you can apparently push/pull on features and have the Scheme code update.

There also seems to be an emphasis on correctness in the code, which sounds great to anyone who ever tried doing real work in FreeCad, though of course the gap in functionality is vast.
Perhaps a kind soul could implement an OCR system to extract data from the timing screen and make that available via an unofficial API :)
> There are woolly intimations that self driving cars will read roadsigns to work out what the speed limit is for any stretch of road but the truth seems to be that they use the current GPS co-ordinates to access manually entered data on speedlimits.

I actually didn't know Tesla cars relied on GPS + map data w/ speed limits until recently. What a disappointment, apparently it causes all sorts of issues with sudden braking/acceleration when the map data is wrong.
I second the C4 model, its concept of different zoom levels is great! It guides thinking when specifying an architecture, and is a great didactic device when explaining said architecture to executives / investors.
Anyone getting paid to program is professional.

We need to disabuse ourselves of the notion that "professional" implies any kind of quality, or that the people who program without being paid money are doing a bad job of it, for that matter.
Something similar kind of happened to me ... the university I am at (normally) comprises 50k people. No idea where they are ... especially because Bielefeld University is just one building.
Turn Any Website into an API with AutoScraper and FastAPI
> completely flaunting the laws

I think you meant "flouting".
Seattle is in the middle of an exceptional economic boom. Typically, these things start showing when budgets start getting strained and taxes are already high and cuts have to be made.

I’ve seen a few places on the East coast where voters resonate with political candidates that decry the subsidies to public transit, and call for increases in fares or decrease in frequency of bus/train service.
Sounds more like a PMU reset than anything else...it would be interesting to see if the 10 1-second button presses are really necessary.

My DELL has a press and hold the power button an arbitrary period of time to do something similar when it won't reboot.
What a great way to start my morning , thanks !
The commercial opinion bit is incredibly annoying. Ask for an opinion and you’ll get 5 pages of custom built “review” sites that offer nothing useful besides copious ads and paid click-through to Amazon.

Even when Google knows where I go with my searches, they still refuse to show those sites for anything that might have commercial interest. So much for customized search. I get tired of being the product. Can we get a subscription search engine that’s actually good? I’d pay for that.
Zig is just as low level as Rust, AFAICT, and it appears to have avoided this: https://kristoff.it/blog/zig-colorblind-async-await/
Thank you for the clarification.

But still, since it's all about composition, the simplicity is a direct consequence IMHO.
This sort of trick will fix a lot of annoying little issues on most PCs, like if you have a USB device that you know works but your PC won't recognize it. Shutdown, unplug the power, then hit the power button on your PC a few times. Everything should be good. Works every single time I need it.

Once in a while after a resolution switch (e.g. exiting a game), one of my displays will go into its sleep mode and won't come back. Unplugging it and hitting the power button a few times fixes this, no PC restart needed. My friend had a TV that'd do something similar once in a while and this fix worked for him as well.

I'd be willing to bet the specific sequence in this article isn't really important, but rather that you're draining every capacitor in the PC by hitting the power button without a power source available (my understanding of what's happening with my fix).
Help people from COVID19 by launching your own tele[video]-consulation service
As the humanity fights COVID 19, I see lot of use have been helping people in our own way. In case you want to help humanity by any sort of tele(video)-consultation service we at Superpro.ai will be glad to offer you our no-code solution for the same completely free for 2 months. The solution has almost everything to get started in half an hour for tele-consultations market place. Please ping me or reach out to me at vijay@superpro.ai
The author likely meant that D comes with fewer batteries included and a less mature/less numerous community of developers, not that it's literally younger.
Why is that so often things so obvious to me like drug prohibition increases violence and health issues rather than drugs themselves, but for so many people it is difficult to comprehend - like they can only make a simple connections aka drugs are bad, therefore violence and health issues. Like if they were not capable of incorporating more than two variables in their thinking.
Then such people also seem to be dominating in the political scene. Do such limitations in thinking give some kind of advantage when it comes to entering politics?
KSP physics may not be realistic, but they should be close enough for most movies and TV shows, yet they don't even approach that. I think that's the point of the parent.
LeanChess: The Smallest Chess Program
Actually the entire Erlang runtime is "async"(in the terms of the other mentioned languages) almost all the time since it's based on green threads/processes(stuff like a NIF might block of course), the module call is more of a lookup-current-latest-definition call to enable a well defined point for the hot-loading whereas local functions would more likely to be in the middle of a computation (and thus be more likely to be in a complicated-to-upgrade state).

async/await being implemented and popularized as it is today everywhere might just be our generations null-mistake since they're so error prone, they're great to show off parallel IO performance increases for classically synchronous languages but the programmer-burden of explicit await's (luckily IDE's/compilers can catch them) with "weird" side-effects was a big mistake.

The author of the article seems to be firmly in a specific category of developers so the dismissal seems quite in-character.
Content creators are not the beneficiaries of the current copyright legislation, which enables accumulation of large catalogues of old works that can be used to strong-arm central platforms to act as gatekeepers (for lack of a better word.)

Living independently from patreon and youtube is the dream of most content creators. Whether it is currently viable isn't an argument in favour of current copyright legislation.
Moderna will sue violators of their patents when they lost their primary income source.
It's a fair complaint. At least in the USA, "ride sharing" meant some form of carpooling for a long time, and, in some jurisdictions, that definition is even baked into laws or regulations. Services like Uber do offer a ride sharing option, but using it to describe all Uber riding is a bit of a misnomer, and does have the effect of undercutting or even co-opting an existing conversation that was about congestion and environmental impact reduction rather than personal convenience.

That said, the cows are already out of the barn and have been for years now. We probably can't get this new understanding of the term out of the vernacular anymore, so I guess we'll have to make do with an important conversation topic now being permanently confusing.
Ten year old SAABs (it went bankrupt 10 years ago) read roadsigns.

https://www.youtube.com/watch?v=pVekffxj5QE
It became a race thing when the USA and European powers used race as an explicit justification for the (attempted) rape and enslavement of pretty much the rest of the world.
I can recommend one of the referenced books:

James Gleick (2011). The information: A history, a theory, a flood. Vintage Books.
This seems it will be applied to self driving technology in a huge way.

All of these companies doing advanced AI vision detection, classification etc... they’re really hard problems. But the whole challenge will eventually become nullified when every single road sign, landmark, and the road itself are tagged internally with metadata.

Instead of trying to decipher how does this PNG of a speed limit sign translate into a number, the number metadata would be encoded in the sign.

Looking at it this way, having advanced vision AI tech is only a competitive advantage in the short term
I know making a vaccine is a little different than making strawberry jam, but why is there so little supply of the Moderna vaccine given this situation?
For optional travel, the existence of Uber and Lyft has made it much more likely that I’d go into Boston for a dinner or evening of entertainment.

In that sense, Uber also added to sidewalk congestion as I’d previously have spent that time and money in a Cambridge or western suburban location. With convenient and reasonably priced transport, my life is more flexible and enjoyable. Whether that’s worth the trade-offs is a valid question to entertain, but it seems odd to focus only traffic rather than also looking at how much of that traffic is a result of people enjoying life more.
Most users don’t understand file extensions.
How database transactions work in Ecto and why Elixir makes it awesome?
But are you not then putting your faith into a central party (Chainlink) even if they apply some level of decentralization as to how they say publish a price level?
OneWeb is coming to boats this year, even before it has global coverage. One thing to note with OneWeb is there are two terminals that must be placed more than 10' apart. e.g. ideal to put one on each hull of a cat, might be a bit tricky finding somewhere to put them on a 35' mono-hull.

So far it looks like OneWeb is going to be a better option for marine use because you can actually find information about it within the industry already. With Starlink all we have to go on is speculation and the occasional tweet.
> Content creators are not the beneficiaries of the current copyright legislation

On average, they seem to be doing better than people trying to earn money from Patraeon and YouTube. They might not be the intended or primary beneficiary of current copyright legislation, but they are a beneficiary of their employers earning money due to the copyright legislation (however disproportionate).

> Whether it is currently viable isn't an argument in favour of current copyright legislation

Yes, that’s what I was hoping to convey by ending my comment stating current copyright lengths are a separate issue.
The core innovations were brilliant and it does seem to attract a certain kind of developers yes, that said there seems to be quite a few awesome people in the community as well so I guess the strategy is to use it where it's the best tool and not be too invested in the rest.
amazing quotes:

> Larry Page and Sergey Brin were originally pretty negative about search engines that sold ads. Appendix A in their original paper says:

we expect that advertising-funded search engines will be inherently biased towards the advertisers and away from the needs of theconsumers

and that

we believe the issue of advertising causes enough mixed incentives that it is crucial to have acompetitive search engine that is transparent and in the academic realm
Especially given not all of the world has a tradition of caring about foreign IP enforcement. Say, post-pandemic and when you'd like to use Moderna's methods for other drugs.

Which, say what you want about IP law, but pharma objectively has the best claim to it -- if we want new drugs and safety, exclusivity periods and sole ownership of IP are the only way to balance the massive initial financial outlay. (Without funding it directly from government)