skysight-inc/HackerNews huggingface dataset:
See also John Baez's thread at https://twitter.com/johncarlosbaez/status/159280129111350067...
in which he states: "No. Yitang Zhang did NOT prove the Landau-Siegel zeros conjecture. He did not even claim to!"
> Not really. I'm not sure I want it to behave the way GP suggests, but I definitely want to have staging

So I'm replying to OP's very specific usage pattern, and you object with a completely different usage pattern?

> `git commit -a` is basically an equivalent of having no staging.

GP doesn't use the staging as a staging, since they immediately stage all modified files. That means the staging is useless, they can just commit files straight from modified. Which is what `git commit -a` does.

> 1. In the vast majority of cases there are multiple files I want to commit together. Usually I change them multiple times during the process.

OK? `git commit -a` doesn't preclude that. You just use it instead of `git commit`.

> 2. It almost always starts with some debugging in a couple of other files, and I often want to keep that debugging for a couple of next commits, but `git checkout HEAD` these files in the end.

I'm really happy for you. It doesn't work when the files are already staged, which is the case of GP.

> 3. For me, the most popular way of using git rebase → edit (which I do reasonably often) is splitting a commit into 2 by separating files. This is easy enough by just changing a status of a file from "staged" to "modified" (I even have `git unstage` alias for that) and commiting.

https://sapling-scm.com/docs/commands/uncommit

> uncommit part or all of the current commit

You don't need a staging area to craft commits, you can manipulate the tip commit directly. With good enough support for that (which sapling seems to have inherited from mercurial), the staging is just an unnecessary pseudo-commit.
Richard Feynman - Names Don't Constitute Knowledge: https://www.youtube.com/watch?v=lFIYKmos3-s
Trump Makes His 2024 Run Official, Defies Calls to Move On
Definitely, and I do not blame projects whatsoever for nixing the LTS -- it's a lot of work!

Still, I wonder about the general propriety: not every bug fix is a security fix, and treating them as such produces noise and fatigue that reduces the overall effectiveness of vulnerability reporting (since engineers become desensitized to reports).

Much of Rust's ecosystem embodies this: there are crates (like serde and clap) that have extremely regular bugfix releases, but those fixes do not (to my knowledge) surface as security concerns; instead, they're usually small invariant checks or missing trait implementations.
Similarly could you tell your new employer "Hey don't officially hire me for another 3 more weeks - I'll still work for you now but Amazon will pay my salary - deal?"
It's 100% true for a book forgotten on your attic, but if discussing organized effort to preserve information I argue it's an illusion - the libraries have to be actively looked after too. There is a fire protection, regular deratization and disinsection, if roof starts leaking it has to be fixed. If you just leave a book in the middle of a field unprotected it won't last a year. When libraries are left without funds their books get destroyed fairly quickly, I've seen that first hand in my home country.

Digital data requires some maintenance, but with cloud services that's offloaded to service providers. I haven't logged in into Glacier or the related AWS account in years, and yet it still backups my hdd regularly. Now, if a comet strikes the Earth and destroys all the civilization, yes, paper books will be a lot more useful than HDDs or dead cloud servers, but in more realistic scenarios data copies give you more flexibility. Just look at Ukraine, they moved all their official digital archives out of the country at the very beginning of the war. You couldn't ever pull it off with paper archives, it would take months and cost a fortune.
Hi HN! I'm Dani - one of Preston's teammates. Using GitHub actions to auto publish our Chrome extension has helped us move faster without breaking things. With GitHub actions, it's part of our CI/CD pipeline so our tests are part of it.

The way we used to do it before where we manually uploaded the extension was cumbersome and bug prone. This is much better. If you're building a Chrome extension like we are, I hope this helps you.
I'm not familiar with Bending Spoons. Anyone able to give me a bit more context on what this will likely mean for the future of the product?
Certainly possible, but also relies on the assumption that this was done on company equipment. When leaking info under a vindictive boss I would think opsec rule #1 is avoid company equipment as much as possible. Even without a printer at home, it's quite easy to send a print job to a local office or shipping store.
trading is free these days for stocks
This sounds like a beginning of a sci-fi mystery story. Imagine this happening, but on a personal workspace with single user.
Operating systems, especially kernel.
> I've never had an airline not offer to rebook someone at the airline's expense for an airline-canceled flight

I have. Even after 3 hours on the phone. For a flight booked months in advance, and canceled 20 hours before departing. They kept finding flights, and then saying they needed to get them approved by their supervisor, which was rejected 3 times. I assume they decided that the lost tickets would be too expensive and would rather just screw me.

I had to file a chargeback with my credit card to even get a refund (after 2 months), and I'm currently using a legal service which is in the process of suing American Airlines to get the statutory standard compensation for canceled flights in the EU. They simply ignored my (and the legal service's) requests for such.
To be fair the GP only commented your theory not your person :D

There can be legit reasons to not practice what you preach, eg. to gain an advantage with fewer competitors :D
“Test impact analysis” is one name for this general approach. There are a few projects doing this in the Python ecosystem that don’t fully work (Smother, pytest-tia, and some others). Great to see another entry.

Can you cache the coverage DB so this can be run in a CI pipeline?
Every show on commercial television is a carrier for advertisement - doubly so the evening news.
Migrating from WordPress to a headless CMS offers a number of benefits for your Angular application. In this article, you'll learn all about these benefits and gain a high-level overview of the migration process.
I've yet to find a reasonable mobile version of org-mode. Which is, frankly, a non-starter for me personally. 90% of the time I am probably referencing something from my notes when mobile, but I need those notes to:

1. Be accessible an up to date
2. Easily searchable, and to do so quickly
3. In the rare case that I need to take a note, it is best if I can do so easily and have those go back to my computer quickly and painlessly so I can do what needs doing to get that into the system better.

Org-mode simply does not do this well in any of my experience with it. It's fine if all you're doing is taking notes on a computer, but as soon as you add a mobile device to the mix, it goes belly up for me.
I would have assumed some post-processing would be necessary to create a polished surface, but what really blows me away is that it's possible to make the entire interior void-free and consistently dense to create a transparent lens with no air bubbles or interior pockets. I can't even do that molding resin by hand.
Thanks a bunch, looking forward to reading the paper. I am especially intrigued by the claim one can give stronger guarantees than say a simple random walk.
I think you are broadly correct. However, recall Elon's takeover of Twitter was all about "free speech" so in my opinion it's a bad look. A "bigger man" would say "put some time on my calendar and I'd love to hear more". I value flat hierarchy companies where you don't just blindly kowtow to your leaders.
It's not obvious to me that the address bar in windows explorer sometimes behaves like breadcrumbs and sometimes becomes a text box. It's a very subtle behavior, but I'm sure for windows users it's totally discoverable and intuitive.
I actually love that. It sounds over the top Stallman but the argument for that name actually holds water.
Right, but that's a fictional example. No-one has actually unironically called a janitor a "sanitation engineer".
> I could take my time and buy a nice house out in the Midwest

You're not buying a house of any kind (let alone nice) with 3 months severance after taxes and day to day living expenses.
Most maintainer work on their project, they don't have the time to work permanent on tooling. Esecially when the tools work for them.

You don't need always the newest "sht".
Perhaps they're trying to hire, but either the labor market is tight or they're not able to offer enough to get people to take the job.

GP's desire to berate TSA agents, for example, suggests that job-satisfaction might not be real high.
I think part of the problem is that people aren't distinguishing trusted inputs from untrusted inputs. ReDoS is only a possible problem if untrusted inputs can cause it. Some inputs are trusted, and while it's not crazy to check them (people make mistakes), that's a different kind of concern. ReDoS is a potential security vulnerability, but only in certain special cases.

If arbitrary people can insert arbitrary code into what your service sends, and other people will then run it, then ReDoS isn't even the beginning of your security problems.
I think of OOP done well at a high level as "structural logic". Whereas in FP, one might use `map()` and `bind()` to replace complex imperative logic flows, in OOP, this is done with object hierarchies and structures.

When you have a abstract base class or an interface that defines some contract, it's creating a "shape" that defines how an instance of the class can be used.

I think that this might be why some folks have an affinity for OOP and some have an affinity for FP. OOP affinity might be tied to more visual thinkers. For me, I see the "shapes" of the code defined by the contracts.
> This is WSL 2 1.0.0.

> Microsoft is the worst company on the planet when it comes to version numbers.

I take some bleak comfort in the fact that this subsystem appears to be built on New Technology Subsystem Technology...
Just to provide my data point. I am an okay SDE, average for this site. I enjoy working at AWS. My team is particularly good to belong to, but I know at least 5 teams I would enjoy working at, and just 1 I would avoid. I work normal hours, have phenomenal pay and benefits, and the scale is very satisfying.

The only thing I dislike is the yearly performance review (I really really hate boasting about my achievements), but I heard all the large tech companies are like this, so I probably will have to deal with them for the rest of my career.
Thanks for your input jqpabc123. Yes, that's what i think
> if there were several populations of humans developing speech independently of each other, and at different times

We already know of instances of societal-cultural upheaval or even trauma, so severe, that the language undergoes unrecognizable transformation in the form of pidgins. A group of young people from scattered tribes after some disaster, who speak no common language, and who are barely lingual and "re-invent language" for the next generation, seems quite possible over the last several tens of thousands of years, perhaps in multiple times and places.

The similarity of grammar, in unrelated creoles, descended from such pidgin languages, is one of those great tantalizing mysteries in linguistics, and in my view, one that suggests we might just be wired to make a language if we didn't already have one, as do things like the apparent spontaneous emergence of sign languages in deaf communities. The spanner in the workers for that theory is that, of course, those hypothesized people who didn't speak related languages still grew up in lingual communities and were exposed to the idea of language from birth (even the deaf ones, really). Perhaps such events are just a remixing of what already was culturally common, and common to all humans. Indeed, perhaps no community where the link of language transmission has been completely broken, could even survive.
That's a great question. In the US salaried employees are exempt from overtime. Generally, the idea is that you are to work as much as is needed, hence the generally higher pay. There is no set amount of work per the employment contract (in general). You could work very little during slower periods, or a lot during higher demand times.
The fun thing about "hate speech" is that it's almost entirely arbitrary and can be redefined to suit the whims of the people in any given year. Free speech is the enemy to authoritarianism, not its ally. What is acceptable speech should not be able to change just because there's a change in government or a different party is elected.

I'll gladly accept that my definition of free speech differs from the "civilized world" that has no clue what free speech is and has basically no interest in protecting it.
> 40-60 hours at school.

This part doesn't make sense to me, can you please explain (I'm genuinely asking). My children are in elementary school, and the day is from 8:45-2:30. I can understand being there at 8am(i definitely have seen teachers showing up later than this though), and when I've driven by the school at 3pm nearly all the cars are gone from the teachers lot (if not all). I can understand that there's a lot of work outside of school, but I don't understand how you could ever get to 60 hours at school.
if I got that email this morning from my boss, I would know if I wanted to stay or not...
Isn't that neovim, emacs -nw and helix?
Automotive, aerospace, industrial control/signals, and systems programming/engineering still lean heavily towards C (and C++). The ratio between the two will vary widely by individual company and domain.
Seems LoRa is coming up a lot the last few months. I almost picked up a project to do a number of sample implementations/documentation for LoRa-based IoT solutions but I'm not with the company any longer[0].

Permits aren't necessary for operation[1], it works in unlicensed spectrum. The use cases are limited to low-bandwidth/power needs and it uses an AP<->Client communication.

I am in the very initial stages of investigating whether or not it can be used in a peer-to-peer fashion[2] as a way to network the devices worn for playing Laser Tag[3] so that the game could be played on several acres of land and keep the scores/hits in sync.

The backstory is we play an "made-up game of tag" throughout our large neighborhood that involves the person who's "it" riding a OneWheel while being chased on bikes. It's "no contact" for obvious reasons, but it makes it tricky to define what being "tagged" is ... so, being an engineer, I'm trying to find the most complicated and interesting way to solve the problem.

[0] I don't know that they ever got the contract, either, but it looked like a dream project as far as I'm concerned.

[1] I'd imagine that comes with the disclaimer of "provided the devices are operated unmodified" and I'd expect the usual FCC-related things to be required for a product being brought to market.

[2] The thing I want to build would be easier to do -- software-wise -- with a "gateway"/"client" model, but it'd be way more interesting in a mesh-setup.

[3] I have two children who are breaking the bank at the local arena while embarrassing every other casual player. :)
I use the ReMarkable 2 for reading. It supports PDFs and EPUBs and the experience is pretty great. I can download a PDF to my phone and push it to the tablet via their cloud sync service. From my understanding, under the hood, the EPUB is converted to a PDF before getting displayed.
You're onto something with "innovation theater". Companies that overhired need to occupy all their new hands. Well-defined initiatives are already staffed so the extra's are thrown into big, ambiguous initiatives that executives don't pay attention to but have hope for. No attention means no career growth, so the overhired PM's/engineers/whoever put together a performance to steal the spotlight.
> engineers that want to work on engineering problems

12 hours a day 7 days per week

You're welcome to do it. Sane persons don't.
Should be more like $7B if they want this punishment to sting enough to make a difference in behavior.
You're you saying if I ssh into windows and am dumped into powershell, I'm unable to type wsl to drop into linux?
Nope, Elon banned remote work for anyone except those personally approved by himself. All remaining remotes were fired.
Thanks altdataseller.
The demo videos are going way too fast, it's almost impossible to read what they say and there is no pause button.
Then why is cost up 10x over the last two years?
That's awesome that it syncs that well, though one of the reasons I use it is because I can specifically opt out of the syncing and keep everything offline. I use Notes to jot a lot of things down, and that can mean some very intimate/private thoughts, and I've come to distaste having those thoughts floating in the digital ether. Most note taking apps don't seem to allow you to work entirely offline, and if they do, they still phone home a lot and harass you to sign up for an account.
Personally i think it's cool but less interesting than cygwin and less interesting than wsl 1. A well integrated virtual machine is cool and all, but actually translating system calls or rewriting software for another environment is more interesting.
> SSH into development Linux machines

If you need to keep doing this, I warmly recommend Mosh instead. https://mosh.org/
The thing I learned was that maybe a small successful app or service can just be a small successful app or service and not have to grow indefinitely. At some point it seemed like Evernote became obsessed with growing the revenue / business and not making a better product.
Or a fortuitous combination of the two...
Good thing I moved off Evernote years ago. I use Simplenote since it seems to be in good hands with Automattic. They use it internally, so it's not likely to go away.
$7m sounds like... pocket change? Am I missing something here?
Speaking of relocating, I don't love having to pay to pick one's seat, but IMO the larger problem are the customers who choose to don't pay and assume they can bully other passengers into moving. Yeah it sucks you have to pay for the privilege, but it's not the other passenger's responsibility to handle it for you.
Arguably, we're already there. Most of the Internet is content marketing, and that content isn't meaningfully different than AI output. That it's generated by protein bots instead of silicon ones is just implementation detail.
I understand how DNS works. The design goals of ENS are not the same as DNS. There is no "trusted third party" in ENS because the system aims to be trustless, decentralized, ownerless, and censorship-resistant. Even in extreme scenarios like a US sanction, tornadocash.eth domain is still functioning[1] but tornadocash.com has been revoked by Google registrar[2]. Not everybody in the world feels that the current US government administration should be able to dictate and censor worldwide internet protocols in this way.

> Maybe you can track them down and get a legal action strong enough that they honor it

That's fine, it's how our legal system works. Using a bank as an example: they can eject you as a customer if you do something they think is criminal, even before you have had a fair trial that might prove you innocent. ENS and crypto both ask: what if you create protocols where users actually do have complete ownership over their assets, and no single entity has more control over the ledger than another?

[1] https://etherscan.io/enslookup-search?search=tornadocash.eth

[2] https://www.whois.com/whois/tornado.cash
emacs -nw?
And now they are like other bad organizations (e.g., police departments that have a history of shooting unarmed people) in the respect that nobody wants to be associated with them, so they can only recruit from the bottom.
I think it was already called BC backe then?
What about "Xbox One Series" ?
We say "c++" not scare off applicants; but, it's really c/asm/machine-code. Interview at c++ shops & ask how they manage lifetimes in their codebase.
Every time I open up pandas I jealously remember the expressive beauty of R for these tasks. But because we're all "serious" of course we must use Python for production lest we not be serious.
Speaking as an historian here and not as a linguist:
In my experience, a language that has only four cases usually has a method for expressing all eight, they just won't be formalized in the same way. For example, English has no formalized second person plural, so you might use "y'all" or "everyone" as a kludge.
Definitely focus on embedded. You might try looking for startups. Many may list prior experience as a must-have, but will make exceptions depending on the candidate and skills of the other candidates who are applying.
So I've been working remote and traveling for the last year, visited 28 countries so far so taken a lot of flights - and in my personal, anecdotal, probably biased experience - North American airlines and airports are particularly bad. Many positive experiences everywhere else.
We couldn't be more dedicated to Wellfound. By spinning out from AngelList, we think we can hone in even more on our unique audience and elevate the product. There was a lot of friction from a shared brand and codebase from the investor side.
Moral of the story, if you’re about to leak data, don’t use a company printer. Or, for that matter, anything that would log that leak and could be traced to you.

Like other commenters, I find it hard to believe that this actually happened.
Intern not personal assistant, and truly a joy to follow on twitter.
We have run into this with the HL7 standards development organization. It is no longer possible to build new releases of artifacts from some of the older standards because the build process depends on obsolete custom tools which no longer run on modern operating system versions. In theory it might be possible to update the tools, or construct a virtualized build environment, but in practice they don't have enough resources to fight through all the issues.
Where are you getting your numbers? They had 469 billion dollars in revenue and 38 billion dollars of income before taxes in 2021 [0].

[0]: https://s2.q4cdn.com/299287126/files/doc_financials/2021/q4/...
"Each fire happened, they say it’s an e-bike, but we don’t know which one it is"

Sounds fishy. How do we even know these were e-bike fires?
This is kind of like how people are working on AI to get their claims submitted and accepted by health insurance companies in the U.S while meanwhile there are companies building AI to help insurance companies reject claims.
>With WSL2 I got rid of VM's for local development.

No you didn't, you just let Windows hide them from you. WSL2 is essentially a Hyper-V VM running Linux with some programs bridging between it and the Windows host -- or two such VMs with some additional bridging (for Wayland and audio) if WSLg is enabled.
Interesting. I’m germany we love paper but amazon returns work without the need to print a label at home.
> The End of an Error

not sure if that is autocorrect, or a joke, or autocorrect making a pun from "end of an era" with "error" given the sentiment.

either way, it's funny!
If you’re at a company that’s incentivized to do insider threat programs - big tech, finance, govt tech, any sort of serious funding - these tactics are commonplace.
If watermarked emails seems over the top, there are almost certainly IT security tools with extensive access running as a process on your machine for this use case too.