skysight-inc/HackerNews huggingface dataset:
It works very well if you're all inside powershell.

Try this exercise: make a .BAT invoke a powershell script that invokes another .BAT passing parameters containing double quotes inside. It just can't be done reliably. The .BAT is only just an example, any param passing to/from powershell (outside powershells internals) is a nightmare.

In bash, this kind of interaction is commonplace. You can make `find` generate shell snippets for you, and pipe the generate shell commands into another interpreter instance seamlessly.

Think of the sheer amount of software the uses the shell this way and you never notice. That npm script that just passes parameters along is relying on the shell interface, that CI yaml that passes variables is relying on the the shell interface, etc. It runs just for a few milliseconds, to pass and glue things around, super simple. Powershell is just not designed nor suitable for that.

The problem of an uniform interface _can_ be solved by changing how people write stuff. The problem of not fitting well as an architectural piece replacement is much more difficult to overcome. Powershell fits Windows though, but that's about it.
The ACM has got a copy of Bush's Memex paper available, it's certainly worth a read for anyone who has not:

https://dl.acm.org/doi/pdf/10.1145/227181.227186

It was interesting to see that Christopher Nolan featured Vannevar Bush prominently in the recent Oppenheimer film. Stripe press published some of his writings recently as well. (I haven't read this one yet)

https://press.stripe.com/pieces-of-the-action
> No, Office Space depicted a horrible office environment, most are not such.

You are right.

...Most are much worse. :D
Personally I dislike the idea of putting the other factor(TOTP) alongside the main two ones (email/password). Kind of ruins most of the purpose of TOTP and MFA in general.
Almost rorschach painting levels of ambiguity in that thing
This reminds me of the recent "Neuromancer" discussion here on HN: The early cyberpunk writing style, and especially that of William Gibson, made extensive use of unexplained technical terms. The story was occasionally hard to follow. But that was part of "cyberpunk", at least initially. If you were really about to read a report from a different possible world, you also wouldn't understand everything. In reality not everything serves some central plot. There are always superfluous details, and (especially for fictional settings) things that are hard to understand for the outsider.

I remember reading, a few years ago, Amazon reviews of the 1990 William Gibson/Bruce Sterling novel "The Difference Engine". Apparently most people expected a normal novel, just with a "steampunk" setting, so naturally they were disappointed and complained about the book being confusing. That's because it's a cyberpunk novel. Which is a literary genre, not merely a setting like steampunk. (The latter term didn't even exist when the book came out.)

I remember Stanisław Lem (an SF author well-known outside the English speaking world) said approximate this about historical novels: Historical novels have the advantage of depth, they can reference a world that is much more complex than required for their plot, they can set themselves in the deep complexity of actual history -- whereas fantasy and sci-fi books must always rely on their own made-up world, which almost necessarily looks flat and shallow in comparison, even if it seems spectacular on the surface.

I really came to understand this when I read Umberto Eco's "The Name of the Rose". All the historical details are so intricate that they are almost impossible to match by a novelist writing about a fantasy world or the far future.

This is, perhaps, also why The Lord of the Rings is such a great fantasy story, and why most other fantasy stories fall short in comparison: Tolkien didn't just write a novel. He invented a fictional language first, then an elaborate fictional history around it, and the Lord of the Rings is really just a small part of this story near the end. When reading the book, you constantly read allusions to "historical details" about things that happened thousands of years ago in Valinor, Beleriand, Númenor, in certain ancient wars etc. These "superfluous details" are occasionally hard to understand (except if you read Tolkien's posthumous "Silmarillion", which his son compiled from fragments) but they approximate something like the depth that usually only a historical novel can achieve.
The correcting factor n/(n-1) in R is what explains my paradox about the law of total variance Var(Y) = E(var(Y|X)) + Var(E(X|Y)), I was obtaining result that don't match this formula because I corrected all the variances with the factor 20/19 but the total variance should have the factor 40/39 just like you pointed.
Thanks for the comments and the correction.

I just added another comment that relates analysis of variance to this post to show that there is no real paradox here.

Finally, the formula for the total variance above is related to my intuition that having some information (having the data for each state) should make the means of the variances in each group smaller that the total variance, because variance is related to lack of information. But analysis of variance suggests (see other comment of mine) that the state factor is not representative because the high variance in each group (each state) and the low difference between the groups means and the total mean.
That was a great listen, thanks.
What about donating pieces to already existing computer museums if you have too many items? Depending on the country, you probably would get a tax credit receipt. There is a list of museums here at: https://en.wikipedia.org/wiki/List_of_computer_museums
Usually when I read or watch something news related, I try to revert it back into the author's outline. What I mean is that when somebody's writes an article, they start with a few facts, and then add a bunch of words and, in modern times, spin on top. But I'm mostly only interested in those few facts. They can be compared against other sources, challenged (or verified), and so on. So for instance in the article for this topic it'd look something like:

- a very small minority of navy seals have committed suicide after exhibiting signs of psychological disorders

- post-mortem analysis showed damage that could be related to exposure to blasts

- blasts causing brain damage? perhaps in training?

Everything else that's written is (to me) pretty much irrelevant. Because in science, a good scientist engaging in good science would now setout to reject their own hypothesis. And only after trying to refute it in every way imaginable might they begin to accept it as even possible, and then set out to test it, again with the goal of rejecting it, so much as possible. But media goes the other way and now runs around collecting statements, data, and evidence in favor of their hypothesis, but you can collect practically endless evidence in support of ideas that are false (which is why science focuses on rejecting your own ideas instead), so it's quite a pointless endeavor.

I tried to do the same with the 60 minutes article (going by the transcript), but failed. The reason is that what they presented sounds pretty silly if you remove it from the "flow." A Russian working in America as a chef, who previously worked as a military comms guy, is arrested for speeding/evading arrest and has a device to allegedly wipe his car's comp? That doesn't even really qualify as circumstantial evidence, because it's just not at all logically connected unless you're playing a game of "connect the dots." And one can do that, but in the end you mostly just end up drawing a Jackson Pollock.
Yeah, poor kids.

But you're an adult (per your bio), and are choosing to fall for fascist propaganda.

The only difference is that its colors are red and blue, rather than blue and gold.
You'll have to reset them one by one.
There's a certain (group of) employees/people in Google maps team which prevent things like this because of their self appointed social justice/we know better ego and they are actually proud of it.

https://x.com/kaseyklimes/status/1802431551671603375?s=46
yes, Mayer is my last name. That's a funny coincidence.
I heard that pigs, pre-selective-breeding, were pretty cute

https://www.leidenmedievalistsblog.nl/images/uploads/_fullla...
To save spotted owls, US officials will kill hundreds of thousands of other owls
EU hits Chinese electric cars with new tariffs
Well that's just plain stupid
The "no sponsored content" restriction of YouTube kids is a huge downside. That eliminates most YouTubers I watch. For example, practical engineering.
Looks like a nice package. And the website is clean and nice. I would recommend including some projects/demos there also. Cause most people in the target audience are prospective makers - they want to make something like A,B,C. The ability to do that is what you are _actually_ selling :)
> If the way to learn things is to read a book a bunch of times, what value does my tuition money get me?

The real answer? You gained a piece of paper which certifies that you are educated in a field.

Depending on the school you may also gain access to an insular professional network.

That's pretty much it. The notion that university degrees are worth anything more than that is moderately outdated.
> I don't trust myself so I need my language to not be bug-prone

Which language is that?
This tool is awesome for design! Thanks for sharing it!
Well the original notion here was

> Developers aren't compensated for any extraordinary achievement

That as a blanket statement is just not true.
Of course it does not apply to every single developer, I would even say it doesn’t apply to the majority.
> I’m kind of amazed that the article has the courage to say this out loud. The New York Times or any mainstream publication would never have been so honest.

It's the IEEE, (we) Engineers are known for having an aversion to bullshit, and just for straight-up having no filter. I wish more of the world worked that way.
Aegis (Android), supports automatic backups. There is also Ente Auth (it's been mentioned on this site), but I haven't used it much.
I thought the same, and went from an Apple standard keyboard to a Moonlander. Some time after that I went to a custom 36-key split ergo board.

It takes a little time to familiarize yourself, but you get very proficient with layers and home-row mods. The main benefit is that every single one of my fingers never has to move more than one key in any direction, and it has markedly improved my wrist health.
I have a client that runs a sports camp for kids. The kids get to request what sports they want to play, and what friends they want to be in class with. This creates a scheduling problem that's hard for a human, and previously they spent several man-weeks per year dealing with it. I built them a simple system that connects their data to an optimizer based on OR-Tools, now their scheduling is done with a few clicks.
Edit: I'd be curious which other papers/authors folks would add who are doing interesting work here.

One starting point is to look at great synthesis, mechanized proofs, and PL folks who have been exploring neural synthesis, and the papers they write + cite:

* Arjun guha: starcoder llm, llm type inference, etc

* Sumit Gulwani & Rishabh Singh (whose pre-llm work is on the syllabus)

* Nikhil Swamy (f*), Sorin Lerner (coq)

* A practical area that has a well-funded intersection because of urgency is security, such as niches like smart contracts, and broader bug finding & repair. Eg, simpler applied methods by Trail of Bits, and any academics they cite. Same thing for DARPA challenge participants: they likely have relevant non-DARPA papers.

* I've been curious about the assisted proof work community Terence Tao has fallen into here as well

* Edit: There are a bunch of Devin-like teams (ex: Princeton team markets a lot, ...), and while interesting empirically, they generally are not as principaled, which is the topic here, so I'm not listing. A lot of OOPSLA, MSR, etc papers are doing incremental work here afaict, so work to sort out

An important distinction for me is whether it is an agentic system (which is much of it and can more easily use heavier & classic methods), training an existing architecture (often a stepping stone to more interesting work), or making a novel architecture (via traditional NLP+NN tricks vs synthesis-informed ones). Most practical results today have been clever agentic, better training sets, and basic NLP-flavored arch tweaks. I suspect that is because those are easiest and early days/years, and thus look more for diversity of explorations right now vs deep in any one track.
The trick, I guess, is to have well-reasoned arguments and be somewhat accurate in your predictions.
I realize it’s hard, but looking at the poor state of the job market I’d argue for both to have a longer term career. There are pure ML/stats folks that know a little Python. They can code a demo notebook that can be hard to implement in practice. There’s also pure, undifferentiated SWEs that have flooded the market.

The most employable folks right now are the Machine Learning engineers that mix both sets of skills.
Well sure it's a bit noisy but it's just a bit of regex.
I'm surprised people aren't bringing up the "original" Sphere. Vegas had an Omnimax dome 45 years ago! I have fond memories of it as a kid. The entire theater was comprised of speakers on which spherical movies were projected. It's a shame it never got more traction.

https://en.wikipedia.org/wiki/IMAX#Dome_and_Omnimax
Authy is both a SaaS and a consumer-facing authenticator app.

When companies integrate Authy into their system, they can use it for SMS OTP (also deliverable by phone call + TTS iirc) as well as regular TOTP, Authy's proprietary TOTP, and others.

Your phone number would only be at risk if you used a service which used Authy for SMS 2FA
The reality is that for any language, including C, compiler optimized code will never be as fast as hand optimized code in libraries like BLAS. So at some level, the choice of host language doesn't matter very much, because you're going to be outsourcing all of the computation anyway if you're really serious about speed. This is the same reason all the AI stuff, possibly the single largest consumer of compute in the world, gets away with being written in python except for the low level compute libraries.

To answer your question directly, The GHC compiler is very good. High level code will perform very well, and for most realistic applications, performance bottlenecks are architectural, not e.g. the use of single width versus SIMD, and the "architectural asymptotics" of haskell are very favorable. I think GHC has/is getting SIMD support but that's not what I would focus on when evaluating perf.

I wouldn't write a matrix multiplication algorithm in Haskell, but I also wouldn't write one in rust or C if I was serious about speed.

Many focus on number crunching as a performance metric, but almost no one is ever actually bottlenecked on that, and if they are it doesn't really matter what high level language they're using.
Their Sparx-5 line is supported by stock upstream Linux switchdev.
If anyone from MS-PWSH team reads this, I'd love for y'all to add some basic GUI functionality that doesn't involve me having to write a bunch of .NET. I'm sorry, but the reason I like PWSH in the first place is it's a simple dynamic language with lots of easy to use commands that I can chain together. I'd love to have a new set of cmdlets for creating simple user interfaces and charts.

For example, something like the below would be so simple for Microsoft to add to the product and remove a page of boilerplate code that I don't really understand well.

Create-Chart -Type "Bar" -XAxis $Cities -YAxis $GDP -OutputFile "C:/Documents/ProjectAnalysis/CitiesBarGraph.png"

There are probably users in the millions that are ok at the basics of programming, but don't have the job role to where tools like Java or C# make sense. Python is usually a good fit here, but I really wish Microsoft had something written for us common folks and not just server admins and IT folks.

If Microsoft put some more effort into PWSH to where it wasn't turtle slow at things like parsing files and then started adding things like what I talk about above. Maybe even cmdlets for statistics and science...it could be something pretty amazing that your typical business analyst could quickly use to build some really amazing software to do their job better or a prototype for the software team to actually implement in a more robust manner. It's such a really cool technology that has a lot of missing potential IMO.

It seems like Microsoft assumes that the three options are full software developer with C#, IT stuff with PWSH, or Excel for the business folks. Excel is really great in a lot of ways, but it is also pretty limited and VBA+Excel is one of the most limited ecosystems I've dealt with. I guess third party languages like Python, R, and so on make for another fourth option, but sometimes I wish Microsoft had spent more time in this area.
> the payments should have been reported as a campaign expenses

You have it exactly backward. The law is clear that "campaign expenses" cannot have any personal component. That makes sense, because the focus of the law is to prevent candidates from calling things "campaign expenses" that are actually for personal benefit. John Edwards was prosecuted for using campaign funds to keep his mistress silent because hiding an affair has a personal component in addition to a political component.

If Trump had been charged with a campaign-finance violation, his straightforward defense under well-established precedent would be that paying off Stormy Daniels had a personal component (avoiding personal embarrassment and his wife finding out), in addition to whatever effect it had on the campaign. The prosecution would have been required to prove beyond a reasonable doubt that Trump's marriage was so dysfunctional that the only reason he would have paid off Stormy Daniels was the election.

That's why prosecutors didn't charge him with a campaign finance violation.
Here's how I understand it, to make a VR app which can display one or more of your physical monitors you "just" need to make an app that's a fancy upgrade to VNC, nothing trivial but you'll be building on some fairly solid ground.

To make a VR app where programs all just float around in space you need to build more like a whole Window System like X11 or Wayland, which is a decent chunk of an entire OS.
Powershell predates Node by 3 years.

They probably didn't base it on anything else since they control .NET.

I doubt it's slow because of .NET, it's slow because of either its design or because of under-investment in performance.

However... which version of PS are you using? As far as I remember the newer versions are quite fast.
Both are a hot mess in practice. I could imagine a scenario where this ‘flexibility’ in not knowing what you’re building ahead of time may be valuable but I’ve never lived one. I’d rather think it through?
Can you provide the full thread? Twitter requires a login to view more than the post you linked to.
Good news. You can write C# that powershell will compile on the fly. It's so ingrained in Microsoft applications that even MSSQL Server will do it as well, if you want to go down that route.
Question for experts: I'm on SDG&E (North County San Diego) and apparently have a smart meter that supports HAN at 900 MHz, but at the end of last year SDG&E declared "no new devices [HAN devices] can be connected". Does this mean that if I want to monitor my electricity use that I’m out of luck?
You might try: https://github.com/turion/rhine-koans
it is tutorial for FRP library Rhine, well commented with tests
Big fan of PowerShell. Such a shame that being in Microsoft, you aren't allowed to do great work.
That is why hackers shouldn't join large companies.
You can create much more value working for yourself or joining a small startup.
Check out the Bloop Museum. They'd be happy to have donations or volunteer help.
https://www.facebook.com/bloopmuseum/
Buses throughout India have segregated seating for male (at the back) and female (in the front) passengers.

Subway trains in most metro-cities often literally have seperate carriages reserved only for women.

Most co-ed schools in India also segregate their classrooms by having girls and boys sit in distinct clusters of seats, perhaps a legacy practice inherited from missionary convent schools of the Raj.

Co-ed hostels are literally unheard of; and no landlord ever accepts explicitly leasing a flat/house to men and women together unless they are related or married.

Such physical separation between the sexes has been a long-practiced convention across a lot of domains in India. So when Indigo says this policy change is "to make the travel experience more comfortable for our female passengers", what this means is that they are trying to make air travel conform to the practices the female passengers have grown up experiencing in other modes of public transport and everywhere else, to reduce friction and needless culture shock for new flyers.
A 22m doc on Comanche and being on board during their record-setting run:

> Even the most daunting world records are meant to be broken… eventually. For elite navigator Stan Honey and a crew of sailing all-stars, beating the prestigious monohull transatlantic sailing record was the ultimate accomplishment. And it was no easy feat. On July 22, 2016, the Comanche—a custom-built, 100-foot racing yacht—set sail from New York to the southern tip of England. Precisely five days, 14 hours, 21 minutes and 25 seconds later, the Comanche’s crew shattered the world record … by more than a day. Brave the high seas as we set sail on one of the most amazing and inspiring journeys ever to take place on film.

* https://www.youtube.com/watch?v=DDmz9iqyeSU

A few years ago Scorpios was built to be even faster than Comanche:

* https://www.yachtingworld.com/supersail/fastest-yacht-the-gi...

* https://www.youtube.com/watch?v=H3tpu7tgVqc

Note: the above are non-foiling designs. If you go with foils then you can go much faster:

* https://en.wikipedia.org/wiki/Sailing_hydrofoil
Toddlers do have fear, see something like the bridge crossing experiment [0]. There are many other such examples, toddlers are not tabulae rasae.

[0] https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3628785/
Is support for uploading/editing other formats planned? I'd like to see .odt and .md added to the list of editable formats.
Let me make sure I've got this right... According to the video, if the driver of a Toyota EV reverses through a "cross walk", and hits a pedestrian, it's the pedestrian's fault for not getting out of the way?

And, in order to prove that it must be the pedestrian's fault for not noticing the vehicle reversing through said cross walk, the vehicle omits an obnoxious noise at high volume?
Python's default REPL is godawful. It's also just not designed for the kind of console work that PowerShell excels at because you have to do things like managing file handles rather than just getting the file content and piping it to another command.

PowerShell is great because it's a swiss army knife that has a very nice REPL with autocomplete, no weird whitespace behavior, readline[0], and can do anything .NET can do if you need to do anything more complicated.

Plus it's object oriented so you can focus on doing the tasks you actually need to do rather than trying to figure out how to use archaic utilities to parse the text based output of other archaic utilities.

0: https://learn.microsoft.com/en-us/powershell/module/psreadli...
If you ever watch The Lord of the Rings: The Two Towers (it’s in the extended, not sure about the theatrical), there’s a similar concept.

https://youtu.be/frJM35gWUFM?feature=shared
Could have been a typo.
Well. I’m not saying to unconditionally hire them.

Ask them a few questions in the interview to see what specific kind of problems they’ve been solving :)