skysight-inc/HackerNews huggingface dataset:
Ah, `i += 1` isn’t currently thread-safe because Python does (LOAD, +=, STORE) as 3 separate bytecode instructions.

I guess the only things that are a single instruction are some modifications to mutable objects, and those are already heavyweight enough that it’s OK to add a per-object lock.
He's talking about education. This is for students, not programmers. Anyone with a Windows machine should be able to become a student.
Many uses. There's tons of situations where you are already accelerating most of your heavy compute with tensor libraries, but the data input/output parts are still in python. They would benefit from loading data in parallel before batching.

Multiprocess, OS threads, and asyncio all solve different problems. Threads are pretty heavyweight compared to async coroutines (aka green threads). The big win with coroutines is it is very cheap to put them to sleep waiting on io. So a web server on a 4 core vm might have 4 worker processes, several threads per process, and dozens/hundreds of coroutines.

> So perhaps you can use this for slurping other people's IP in parallel and train the "AIs" that are supposed to make us redundant.

This has absolutely nothing to do with the technical merits of async or threads. For one, the above two examples are taken directly from work I did to combat deep fakes by identifying various "tells" from the media. Some of us are in fact using machine learning for good.
If you want a nice chunky insert that may or may not have a small hard drive inside, it sounds like you're describing CompactFlash.
If bankruptcy can clear liabilities then your suggestion won't help. The shareholders are usually gone by the time the bill comes due: it's often cheaper to go bankrupt. And there's a whole private equity industry revolving around taking dirty liabilities and slowly bankrupting a company to squeeze the last dollar out before shutting down.

Look at the same problem with environmental disasters that were created by corporations. The problem with security liabilities is similar? Externalities are hard to get shareholders to pay for.
While I agree with some of your points regarding salary, this is all just wrong:

> They have expensive health benefits

Hmm… maybe more expensive when compared to private tech industry jobs, but cheap compared to owning your own business.

> 13 days of PTO a year

Starts at 13 days for first 2 years, then is 20 days from 3-15, then 26 days from 15 on.

Plus medical leave.

Plus it’s usually easy to get people to donate leave in the event of a medical emergency.

> put a huge chunk of their paycheck (almost 5%) into a mandatory pension plan

Not mandatory at all. The government puts in 1% for folks automatically. They match up to 5% total.

> that consistently underperforms the market

It literally is the market. They have funds for S&P 500 and Dow total market, plus a few others, all at super low fees.

None of these funds are speculative other than the total market that the fund represents.
Splitting your assets in half, especially when you’re really rich, is hardly “economic suicide”
I have a huge backlog of games already so I really don't need any new games. I still buy new games that look interesting if I happen to encounter them, but I don't actively seek out new games.

I typically play action and/or adventure games. Fps, platformers, Zelda-esque, and I'm particularly fond of any good metroidvania style games.

I should say, older Zelda games, not the new giant open world ones. I don't care for endless hours of wandering and foraging, leveling up, it's so f-ing tedious and repetitive. I love detailed worlds full of interesting things, not gigantic procedurally generated nothingness.
> do you not have to validate a surprising classical finding in the same way that you would an AI model - i.e. how much does the "why" matter? "the AI can never provide a guarantee of correctness" - is true, but what it was merely extremely accurate, in the same way that many computer vision models are?

The lack of asking "why" is one of my biggest frustrations in much of the research I have seen in biology and genetics today. The why is hugely important, without knowing why something happens or how it works we're left only with knowing what happened. When we go to use that as knowledge we have no idea what unintended side effects may occur and no real information telling us where to look or how to identify side effects should they occur.

Researching what happens when we throw crap at the wall can occasionally lead to a sellable product but is a far cry from the scientific method.
John Carreyou, writer of this article, exposed Theranos while at the WSJ.
> Modern compilers are not doing much searching in general.

This is false. Any compiler that does register allocation and instruction scheduling (all of them) is searching for an optimal (or just good enough) solution to an optimization problem.
Interesting concept for a project...
From what I have seen in the industry, it seems like this is something every organization ends up developing at least one custom tool for. EDA vendors even generally sell their own solution to this problem, but we always end up back at custom tools. It would be interesting to see if community collaboration could find a better general solution.

That said, it seems like Smelt is far too early in development to be practically used at this point. Some basic table stakes that I didn't see:

- Test weighting. Having a way to specify a relative repeat counts per test is essential when using constrained random tests like we do in the ASIC world.

- Some form of tagging to identify a test as belonging to multiple different groups. When combined with a way to intersect and join groups when specifying the tests to run.

- Control over the random seed for an entire test run. I was glad to see some support for test seeds. However when invoking smelt to run multiple tests, it would be nice to be able to reproducibly seed the generation of each individual test seed. Maybe this is outside the scope of this project?

Great things to see:

- Procedural test generation is a key feature.

- Extendable command invocation

- SLURM support is in the roadmap, also an important feature for groups that use SLURM.
What is there to understand? The world is their oyster.
I've been using this for the past few years. LLDAP + Authelia + Caddy is a great way to completely avoid writing your own (likely bad) authentication system. Layers are great.
Discussion (591 points, 14 hours ago, 565 comments) https://news.ycombinator.com/item?id=40944505
This isn't even about the wife--this is about a deal with a former mistress to keep quiet by offering her a token job as an investor at one of his companies.

She doesn't get the memo that she isn't actually supposed to do anything and suggests poorly substantiated investments and potentially does a little fraud... exhausting just reading about it, I'm not sure why I bothered.

There's no real takeaways here except he should just keep it in his pants. Definitely nothing worthwhile for this audience.
I just use Vim. No reason to get Neovim when it's effectively the same for my usecase, just with extra steps. Vim is already installed anywhere and feels super light.

If I wanted a fancy editor, I would just use VSCode (which I do). Vim is best for lightweight and simple uses imo, plus ssh.
Thanks, I haven’t come across cppyy! But I’ve worked with pybind11, which works well, too.
Insofar as you are even making an argument here, instead of simply childishly parroting what someone you disagree with has said, it's a nonsensical argument — a slippery slope fallacy or something similar: if we replace our display technology stack once, next thing you know we'll do it again next week!

Simply because we replace an outdated protocol that didn't and couldn't have take(n) into account the needs and technological capabilities of today (because it was made long before then) with a protocol that is better designed for modern technology and modern requirements once does not mean that it has to happen wantonly and repeatedly — it may or may not happen again at all. There's no forcing function there. Whether it will be replaced again will be determined by whether the fundamental structure of how our computers are used and the graphical technology we use to display things shifts in such a fundamental way again... In which case we should absolutely rethink our display technology instead of layering more shit on the big ball of mud.

Xorg's design was fundamentally intended for time-sharing mini-computers, where graphical thin terminals would connect to a central computer where the actual applications ran, and the apps would send display commands to the terminal in return. It was also designed for an era where there was no such thing as GPU acceleration regular graphical applications, so every application would want to communicate with a display server to explain to it what should be displayed instead of directly to hardware. It was also originally designed without support for compositors, when compositors have now become the main thing that displays servers even do in the first place at all, and so therefore should be merged into them. Things have changed significantly since then.

Of course, there are protocols layered on top of XORG to account for all these things, but it means that there's a ton of extra complexity and functionality laying around inside it that isn't needed, and much functionality and deficiency left on the table, which is exactly why Wayland exists.

If we never see such a substantial change in display technology, again, then there will be no reason to reinvent Wayland.

And if you argue that despite the requirements and constraints of display technologies changing so drastically, we should still not replace XORG in fear of it, precipitating some sort of eternal shifting and changing of display technology, then that is simply conservatism taken to the level of insanity. My personal humble opinion, I think we should change our software when our needs and requirements change enough that simply adding more mud to the ball of mud produces a subpar and product.
Sometimes. (Excel is a famous example).
I like to watch people play new games on twitch, the new games are always a trend. Then you can see what it looks like, what the experience is, etc. And soon you'll find people with similar interests and that will be a good recommendation engine.
Giving up 50% or more of your income can be a completely different life. It's not "only" making 300k instead of 400k. Based on the other comment saying G13 or lower is more likely, it's making 115k or less and barely being able to afford a house near not great schools where your kids will probably get a worse education than you did (after all, you presumably have a CS degree since the government fixates on degrees and credentialism).

Not all tech jobs are ads. I work in networking equipment and it pays much, much better.

Anyway, my point was they don't even give respect to the people who do that, and still treat you like their property. Same with the vaccine mandates (especially for remote workers): whether you got it isn't the point. My employers have never asked because it was never any of their business.
First commit on the linked GitHub is three days ago, so this article is probably not old.

I love WSL2.
That's what doesn't compute. The wisdom and care required to have and keep billions requires a certain pathological, insouciant public face or internal armor. Sure sexual thrills and "love" makes most people dumber, but a big boy billionaire baller ought to have a certain de rigeuer self-control to not catch the wrong sort of complications or perhaps they should've had a discreet open relationship arrangement a priori.
Makes sense, thanks! I'm still curious how this compiles down to faster ASM than a check for null.
Heres my digital pensieve -

Daily running log of what I have done

Dynamic todo list where things move up and down freely

remarkable tablet where I watch lectures and write notes (writing things down slows my mind and focuses as you say)

Daily
Weekly
Fortnightly
Monthly
Text files for spaced repetition, if I get to one and I have forgotten something then it’s moved up, if I feel like I know something it’s moved down

Longer memories are stored by topic:

Memory (working memory)
Platform
Operations
Zany schemes
Non-AT
… + many more

Each is a hierarchy, platform is some 20 categories each with 10ish sub categories

It’s actually hosed on my NAS, tailscale connects all my devices so I can edit and view anywhere

I look forward to the day I can query and edit this with thought
I keep a stack. Whenever I am interrupted, I push a task onto the stack. When I finish a task, I pop it from the stack. Each task has an associated journal file. Sometimes I reorder the stack.
Yes! I write more. Instead of writing about things I know well, I write about things I want to know better. It reveals gaps in my knowledge I was not aware of.

For example, I can start write "We are using X instead of Y because..." and realize I do not truly know the reason. Which leads me to investigate and then finish the sentence.
Once I read it, it didn't actually seem like it. Instead, it seems to be saying since booze regulation isn't intended to fully govern the market and production of booze under the commerce clause, enforcement can't include a prohibition as expansive as banning home distilling under the commerce clause (YMMV I think they're saying this is the case because most of the regulations are for collecting revenue, not for controlling how much booze is in commercial circulation). (With a separate rational for why it's not also included in the taxing enforcement power.)

I kind of take this to mean that home distilling would be allowed under a very invasive tax/inspection regime? As it seems like there's a strong implication that the other aspects of the taxation on spirits would still apply to home distillation.
Yes! Obsidian with daily note plugin and templates makes it really easy to build a quick list of things and automatically link to yesterday’s notes. A little extra time with templates and some custom js and you can make it a single key combo to copy the notes to paste buffer for sharing in slack standup thread.

Also, set up a praise folder and take screenshots every time somebody says something nice about the work you’re doing. You can automate documenting the context around it, too with quick add
Using regulatory capture as an excuse why we can't stop babies from eating lead is the most brain dead take from the American left since they replaced class with race.
1. Absolute carelessness of customer data.

2. Nothing to no consequence to the executives.

3. Lawlessness of such events. Very poor consumer protection laws in this country.

4. Cybersecurity illiterate leadership making cybersecurity decisions.

5. Investing absolute little in Cybersecurity to meet bare-minimum standards.

6. Or all of the above?
Recent discussion (64 points, 1 month ago, 64 comments) https://news.ycombinator.com/item?id=40643259

Older discussion (81 points, 3 years ago, 38 comments) https://news.ycombinator.com/item?id=28379872
What is he exposing here apart from the fact that the guy can’t keep it in his pants? That he may have hired suboptimally for his VC fund?
Speaking as someone who happily lives in the mac engineering bubble and has very little interest in leaving said bubble…

We tend to dramatically under-estimate the market share of Windows in engineering.

I have no trouble believing that most companies run Windows and develop on Windows. I just don’t particularly want to work for these companies.
When I first opened this, I was stunned! It is really pretty, and I can't believe there are so many simulated particles in JS!
> A narrow objection along your "simplest interpretation" lines, that Twitter really doesn't verify anything anymore about someone being who they say they are

It's a very valid point to take them to task on: Twitter users are 'Verified' in the same way Teslas are 'Fully Self Driving™': Not at all, and arguably named in a way intended to mislead consumers and give them a false sense of confidence in the product/service.
This is worse than what's happening today: every agency IT department being underfunded and operating in an ad-hoc, non-uniform matter.

This argument doesn't hold.
I think you misread the comment you're replying to. The poster was just giving context.
> The wisdom and care required to have and keep billions requires…

I think this is where your logic breaks down. Many billionaires exist due to no more intelligence and ambition than the average person but to have the luck of being born in the right place and time. Many billionaires (Buffett and Gates to name two off the top of my head) have admitted that luck was the primary reason they are multi-billionaires rather than millionaires or lower.
Source for second stage team issues?
Amazing execution, this is so simple!
The thing is… having billions doesn’t actually make you that cool or desirable to women. Maybe it’s nice on paper — like having a cool car, but it’s a condiment. I think a lot of these tech billionaires want what they didn’t have when young and suddenly the facade of it appears in the form of gold diggers… they fall for these traps where they are weak. Eric Schmidt is not a so called “baller” like Leo DiCaprio or Christiano Ronaldo — most average women don’t actually want to sleep with him.
Okay, chief, you know it all. Liquidating assets causes significant losses.
https://www.forbes.com/advisor/money-transfer/currency-conve...
Materiality matters, in practice. This is a tiny thing.

The result of the action matters, in practice. Meet is an also ran.

The intent/motivation matters, in practice. They were trying to do the right thing, improve their product.

Using a dominant positing in one market to promote/dominate in another market via distribution is where regulators tend to push cases. And, people tend to (rightly, mostly) get upset. Improving the product via another product? Find me a list of cases.

Have you considered some people actually deal with anti trust on a day to day?
I thought the commenter was implying that the journalist is used to doing great investigative work (but I may be wrong, yes).
Like—they lost. Held out until when?
id Software Programming Principles by John Romero (2016)
I would easily pay $100/mo for copilot at its current level of function
That doesn’t contradict the advice; the discussion above is about the accounting entries, not the invoice. An invoice issue is a commercial event, and the amount of the invoice is the actual value of the invoice, and will be the amount debited to accounts receivable and credited to income when the accounting entries are written, and must be in the reporting currency of that entity, so a conversion does occur on that date of issue.

If a different amount is accepted later in payment, then that difference is entered as an adjustment to income, probably coded to an account with a name similar to “gains/losses due to currency fluctuations”.

Do not confuse the commercial document/event for the accounting entries. The latter is a product of the former and they explain each other. In principle the ledgers can be entirely reconstructed from the primary records of commercial activity. The distinction is made even more clear by the existence of processes that validate one from the other viz. reconciliation and audit.

The broader takeaway is that your database of commercial activity must not use the accounting entries as its primary record. In my view the only data structure these two share is the chart of accounts.
I mean - it's more than a sellable product, the reason we're doing this is to be able to advance medicine. A good understanding of the "why" - would be great, but if we can advance medicine quicker in the here and now without it, I think that's worth doing?

> When we go to use that as knowledge we have no idea what unintended side effects may occur and no real information telling us where to look or how to identify side effects should they occur.

Alright and what if this is also a lot quicker to solve with AI?
What’s wrong with it
The wife is paid off and fine. The problem is the troublesome girlfriends.

When there’s lots of money and ego at stake, people live their lives differently. Divorce brings acrimony and risk. The guy wants to be a playboy to fulfill whatever need he has, and seems to fritter around and make unwise choices. The spouse gets the prestige and status of being attached to the VIP, and may have her own dalliances.

High level operating people with money or power can afford to live seemingly bizarre lives. They’re just people with the same issues as everybody else, but the cash or influence allows them to make different choices, and for men think with their dick when they aren’t doing business - it’s pretty common.
Believe it or not, I know exactly when this happened and why. We had a big disk array failure and (a) our UI did not know how to recover and (b) disk snapshots timed out before many people knew their disks were gone.

This is one of those instances where an unmanaged single node Postgres sucks to use.
Eric Schmitt doesn’t mind all this being out in public, right? I mean, he was a huge supporter of surveillance and dismisser of privacy advocates saying “if you have nothing to hide you have nothing to fear”

I’m not arguing that this puts an ultimate end to that debate but what I’m hoping for is that Schmitts unwavering position of anti-privacy might get a little softer if he is humbled a bit.
Yep. I was a freelance technical consultant for 10 years. Stanford University School of Medicine wouldn't pay my invoices. All you can do is keep asking politely for weeks or months. If they don't, then you might name and shame because there might not be anything else you can do except sue.
It’s not an overstatement:

AlphaFold, developed by the Alphabet-owned company DeepMind, predicted the 3-D structures of almost every known protein—about 200 million in all
What's crazy is that arguably the greatest story is in their MMO game FFXIV, which has spanned over 10 years at this point to its build-up. I would argue its big story climax, Endwalker, rivals some of the greatest classics humanity has ever produced, even in literature. It exudes meaning and soul in using an epic story to answer one of the biggest mysteries of life: "why, given this life, are we meant to suffer, to die? Why should we exist and how do we find meaning?". It has some of the best cinematography direction, music, and an incredibly optimistic conclusion.

I urge anyone to please consider going through FF14. You can practically complete the story as an individual experience, for the most part, without needing to do much "MMO"-like things.
I do work journaling too, but they're simply part of my journaling routine which encompasses much more than just a work log.

Primarily I use work log to document problems I am having, keeping track of contexts such as what page I last read, and keeping track of my time. Timestamping is a very useful tool to fight procrastination.

In other part of my life, I use journals for personal development and productivity in general, like writing down my problems and thinking about them. I often stumbled upon changes that I could implement or try. This allows me to achieve things that I haven't achieved before, such as putting actual effort in learning electronics. Daily habits and action items are tracked, including my prediction of how an action goes and what is the actual outcome.

So yeah, journaling is a very good practice. It doesn't seem to matter much how you use them, just that you use them. It's very good at stopping your ruminating and you can actually move forward with your thoughts.
Crypto!? No thanks. I like my currency constantly inflating and printed on paper IOUs thank you very much.