skysight-inc/HackerNews huggingface dataset:
This isn't typical application code, but either proof-of-concept or library code. What you'd instead get is the type error, which in turn would explain itself well enough- that it expected a certain type, and got a different type.

The reason you wouldn't want a cross-compiler for that other language is that there are true semantic differences between languages, and many languages simply cannot fully support the JS runtime- and if your primary application is still in Typescript, trying to cross-compile for a single feature is downright ridiculous.

> The invention, support and defense of Typescript baffles me. It feels like an intensely wasteful work-around for poorly written interpreter error messages concocted by comp-sci grads who think compiled languages are superior to interpreted ones in all situations and they want to bring this wisdom to developers of loosely typed languages.

I sincerely don't think statically typed languages are superior, but I'd argue a large part of the increase in quality over the last few years of the ecosystem is due in large part to Typescript.

Is it going to fix all, or even a majority of the issues? Probably not. But if it can improve upon the situation I don't see why we'd make perfect the enemy of good.
Is there more latent demand for the advertising crap that makes most websites so slow?
Not in my App Store, too. I wonder why not release it worldwide?
PHP is an interpreted dynamically typed language. It would always be slower and would always have strict performance ceiling. Given sufficiently competent compilers of similar level of engineering effort, that would always be true. PHP is within the same performance weight category as JavaScript. C# is in the same weight category as Kotlin ad Java, sometimes Rust and C++. It is guaranteed in the same category as Rust and C++ for performance-oriented code (struct generics and spans).

To think that an interpreter, where each single instruction is, in the very best case, a computed goto jump with args evaluation, would execute the code faster or comparable to code that is compiled to CPU instructions, is insanity. Even when/if PHP gets JIT compiled, it still has the same language constraints where even something as sophisticated as V8 has to contend with language spec so it cannot optimize away e.g. property access.

It might be best to re-evaluate prior assumptions and knowledge which do not correspond to reality.
And what about green AI ?
That would be amazing, not everyone reads eBooks (whether because they don't read books, or just prefer physical) but everyone whose a potential user anyway does browse websites.

Also because while I absolutely love the idea for seamless Hinglish style integration (as opposed to say a side bar which just told you what some words would be in a different language) it does mean that I'm no longer really reading the book, I'm reading the content but not the author. I don't personally read anything that I'd want to alter like that, but I can imagine for others it might limit its use to 'trashy novella read while travelling' or something.

Tldr the idea is brilliant, but for me too it needs to not be for eBooks.
First step into math is to learn how math people think. Here below is an intro textbook meant to do just that[0]. It's a high quality, free introduction. You don't need to know much past 6th/7th grade level math which amounts to knowing how to do arithmetic with fractions and decimals and maybe an ability to in/equalities in one variable. I will also add a couple of google links that might be more relevant to what you might be trying to do[1][2].

[0] Book of Proof by Richard Hammack
https://www.people.vcu.edu/~rhammack/BookOfProof/

[1] Linear Algebra: Step by Step by Kuldeep Singh
https://www.google.com/books/edition/Linear_Algebra/BJNoAgAA...

[2] Number Theory: Step by Step by Kuldeep Singh
https://www.google.com/books/edition/Number_Theory/YZr9DwAAQ...

[3] Undergraduate Analysis: A Working Textbook by Aisling McCluskey and Brian McMaster

https://books.google.com/books?id=7U9HtAEACAAJ&printsec=copy...

There's even more relevant book for you[4]

[4] Foundations of Applied Mathematics by Jeffrey Humpherys, Tyler J. Jarvis, Emily J. Evans

https://books.google.com/books?id=CEc3DwAAQBAJ&pg=PR3&source...
Author here - yes, Failsafe-go definitely took some inspiration from Polly, but it also borrows ideas from the Failsafe JVM library [1]. Polly and Failsafe influenced each other back and forth over the years.

https://failsafe.dev/
It only works with iOS 17.0+

Could you make it work with any versions lower than 17.0?
Your comment on this being solved by inventing new programming languages like Erlang is right on point.

Our take is that distributed coroutines can be brought to general-purpose programming languages like Python so that engineering teams can adopt these features incrementally in their existing applications instead of adding a whole new language or framework.

In my opinion, the value is in being able to reuse the software tools and processes you're familiar with, major shifts are rarely the right call.
This is a pretty neat application, but most embedded languages like SQL have a way more complicated grammar that would require a really complicated set of types to parse. This can tank the performance of your type checking step and it also means that the error messages you get out of the parser-in-types are going to be nearly useless.

A more common solution is to parse the string at runtime with a proper parser with decent error handling and then have the parser return a branded type [0] which you can use elsewhere to ensure your strings are well formed.

[0] https://egghead.io/blog/using-branded-types-in-typescript
Yes. The point is the extra steps mean that the delta between “just bubbling up” and “doing something about it” is smaller, which increases the chance that you'll consider “doing something about it.” If “bubbling up” is infinitely easier than handling it, you'll postpone handling it as much as you can.
x1798DE captured my intent well. For example, tonal languages like Mandarin or Cantonese may be more difficult to decode if vocal cords aren’t vibrating, and languages with more phonemes that have both a voiced and unvoiced version might be more difficult. I still think decoding will be possible for general language, but that’s a hypothesis whereas I know it’s true for English.
In many countries, iMessage isn't that popular and other messengers thrive. Why do you think ios forced all these other messenger apps to integrate with the OS call records - so that it can still collect the metadata on who you talk to through VoIP (So even if you use other messengers on ios to protect your data from Apple, you can't).
Ok, I misunderstood what you were saying. I think we agree. ;0)
> For Emily, it was validation that she wasn’t, as she puts, it “weird.”

Being one of only like 100 people with the same superpower? Yes, not weird at all :P

Wasn't there some theory that we forget things slowly in order to keep us sane or something like that? Given that these people have perfect recall and remain completely normal and functional far more likely makes it an unintentional fault that needs fixing than an evolutionarily selected-for attribute.

> Those with superior memory remember the good, but they will also never forget the bad. They feel the pain as if it were today. Some with HSAM struggle with anxiety and depression as a result.

Yeah and so do lots of the rest of us, doesn't seem like that much of a correlation.
I suppose if she is ever on hard times, she can study for a month and cleanup on Jeopardy or a similar quiz show.
An acquaintance of mine ended up dating and ultimately marrying his friends sister. Their relationship started out of him calling “the house” to talk to his friend and the sister picking up and spending a few minutes talking with “your friend who has a nice voice”.
> It might be best to re-evaluate prior assumptions and knowledge which do not correspond to reality.

heh, right back at you dude. Opcache JIT is running on an actual CLR just like C#, it can even AOT compile.
x coord, y coord, command that consumes the arguments from what we can infer is pushed onto a stack beforehand
Man, I did a bunch of work getting this whole extra crate just for one proc macro working to extract nested function ASTs from rust files,

and on the 2nd day of work after everything finally worked, it complained because I wanted to return the AST instead of a token stream.

Joke’s on me because I didn’t know you have to use proc macros to transform code and I wound up just rewriting it as a function. Hopefully that doesn’t screw up what I want to do, which is basically compile time correctness checking, but it probably will…

Feels like every time I try to make compile time functionality in rust, I wind up getting sucked into endless type-level shenanigans, and it works, as long as you can tolerate the error messages being nigh unreadable.

WTB “comptime” Rust
In my experience, Mistral Medium seems to give better output than Mistral Large. And they have the audacity to charge 75% of GPT4.
> I'd still rather take Norway or New Zealand.

So I can remain on my original strategy, despite all the precise corrections I received to my ill-conceived notions? Nice.
If you watched certain YouTube videos, investigators demanded your data
AFAIK, I think the most popular version of this idea is https://readlang.com
I think you're making my case for me here :) Yes, Go reached maturity faster than Rust (despite its first release occurring later – one of the many benefits of simplicity), and the lack of generics doesn't seem to have hurt its adoption. Another victory for Worse is Better.
> then evaluating the rest of the list, then apply the rest of the list to the definition

True for function calls. But not for the zillions of macros. The "small number", you mention, are the small number of special operators. But there are many more macros. Those get the arg source unevaluated and return a Lisp form, which then is checked again (either by the compiler or at runtime by a source interpreter).
Curious what your issue was with duck-typing. Were you effectively looking to create ADTs that are required to go through a specific step-by-step process, not simply 'look like' the thing that was expected?

If so, you might be interested in [newtype-ts].

[newtype-ts]: https://github.com/gcanti/newtype-ts
Even better idea: let's force everyone to offset all emissions. We'll call it net zero.
I’d most certainly need to read a manual to know what this does.

Is there an implicit bounding box? How large is it? Does x or y go first in the parameters?

> Certainly simpler, cleaner, and arguably more powerful than svg graphics.

Much more powerful, I agree. Some might even say a bit too powerful for a graphics description language, halting problem and all.
Doesn't really matter, ARM and Nvidia chips are the future.
That doesn't feel good for my old knees.
I don't know much about CUDA and NVIDIA, but it has always surprised me how hardware companies are so bad at producing good software tooling for their hardware.

Many microcontroller companies have terrible software support: no free C/C++ compilers, clunky IDEs, too much reliance on 3rd party software providers, no decent code libraries...

Even if they have software support, the code is bad and bloated. Look at ST's HAL libraries, for example. Thankfully, an open source or free tool often comes to the rescue, usually through the efforts of dedicated individual programmers. But billion-dollar companies relying on such 3rd party tooling seems insane to me.
Just enter in the dataset description and see it, and can even download a sample of the file.
https://www.databoutique.com/buy-data-page-detail/balenciaga...

But thanks for the feedback, probably we should make the website clearer
> The messages that Lebed posted would predict marked increases in the stocks value [...] In response to Lebed’s messages, trading volume of these stocks would soar

I'm so confused reading the comments here. How in the world is anyone defending this?
Rust doesn't solve this. You can easily make the same mistake as the article describes, in Rust.

Thiez points out that a Rust mutex wraps the data it protects. But that doesn't fix the issue described in the article. The C++ in the article also accesses all mutex-protected data safely. You could translate it almost line-for-line to Rust and still have the same race hazard.

It's because the race hazard is from wait-condition ordering, rather than mutex-protected data.

The article explains, it's tempting and intuitive to make kill_flag an atomic, outside the data protected by the mutex, because it's a sticky state, only written in one place.

I've seen this pattern used often enough in the real world, sometimes with the flag being a global variable. People do it. Shutdowns get stuck occasionally, nobody is sure why. Sometimes the flag is set in a signal handler, where it isn't safe to use mutex/notify operations anyway, and nobody thought hard enough about making those wakups reliable.

But those patterns lead to a race hazard with wait conditions. The article goes on to explain that kill_flag should be part of the data protected by the condition's mutex. And then there's no need to make it atomic.

After seeing that, it might be a surprise to find kill_flag doesn't have to be protected by the mutex after all!

That intuition that it can go outside was correct. It just needs a little ordering. The following code will also avoid the race hazard:

// Notify all workers that they need to die right now.
m_kill_flag = true;
// Acquire and release the mutex to ensure condvar waiters reliably see all state changes.
{ std::unique_lock<std::mutex> lock(m_mutex); }
// Wake all sleeping condvar waiters.
m_has_work.notify_all();

I would not recommend this for the situation in the article. But you can see how it generalises, for example you might have a global kill flag or memory statistic that's used for many different things, protected by different mutexes.
I will point to the fact that before the collapse of Soviet Union, most Ukranians did not see any difference between them and Russians, and most of them voted for keeping Soviet Union intact in the referendum held on 17.3.1991 (as in most other USSR republics), ignored then by Yeltsin and other people who wanted to get their share of power sponsored by US. The division between Russia and Ukraine, as far as I know, was mostly administrative. In Odessa and Kiev people laughed at ukranian nationalism, which was then confined to L'vov and such places.

As for "hundreds of years", Russia was seen as liberator by the same eastern Europe when it fought against the Turks and nazi Germany, was seen as oppressor in some of Caucasus and in Poland, which in their turn thought it was their right to take the land of barbaric Russians. And in the Baltic states there are sources from the 16th century (Guagnini, an italian at the service of Polish court) which describe the Lithuanian Vitold governing Russians in Vilnius, stating that there seem to be more Russian Orthodox churches in Vilnius than catholic ones (and Guagnini cannot be suspected in sympathy to Russians).

So you see, you simplify history, and you do so, I think, first because you don't read, and then because your own country just changed one empire for another.
> Maybe it’s time to hit up your local record store.

No, it’s time to end the loudness war or offer an option with the full dynamic range for those that care.
> Depending on who you talk to, Lebed was either viewed as a person who knowingly abused the system and broke the law, or someone ... actually performing no wrong-doing.

Funny how selectively quoting a bit differently makes that appear far less so.
Just look for state-machine (finite state automata) on github

https://github.com/search?q=state-machine&type=repositories

This is a very common pattern in Ruby to manage state. It's especially useful to guard entering impossible states with respect to business logic and figuring out what went wrong. Something along the lines of:

Can't transition Command from 'ordered' to 'to-deliver': paid() == false

look at this gem https://github.com/pluginaweek/state_machine to get an idea of what features are possible
I don't know the implementation details of this specific StarTech dock, but other Thunderbolt docking stations (like the HP USB-C Dock G4) have a PCIe NIC which supports PXE booting.

It's the same implementation as an internal NIC connected over PCIe, the NIC firmware contains a PXE option ROM that the host runs during boot.

> Is it just part of UEFI?

Yes, sort of. It's the same way PC firmware has been supporting option ROMs of PCI(e) devices since the BIOS days.
Even if you could remember everything, I am curious how you keep it straight. I may be extra boring, but a lot of my life is rote. Day 452 of Job is really similar to day 451 and 453.
I mean, all types are "entirely fictitious" as far as the computer is concerned. Yeah they usually have fewer layers than JS does, but that's a pretty arbitrary line to draw.
I definitely don't want to learn another language by reading English. I've seen comments about people who learnt a language using Google translate from English, and they end up sounding like Google translate.

I prefer to learn by reading in the target language and translating to English as I go along.
Their experiment seems to not be conclusive to my reading. They layered eccentric exercise after four weeks of walking exercise. They compare four weeks of walking exercise to eight weeks of walking exercise plus four weeks of eccentric exercise and don’t control for the fact eight weeks of walking is twice as much as four.

That said there’s a lot of evidence eccentric contraction is crucial for strength gain. But this experiment isn’t convincing alone.
There are always applications that will require it. Right now we have clients from auto industry very interested in V&V of their chips with XRay
If it's the British and the treatment of the brilliant people, the story that comes to mind is of Alan Turing.

https://en.wikipedia.org/wiki/Alan_Turing#Homosexuality_and_...
Isn’t that what she did? They randomly picked calendar dates and asked her to explain things that happened on each day.
I can’t help but be reminded of my employer’s favorite quote from Dune:

> Once men turned their thinking over to machines in the hope that this would set them free. But that only permitted other men with machines to enslave them.
No. The full-fat Visual Studio is native arm64 nowadays!
Nothing to do with undergrad/PhD - I was just commenting on the way the date was written (2024-03-21 in Chinese/big-endian format, 21.03.2024 in European/small-endian format, 03/21/2024 in the muddled US format):

At the bottom of the document, it says "令和 6 年 3 月 21 日“, where the first two characters denote the Reiwa era which started in 2019 (=year 1 of the Reiwa era). 2024 then is year 6 of that era. And that's just what the next two characters denote: "6 年" = year 6. "3 月" is month 3 (the character symbolises a moon), and "21 日" is day 21 (the character symbolises a sun).
I know. I was talking about moving to ARM.
kentlaw.edu doesn't use SSL?
according to hairy banana theorem, at least one surface point won't be sliding sideways
This is why I said, "while I'm typing this".
Today we produce 106% of our electricity demand renewably.

Sure, it's a windy sunday. But that doesn't change the fact that we're on the right track and just need to continue with renewables.

https://www.energy-charts.info/charts/renewable_share/chart....
Yes, but hydrogen is cheap. Especially compared to anti-matter.

Shielding is also going to be a huge issue for anti-matter drives (even without a human crew). Anyone know how the energy of EM radiation emitted from a fusion reaction compares to that emitted from an matter:anti-matter reaction?
More likely they just had been running a project/company for a while and wanted to move onto new and more interesting things. And/or just cash out.
Consider a wallet, with cash in it.... it's a fine grained capabilities system.

We would regularly be given $0.25 (I think?) to buy milk for lunch at school in 1st grade. Heck, buy the time I was 10 or so, I'd regularly be handed $20, and go and buy cigarettes for Mom with it, while she waited with my younger sisters in the station wagon outside.

No matter how confused, or forgetful, or mischievous, the maximum loss was the amount handed over the in first place. It was a far safer model than handing over a credit card.

Each bill is an economic token. Its a very simple model, and any side effects from using them are immediately known.

If your OS were to make it just as easy to use (grant permission to the program you're running) a specific file, or folder, or network connection, and nothing else you wouldn't need to worry about virii, worms, malware, etc... you'd have decided what to open, and by default, nothing else goes along for the ride.

Replacing dialog boxes with "power boxes" that act the same, except they return a capability that the OS enforces, means that most GUI applications would behave identically, and it wouldn't require much change to the code. Command line applications, on the other hand, require a new standard and uniform way to specify files, paths, etc.

Even so, that would be far, far easier than spinning up a VM every time you want to run code you don't trust.
Almost as frustrating as people who posit the penalty for lying/fraud/hucksterism should be death.
> dwarfed their European counterparts

I agree this is tragic and under-reported, but I think you weaken your case when you exaggerate like this.. Its not a direct contest for "greatness" since they were so different.
I can only assume it's idiots downvoting this, who think you are bashing the site instead of sympathising with it.
There is actually efforts in the Typescript community attempting to do just that. Personally I think it'll end up being a waste, but these sorts of experiments, even when they fail, often can help along new discoveries.

And on the off-chance they get it right, then damn that's pretty great.
exactly, the OP should just take a family vacation 2x per year to japan if they like it that much instead
Why not? It's not constant super awareness of your memory, just having all of it available if you need it. Instead of trying to remember something and drawing a blank you just remember it. At least that's my understanding of it.

I honestly really envy people who can maintain long term memory without constantly refreshing it. All the classes I've ever taken soon got rm -rfed after the final exam, except for the handful of things that I needed to keep knowing on a regular basis.
That sounds about right. It's a small homogeneous country and the situation really was dire. Much more so than in many other countries, including the US, in general. The US had some big failures but the system largely held together (with the help of the government of course).
The problem with the statement is it's naive insistence that i live in op's world. It's the inane insistence that we dont live in the third largest country and the insistence that everything has been homogenized and is one simple vanilla flavor.

Frankly at this point it's just virtue signaling on the order of "I'm not a raging consumerist like you, I use a public good instead." The demand to be thanked, and the refusal to be criticized are part-and-parcel of the virtue signal.
2002 was actually quite late in the Palm era. The iconic Palm V, for instance, dates back to 1999. And BlackBerry had a mature smartphone by 2002. Nothing compared to an iPhone of course, but quite capable.
Probably only space based antimatter production makes sense, the risk of blowing up the most expensive and dangerous stuff on Earth is just too big. Fusion sounds like a clear winner as opposed to antimatter.

I've found direct fusion drive as a concept a company is working on:
https://en.wikipedia.org/wiki/Direct_Fusion_Drive