skysight-inc/HackerNews huggingface dataset:
I do not understand the "inconsistent" comment either. The "verbose" comment I can follow, but since you have tab-completion, it does not really matter that much.

The Get-Help command is super useful, with the option to show examples (-Examples).

Consistency is encouraged because every PowerShell command is the combination of a verb and a noun. The verbs are standardised and you can get a list of supported verbs using Get-Verb. Nouns are free to choose.

There is also Get-Command which gives you a list of available commands in your current shell. You can import modules in the shell which will give you access to extra commands. Get-Command supports the parameters Module, Verb and Noun to filter commands. This allows you to fairly easily discover commands that might be usefull to you.

The Get-Alias command will show you what aliases are defined in your shell. This can sometimes be confusing as some of the default aliases look like Linux/UNIX shell commands.

Creating a PowerShell module is also not that hard. When defining a PowerShell command, it is for example very easy to limit the values for a certain parameter and that in turn hooks in into the completion functionality. The completion functionality is available out-of-the-box for every PowerShell command available, including the ones that you create yourself.

My main OS is Linux, but I do work a lot with Windows systems (I develop in C#). I've used bash a lot, but I also learned PowerShell because that is simply the way to go on Windows systems. I like PowerShell, it has a lot of nice features and it is easy to work with. I find it a lot easier to program extra functionality in a PowerShell module compared to defining extra functions in bash. As a C# developer, PowerShell basically also gives me access to any C# class available by default in .NET. It is even simple to load a class from a third-party assembly, and even to compile C# code on the fly. In short, I can do whatever I want in PowerShell a lot easier than in Bash.

Note that that does not mean that I no longer use Bash. It depends. My default shell on linux is bash. When I need a one-liner to do something, I will first reach for bash. It is only when I need a longer script that I will reach for PowerShell. For example, I need to read a json file, manipulate the json structures and write the data back out. That is something I would do in PowerShell. For a build script that is simply a sequence of steps, I would go for bash, even if it involves the use of jq for json for example. And obviously on Windows, my default shell is PowerShell. Even though I have used cygwin/ming before, I would not do that if I can avoid it... there is really no need to try to run bash or anything else on Windows when you have PowerShell.
Great work! What about rendering it to SVG instead of canvas, with a buffer area around and let the scroll take care of itself?
Launched: Seemore.tv Explore Feed
>The phone network used analog links (typically microwave relay) for long distance almost exclusively for many years (into the 80s) after the introduction of T1

The reason should be obvious. Digging long distance trenches and all of the property buying/leasing and right of ways/easements and all of the other fun stuff makes it a total nightmare. Radio broadcast just makes much more financial sense as well as logistically.
I also have this memory. The A/C is a heat pump that just pulled heat to/from the radiator, which is used for both the engine and the A/C. So turning on the heat causes the thermostat to be tripped faster (or so I was told), moving heat away from the engine. You had to be moving for this to work well, especially if your thermostat was going bad.
Is it time to concede Apple was right to eliminate the headphone jack?
> People used to higher end cars tend to notice and maybe not like the extra clunky bits, everything should just work smoothly and quietly

That's kind of funny. Higher end cars are where you most commonly find fixed caliper brakes, and we are 100% used to the little noises they make. What's unusual here is Tesla choosing fixed calipers for an appliance car. So now we have people used to driving Priuses being exposed to mechanical sounds they're not familiar with.

That and electric cars are so quiet that you're going to hear things that are drowned out by an engine on other cars.
'I thought climate change was a hoax. Now I've changed my mind'
It is important to note that all-trans retinoic acid is standard therapy for some types of myeloid leukemias, most notably acute promyelocytic leukemia (APL) and it is also routinely used for treatment of neuroblastoma (a pediatric solid tumor). However, in both cases the cancers show an arrest in differentiation, which ATRA helps overcoming, so I am quite skeptical it will be clinically effective in tumors that develop from fully differentiated cells (like gastric cancer does).

https://www.lls.org/treatment-acute-promyelocytic-leukemia
OK, so how, under this definition, does Ethereum qualify as a security? XRP?
The problem is (also) laws that will "just solve the problem right up". The premise that laws solve problems is false.

A perhaps reasonable compromise would be to (1) not "solve the problem right up" until there is some solid evidence of both the problem and that the law would help it. In general that would require waiting for, indeed, evidence, before passing laws. Which would require not passing laws when the issue is still hot. And (2) making these laws temporary so that they might actually require evidence before becoming entrenched. Including preventing rubber-stamping a law into its next 10 years.

Probably none of which makes sense anyway as long as "riders" exist. The current system is ridiculously corrupt and broken.
https://m.youtube.com/watch?v=hX2aZU2jhNE for the song referenced in the article.
"...fully disassembled and reassembled with XRF done throughout.

Well, hopefully, that answers my point about the clocks' materials and an XRF analysis. Did that reveal anything of significance?

From points/questions raised by James Stanley and my ignorance of this recent work it seems these facts ought to be more widely known. (Ouch, the price of Marine Chronometers at Greenwich unfortunately has to mean that information is confined to Diehards.)
>Strategy-grounded dialogue

>moves based on the current state of the board and the players’ conversation history

Imagine, Meta is able to scan your chat history and start "strategically chatting" with your friends on your behalf while you're offline. For example, when you do something against the agenda. For example, going to vote for wrong candidate.
> There are distance sensors around the entire perimeter of the car

Those have been gone a while. Just cameras now, and a lot of the functionality we had on earlier Teslas still lags behind on the newer camera-only cars.

If you want ultrasonic sensors and full 360 degree camera, you have to get something more advanced, like a Nissan Rogue. No joke ;-). Tesla does not offer this ability.
It is illegal for a manufacturer to sell you a car directly in about 30 states. Since it's based on anticompetitive state dealer laws, it is unlikely anytime soon; separate legislation in each state. My brother, ironically a lobbyist, tells me it's possible with federal legislation but congress is not brave enough, and the auto industry too powerful, for them to even try. Alas. It is likely to be this way for the foreseeable future.
What genius in the Marine Corps wanted second rate "B" over "C(orps)"? Or did the Navy just win out and not want to be seen drawing short straws and Be left with "B" and make up "C" to stand for carrier?
and yet somehow no one has a problem with the same thing on trains or buses
>Finding a working telco pay phone these days would be like finding a unicorn.

Even if I found one, I would only be able to make a collect call. I never carry loose change on me, and I haven't had a calling card in decades.
Dubecos – Fast AI Dubbing App
For Go, I just picked up Fyne. Deploys natively on all relevant targets, with a consistent UI across platforms.
Not sure, I've always used docker for statically linked executables so I never needed an entire operating system inside. The issue comes when using anyone else's containers.
Particularly if you use cdns, tracing, analytics, etc.

Also, IIRC a parent frame can retrieve a child frame's current URL no matter what.
> Even at the peak of the last bullrun, it didn't even amount to 1% of global energy consumption.

Getting close to 1% of global electricity consumption to do a piddling quantity of transactions is a massive amount of waste. This is, like, 5 orders of magnitude or worse less efficient than normal banking networks, or about the same usage as all televisions.
Breezy Version Control System
Right, and some TAs supported data notifications over the D channel. There was also 144kbps IDSL which made use of the D channel bandwidth. And a bunch of other variations.

But, the fundamental channel width was 64kbps and ISDN data calls were not routinely connecting at 56kbps due to robbed-bit signaling, which the GP comment claimed.
Why do you want to develop Haskell programs in a newly created Ubuntu server? Or do you want to compile it down at the deployment target?
That does not refute the criticism about it being a "a jack of all trades master of none". The military gave it so many roles that it seems unlikely to escape that criticism.

One of its roles is Close Air Support. A quick search finds that it is inferior to its predecessor in that role:

https://federalnewsnetwork.com/air-force/2023/11/air-force-f...
> everything becomes Neflix where quality is trash, but hey actors were chosen by an algorithm

I always thought that the algorithm had some successes (at least "back in the day")

e.g. The myth is that House of Cards came out of Netflix realizing that there were a lot of fans of Kevin Spacey, people wanted a complex story line etc. [0]

More recently, I kind of agree that the "enshittification" is starting to kick in but not sure how much of that is monopoly vs oligopoly. Which is sad b/c the big data, when used correctly, DOES lead to "sleeper" hits with different story lines/plots, old actors in new roles etc. This in turn makes me wonder if things were better under the old advertising/commercial supported model where ratings led to more ads which led to better writing etc. In other words, the networks knew exactly what was bringing in the revenue so they sent dollars to those shows. With Netflix, you know what people are watching but not necessarily what brought them to Netflix in the first place.

0 - Good explanation of this here: https://filmmakermagazine.com/64544-house-of-cards-the-netfl...
In Singapore's case, I'd say it's because of a strong commitment to free markets, zero capital controls (like, zero), and a long-running history of respecting private property. That's how they got rich in the first place and that's what makes them attractive to HNWIs who want a location where their assets won't be seized at a bureaucrat's whim.

After you've acquired generational wealth, your next concern naturally turns to protecting it so that it can't be confiscated at will.

I've forgotten the circumstance, but sometime in the 1980s (or 90s, not sure) during a particularly serious oil crises, the Singaporean government went out of their way not to seize/buy off/requisition the stock/reserves owned by refineries and oil companies operating out of Singapore. That culture of respecting private property unless the cash has a serious criminal connection is one of the biggest differences between countries losing/attracting millionaires.
> You can’t really move away from bash, unless there would be alternative as widely available on different Unix systems as bash is.

Lua can be built from source in a few seconds on just about any system and can be used pretty easily as a bash replacement. You can even bundle the lua script in a bash script that idempotently installs lua and then calls the lua script embedded in heredoc.
Because it was such a common problem, CPython 3 tries to detect such string concatenation and handle it like a list of strings concatenation internally.

Have you measured that your code is significantly faster than the original one?
That is absolutely absurd. I initially read this as 1,2,3 steps (for a total of 3), so the scale of the ridiculousness was doubly surprising.
Yes? Tesla historically cuts costs as much as possible, putting all the focus on an excellent electric engine and batteries. Everything else takes a second seat.

For example they removed the ultrasonic parking sensors. They removed the radar. In the next revision, they removed the stalks in favor of buttons on the steering wheel to control the blinkers.

The car is still expensive, but that’s down to in part batteries and the tech still being somewhat pricey, and in part just profit (contrast to e.g. Ford selling their cars at a loss).
Pretty sure HN is not so fond of self-promotion, especially with this kind of attitude. If you want to get yourself out there, pay for proper ads, or market yourself on social media.

Or go by word of mouth, which I assume is your eventual goal... https://xkcd.com/125
Someone issuing false passports has literally no effect on my life. On the other hand, a government being able to issue unauthorized certificates for gmail.com and browsers being helpless about it does.
Side note: Go's GC will still run without allocations, typically every 10 minutes. But, in your case, it might never find memory to collect. If you truly want to disable the GC, use SetGCPercent or GOGC.
tl;dr The F-35 is a dog.

The charts make it clear that compared to older fighters like the F-15 and F-18, the F-35 is much less available (i.e. less reliable) and it gets flown less. It may be flown less because it's less available (obviously) or because it costs too much to fly -- the report doesn't distinguish between the two.

The report also makes it clear that the F-35 is becoming less available with age (as one might expect) but its availability is decreasing with age much faster than the availability of the F-15 and F-18 decreased with age.

IOW, if the US suddenly needs fighter planes in a war, it should be thankful it still has F-15s, F-16s, and F-18s because it's probably going to need them.
It doesn’t really matter since drones are going to replace everything in the air except transport
> the way a message is delivered does not make the points any less valid

but it certainly can demotivate other volunteers, having a net negative effect
The Impact of Social Media Use on Job Burnout
China will collapse just the day after the Evergrande's final bankruptcy bankruptcy.
This is another problem with the current institutions: improving any little thing can be such an insane slog. Unless it's a hot issue that doesn't really matter and that can get a lot of cheap press coverage.

At some point there was some hope for "lobbying as a service" - for example with EFF or ACLU - but that wave has mostly failed also.
> Putting a string in a Vector{Int64} is simply not allowed.

In Java the same applies. But Java is a weird beast. While every value has a type, not all types are equal - there are primitive types like int and double, that are value types, and Integer and Double, that are class types. This all is even more muddied with class generics that are forced into the existing system by type erasure at compile time - so while you can't put a String into an array of Double, you definitely can put a String into a hash map of Double when you really want to, as the hash map is implemented as a class and type parameters of a class are just an illusion that is enforced during the compile time. No sane person will do this and uses all the available tricks to eliminate this possibility, but it is definitely possible.
I'm pretty sure it is from David Suich, and I believe I have heard him make the claim more than once in interviews, however since I have his book "God took my clothes" (rating 3 out of 5, had higher hopes) the only thing I found was:

Of the hundreds of near-death experiences that I have heard, two of them were from people who were blind since birth. During their experiences, they could see for the first time. They were not able to say which colors they saw because they have never learned what colors go with which name. They could only describe what they saw as different intensities and shades of light and color.

So, I'd look at a few of the interviews he gave on youtube and be careful with believing that it was exactly as I claimed. Also, whether this was reported by the experiencer or told to credible people in the room on wakeup, it's still a lot less scientifically rigid than most unreplicatable experiments in other fields.

(And a paranthesis, these journeys are within each of us, but about not being sure what NDEs are, if they are actually happening as experienced, they happen in a reality with a completely different metaphysics, seemingly projected onto the (far lower dimensional) concepts understood by the experiencer. If anything I find NDEs refreshingly straightforward with friendly guides explaining things in ways that make sense, a concept of God that is without the paradoxes of Abrahamic religions, explanations for sufferings and evil that don't conflict with a benevolent God. Compare it to the absolute confusion that is UFO encounters, while similar, are full of nonsensical elements and seem designed to deceive and confuse. But about the actual nature of it, what could we really understand?)
The B variant is for short take off and vertical landing, the C variant is for carriers. Not really sure what you're referring to.
Based on the definition of an investment contract by the Howey test in cases of secondary sale?
Adding to peer comments, being perceived as a low or high quality brand does have a strong material impact to a business. It's the difference between, "Oh, you have a Tesla!" to, "Oh. You have a Tesla.."
Darktable is an interesting project and an impressive effort. However, serious photographers tend to use Lightroom. It is just eons beyond Darktable.

Sometimes even those of us who love programing want to use software rather than develop it.
The C stands for Carrier.

Originally the STOVL was not planned but the Marines insisted on the capability and it lead to the A/B split.
I think you meant "former case" rather than "latter case", but even with compiled programs it can be a little more complex, particularly for a dynamically linked program and especially if your program or libraries use dynamic loading. OpenSSL can do some dynamic loading and depend on environment variables and filesystem artifacts in surprising ways as well. If your program uses any hardcoded paths, it gets more complex as well.

I find it pretty easy to write a program to run in a very minimal docker image, but compiling existing software for the same can be quite hard, and legacy libraries and application code make it even harder. For somebody who is just learning to program, they could easily never really learn the right techniques, because the wrong ones really do just work fine for them. Like electron, these things are very wasteful, but they do work pretty reliably.
Surprisingly not just fancy new jets, f15 and f16s too: https://apnews.com/article/syria-airstrikes-iran-revolutiona...
My fascination with Darktable (I used to use it actively) ended after I tried creating a selective mask, an ellipse, to darken the moon on a picture. While the mask was positioned perfectly when zoomed in 400%, it would jump up or down on different zoom levels, and would end up somewhere else when exported (Aurelien Pierre, the OP, mentions screen vs raw coordinates in his post, I guess I’ve seen the manifestation of that).

At that point I decided, enough is enough. Darktable is painfully slow, it takes over 1s to see the result of very basic brightness adjustments, the interface is laggy (OP mentions that as well, a simple mouse hover issues over a dozen of SQL requests)…

So for now I’m paying for Lightroom mobile. It is lightning fast, has AI masks, comes with 100GiB of cloud storage and works on any decent tablet or phone. I enjoyed Darktable’s instruments, and I like how my images ended up looking. But when even very basic features do not work, the advanced ones become less relevant.

I tried Ansel, and unfortunately, although, it fixes some of the issues, it doesn’t fix all of them (and some are absolute productivity killers). And at that point I wonder, why didn’t OP fork some earlier version, like 3.6, without that MIDI revolution and all the regressions.
Later in his post, the OP mentions, that dtvk is the future. So why don’t invest the effort there instead? I’m no stranger to donating to open-source projects, but I don’t feel like investing any time or money into something, that has no future (even the OP admits that).
Fighter aircrafts are complex machines, and I don't know the numbers for other aircraft, but isn't 10 - 20 hours of flight per month borderline useless? In a war I'd expect a single mission to easily hit five hours, using between 25 and 50% of the total flight hours. Most small nations buy somewhere around 20 to 50, so only a few would be ready at any given point in time.

The pilots have ridiculously low hours in the air per year, around 200 hours per year. The Textron AirLand Scorpion is a bit of a joke as a flight aircraft, but at least you can buy enough of them to ensure that your pilots have actual flight time every week.

I'm really disappointed with the low level of hours in the air for the F-35.
We still don't beat humans in e.g. LeanDojo, to my understanding.
But we also haven't yet thrown the state of the art in graph attention technology at doing the core task of in-context learning (consider the entire explored (partial-)proof "tree" for deciding what tactic with which premises (if the tactic takes an AST/expression argument, like "use that definition/equivalence there as a rewrite rule on the current goal at this node in the proof tree") to apply next at which node in the (partial-)proof tree) in the interactive theorem proving situation, let alone with reinforcement learning that uses the attention structures to funnel back information on what things in dead branches had responsibility for the decisions that made the non-dead branches.

Because the RL agent should happily use the theorem prover as a "calculator", and only get "charged" for how much the ML inference and the actual cheap calculator execution really cost.
Exploration in-context is what humans also do, and immensely powerful. Similar to, when programming, testing some expressions to figure out edge-cases before incorporating them into a large function/algorithm that has poor observability.

So far, machines still mostly do the task of "computing" in theorem proving for us, rather than show some proper intelligence. It's damming that LeanDojo got so high marks without reinforcement learning. They pretty much just dumped prover context state during a run through the entire matlib "standard" library and handed it to two transformers, one for embedding premises and one encoder-decoder fed with the current state and as many premises as the encoder context fits after the state, generating/sampling a few tactics to apply.
No freedom of where in the proof tree to apply the next tactic, no awareness of any such side-branches.
We do self-host but features are still gated behind licensing.