skysight-inc/HackerNews huggingface dataset:
Dynamic allocation can fail. Memory can become fragmented or you could just exceed your budget.
Actually, I didn't know about the recent case in 2020. I thought this all happened like ten years ago. Thanks for letting me know.

Don't appreciate being called a liar, but that's the internet for ya.
I was primarily thinking of the 60 days full pay and benefits for someone who had been there barely a year. That's like a week of the entire company's payroll.

I think the stock concerns are making a mountain out of a molehill. They may not even want it. The other legal stuff probably wouldn't be worth the legal costs/headaches of enforcing anyway.
Personally I am skeptical about the polypill.

To this day there is a huge amount of controversy about how to treat hypertension and what the first line treatment should be, everybody except for the polypill people seem to agree today that beta blockers are not a good first line treatment for hypertension because of side effects (reduced capacity for exercise for one thing) and because the actual life prolonging effects aren't proportional to the blood pressure lowering effects.

Of course you could make a polypill with different ingredients but whatever ingredients you choose there are going to be some concerns about side effects and whether these are truly effective. You've got the advantage that one simple pill is easy to prescribe and easy to take, but the disadvantage that everybody responds to drugs differently. For some drugs I can take a very small dose and get a large effect, there are other drugs that don't do a thing for me.

People into supplements and herbal medicine like to combine large numbers of possibly effective substances but the paradigm of conventional pharmacology is to prefer prescribing individual medicines first, the concept of mixing two drugs to change the pharmacokinetics is fashionable today but I think fairly new, see for instance

https://en.wikipedia.org/wiki/Nirmatrelvir/ritonavir
Half in jest but for a loose definition of work, some do. If you classify a "work day" if you have a single thought about work on that day, then it's quite easy.

If my brain was cloud compute you would still pay for those cycles.
I have just setup Obsidian with syncthing and works like magic.
> These words mean precisely what a jury of your peers interpret them to mean.

And how do we find out what that is? We find out by looking at what happened in actual cases.

In the Gibson case that you cited, I saw nothing that indicated that the jury awarded damages based on harassment by unrelated third parties. There is a mention of Grandpa Gibson "breaking his back", but there is nothing to indicate that the jury awarded any damages based on, for example, medical or other costs associated with that back injury. According to your position, damages for that should have been included. On mine, they shouldn't (the Gibsons would have to recover such damages from whoever was pounding on their apartment door in the middle of the night). So this instance supports my position, not yours.

Similarly, in the Alex Jones cases, I see no indication that the juries awarded any damages based on harassment by unrelated third parties. Which, again, is consistent with the position I have been arguing.
I mean more charitably it's the "maintenance" phase except that our fucked up economic system punishes companies that are happy at their current size and so must do ever more ridiculous or desperate things to make the numbers keep going up.

A bakery that's been happily serving its community for 25 years isn't a monopoly just because it doesn't feel pressure to grow.
I'm not making any decisions for someone else. I'm just stating that I'm not seeing anything wrong with the idea of making drones transmit ID just like any other craft in the air is expected to do.

Why do you think that what you do in public air space is private?
They do not better care for them. In many parts of the world, deformed or mutilated children are just tools for strangers, who traded them in, to improve begging results.

When you donate to these gangs, you are supporting child trafficking and worser things. https://www.youtube.com/watch?v=zEnN_Bqu14s

If you want to help, donate to certified organizations with a proofen track record of helping the poor.
Just some feedback for releases of any software: I think apt sources and repositories should be ready to go on launch and PR-release so people can immediately use the new version. Looks like that's going to take 2-3 days. Sources are available but that's not something most people want to delve in with make files and dependencies. Something like postgres is huge. Right now, if you go to downloads and expect postgresql-15 available, it is not; lot of people on IRC and elsewhere on Twitter are confused where to download postgresql-15. I know that takes time, so the PR release should just be delayed until apt sources are ready. May be also docker repositories.
It depends how you interpret it. There is some dynamic range compression on over-exposure which can save you if you blow something out. If you underexpose Kodachrome you are screwed.

I prefer the crutch of 12 bit RAW and Lightroom which usually gets me out of the same sticky situation :)
US immigration law hasn't caught up with remote employment so we're still waiting to see how it will play out. From my narrow perspective, it's less about founders choosing to work outside and more about founders hiring people from all over the world to work for their U.S. company.
Elitist?? I doubt that any American family has a lower standard of living, than a Soviet math post-graduate student, single mother of two. We have no permanent beds only folding ones, I made my studies on a drawing board put over a sewing machine (do you know what sewing machine is for? It’s to repair your old clothing) our apartment was shared by two families, it has no hot water and water itself was de facto rationed.

In elementary school - while my mother was on the field trips gathering data for her PhD thesis on methan gas distribution in coal mines of Donbass region I was living with my mathematician granddad. It was a small house shared by three families, no running water and amenities inside. My grandparents grew their own vegetables since you can’t buy vegetables on the market (since there were no market), and even bread was rationed - it was Khrushchev time. Elitist family, indeed.

Btw my ancestors were slaves, freed about the same time American slaves were freed. And then communists killed a brother of granddad, and a father of my stepfather, and then national-socialists killed the only brother of my mother, my uncle. My stepfather was never allowed to college, as a son of the “enemy of the people”.

If you want to see “elitist” - look at any American house.
So... every X-Window application is "distributed"?

I'd not have described them that way.
The point is: would you be willing to risk massive fines and jail time for making unethical decisions to try to turn your $15k into $30k if you did? Probably not.

But if you could move your entire life savings into a stock the incentive for shady stuff increases significantly.
$15k is ~1 months salary for a senior bureaucrat (GS scale) in DC metro. How many months income does it take to corrupt somebody? $15k into each FAANG is $75k, double the national median income. It all adds up a sizable potential conflict.

This is roughly the same debate as Congress, just on a smaller scale. What is the balance between reasonable individual financial management and ensuring conflicts don't exist?
Well, the site itself says

> we decided that we needed to see the world from his eyes.

;-)
The comment I was replying to was about advanced devices in general, not specifically TSMC.

That said, MediaTek is not the greatest example here -- they're fabless, and most of what they design is fabbed by, you guessed it, TSMC. The better counter-example would be Samsung, who fabs at least some of their own chips.
Can someone convince me / correct my logic here?

I used to be a huge film photographer as well, back to high school days in the darkroom and getting my hands smelly and watching images appear in developer bath. I too have nostalgia. I was entertained by the online meme/question where someone asked "what is the 'red room' in Stranger Things?", ah these youngsters nowadays.

But objectively, digital sensors can have their color profiles / output remapped to most film "looks", even adding grain, and of course you're not spending $ on film with every shot and waiting days to get the film back. Aside from if you need the medium/large format resolution, (and the nostalgia / anticipation / excitement of the image) there is no objectively better thing about film, is there?

I really get puzzled by people on r/analogcommunity sharing their "finds" of old expired film and wanting to go out and shoot on it. Boggles the mind. You take images hopefully to keep, and wanting to do that with unknown film to save $5 and see what comes out, is... exciting?

(I'm sure this is a religious-level debate, I'm not imagining that this will be resolved here, but at least some enjoyment in discussing it.)
> increase your risk exposure.

How? https://plausible.io/data-policy.

OP already said he is hosting the servers in the EU, so he is in the same situation as plausible's SaaS offering.
Could you comment on the others you use? I would like to start using a lot more static analysis at $job.
The short answer is: it could be used for that. But there's a couple of things to say:

- Prusti is doing _modular_ verification: every method is verified in isolation, and all calls in that method's code only use the contracts declared on the call targets. This is good for scalability and caching and it means that a method's signature + contract is the entire API (you don't depend on its internals).

- Methods without a contract are assumed to have the precondition `true` and postcondition `true` (in other words, such a method can always be called and makes no guarantees at all about what it did to its mutable arguments or result). For methods declared within the current project, this is fine: if they could panic, Prusti would identify this when verifying them and the user would have to declare a precondition. For external methods (whose implementation is not verified), this is potentially unsound.

- However, we are in the process of creating a library of specifications for stdlib methods. We use a large-scale analysis framework (rust-corpus/qrates) to evaluate which methods are used most often. We try to specify such methods first to cover real-world Rust code usages.

Making the default precondition for external functions "false" (unless specified otherwise) would be sound but would be quite restrictive. One goal of Prusti is also incremental verification: you should be able to start using Prusti for basic checks then gradually introduce more specifications to get stronger and stronger guarantees about the program's behaviour.
The media has always played into political lies.
Hi Peter, thanks for the AMA.

Are there any benefits to converting from a green card to citizenship, in the context of employment? Access to some government jobs is the only thing I can think of.

Can green cards be extended every time they are about to expire until someone retires, or is there a limit?
My personal experience is that the bulk of the time these rewrites don't end up delivering the performance increases that people expect because they don't really understand what's making the prior system slow and don't develop good enough requirements

This is not saying you shouldn't, it doesn't really matter to me. But I think a lot of the time this is driven by engineers who feel like they need to do this rather than a financial decision to save money
yeah, probably more of the "not everyone is in it for the money" bs. A good excuse to short-change and lowball nerdy people. TC matters more than HR like us to believe, even more so going into a recession!
A modern Fortran scientific programming ecosystem
Why is it tough?

This may be worth reflecting on [0].

[0] https://www.newadvent.org/summa/3036.htm
System and method for measuring the movements of articulated rigid bodies
The very document you link to does not say exactly when you have to hire a DPO or not, but it and other documents I have read seem to indicate that if my business is collecting personally information order to provide my service, I need a DPO. There is some question as to scale, but no where is that defined in anything approaching concrete terms. If I have 5 customers and all 5 of them have given me their name, email, and a brief biography that I store for the purposes of providing a my service- at least one guidance document from the the EU states that scale is relative to the size for the business, so I would need a DPO in this case. What about 50, or 500, or 5000? Any number I would pick is arbitrary. What if I collect birthdates or other information that is essentail to my service?

Its easy to say "I'm small and don't need a DPO"... but the law is nothing close to clear on this issue.

And the guidance clearly states that I cannot be the DPO while also holding all the other positions in the company.

"Basically this means the DPO cannot hold a position within your organization that leads him or her to determine the purposes and the means of the processing of personal data."
This isn't an argument it's a comical story, but no one has ever mistaken an objectivist for having a sense of humor, so I don't know why I'm surprised by this response.
Thank you for your answer. Are the rules and thresholds identical for the EB-1 visa as well?
Fellow AsciiDoc supporter. I want an AsciiDoc note taking app so badly too. So many awesome features in AsciiDoc that blow markdown out of the water. I use asciidoc-pdf for doc/report generation and the workflow is so smooth.

- Includes/embeds (reference your source code by line range(s)

- Complex table support + the ability to embed CSV (automatic headers)

- Frontmatter as a first class citizen

- Macros (Variables) that can be referenced across documents

- Numerous Diagram parsing libraries (embed pretty much any diagram-as-code language)

I've had the same thoughts on building a Dendron type extension for AsciiDoc (AsciiDoc vscode plugin is fairly robust). Really would just need to hammer out some front matter parsing to get basic functionality.
"Human societies typically exhibit gender identities".. Nope, as the linked page explains https://en.wikipedia.org/wiki/Gender_identity, it started in the 60s, but until 2015, nobody heard of that. "Non-binary" didn't exist until recently. I'm not judging it, but it's for sure not typical. But to write that it is typical, is a farce. It's atypical, but exists and should be respected.

> Is the problem there the word "many"?

Yup, the right is "few". Few countries recognize it. From 195, 16. But again, to create a new reality to support an agenda, is wrong.
Yeah, the big change here seems to be that Microsoft has decided to also (finally) consolidate the consumer-facing brands: it's still been half "Office 365 for Home" and half "Microsoft 365 Home" for those same years depending on which website or application you were looking at. The biggest news in the article seems to be that the under-powered "Office" app bundled in Windows 10 and 11 that is mostly an ad for Microsoft 365 Home or a mostly useless "launcher" if you are a Microsoft 365 Home user is itself getting renamed "Microsoft 365" and getting a fancy new "Visual Studio Ribbon O" [†] logo. (No mention if it will be any less of a useless ad/launcher, just fancy new logo.)

[†] This is part that confuses me most about the new logo change: it's very much using the design language of Visual Studio projects and I don't think that is intentional to accidentally break the walls between Visual Studio branding and Office product branding, but I don't like it. It's nice having clearly different branding between developer tools and "productivity" tools.
In vitro neurons learn and exhibit sentience when embodied in simulated world
I think this is a huge step towards the singularity
What is the name of that genre of manga? I'd be very interested to check it out, but am not sure what to type into the search engine. Any help is appreciated!
What percentage of PPP loans went to businesses that negative revenue impacts due to covid? PPP program was poorly structured, forgiveness should have been based on revenue impacts to the company which can be easily measured by using previous tax payments.

We chose not take a PPP loan because our industry saw record growth during Covid and it wasn't morally right to take advantage of a program meant for struggling businesses. Our competitors received money even though they also had record revenue growth. We were punished for doing the right thing because that capital could been have been used to invest in the business.
Please explain Mario turning around like he does in the game if he really lacks the 3rd dimension. Or entering a warp pipe, with the animation we see for it.

I would say it's more plausible he's in a very narrow corridor (that just happens to be painted sky blue).
This argument always goes the same way, yet for some reason I don't think I've seen it all the way to the end. Let supply the next part:

The notion of an "official" definition, and that it must be "declared" were introduced when the prior definition indicated a recession and the powers that be either did not want to admit there was one, or did not think this one should really qualify.

Ok, that's part 3. Somebody supply part 4.
This shuldn't be a surprise: they were always grants de facto. They were simply implemented by wedging them into an existing program which was a loan program.

If anything is surprising it's that less than 100% weren't forgiven. As for fraud, well, the feds know how to prosecute it whether it was for a loan or a grant.
Cyberbegging has existed as long as sending money and other fungible things online has existed.

TikTok allows you to put a URL in your profile. If they really wanted to, they could put a Paypal or CashApp link there.

This article is yet more 'china bad' yellow peril.
Dynalist.

Plus, as additional data entry pipeline iPhone app “Drafts” that sends items to a CloudMailin address and, using the Dynalist API, adds them to the appropriate list (e.g. shipping, todo inbox, quotes, current project. etc.).
Man shits on school, books and descends into solipsism after reading about an idea he doesn't favor.
Huh? All the nightmares are around forced moves, not offers.
For you to be able to work for your company in the U.S. or just visit? For the former, without knowing the details about you or your company, I would look at the O-1, E-2, and IEP - and the L-1 if you have a company outside that is related to the U.S. company and employs you and has employed you for at least one year. For the latter, B-1 business visitor status via ESTA or a B-1 visa.
I wrote a book titled “Javascript for Sound Artists” that might interest you.
I use Stripe for other products, and their usage-based billing is limited to specific scenarios that are not one-size fits all. This is in fact the entire subject of the post we are commenting on.

Why would you assume I haven't evaluated Stripe's offering on a post that is specifically about the shortcomings of Stripe's offering.
Can you provide some pointers regarding the simulation testing for more information?
No `tar`? BURN. IT. ALL. DOWN.

Dear God, what could they possibly be thinking? People are capable of making changes, I think we've all switched from `more` to `less`, *csh to more modern shells, etc., and if `pax` is really all that I'm happy to switch. But removing tar is insane.
Flox, Nix for Simplicity and Scale
They 'know they are imperfect' if you bring it up, but they act like they are perfect. That is why it's better to move metrics than do anything actually beneficial, everyone is justifying their high performance review. If you hit your metrics your manager looks good, that means their manager is hitting their metrics, and so on. The people that suffer are the shareholders and users, but management is always optimizing to transfer as much wealth as possible from shareholders to themselves and you ride the coattails of that if you just chase metrics.
This will be great for PostgREST too.
That's fair enough, and if he'd said "we can't stop this, I'm sorry" and _not_ voted for it himself, it would have been fine. That's not what happened, he personally voted to raise the fees, and he instituted a 3 line whip for his party to do the same.

I think it's fair to condemn him for that.
An existing program through the SBA was used as it was the fastest way to get cash out the door. That program happened to be a loan program, so they were structured that way with an almost automatic forgiveness.

Think of it as an API adaptor.
Do you mind sharing the name of the course? It sounds interesting. (I didn’t see anything in your profile.)
You can do something like this with Obsidian Git. If your vault is synced to Git then you can roll back to any commit in the history and return to that overall state of your vault.
> I suspect that there is a sort of “design language” that more or less unabashedly targets the psycho-social state that many millennials (and perhaps even more youthful Gen Z and Boomer crowds;

Antidepressants advertised using solarpunk cartoons of diverse people growing organic produce in a city park with wind turbines in the background. Everybody dressed in pastel colors, while the plants are neon green.
One main challenge is to upgrade a live large database smoothly, without downtime.

I believe minor version upgrades are easily enough since they maintain disk format compatibility and you can simply spin up a new replica server under the new postgres version and then when it's synched with the main database you can make the switch and kill the old version. I'm not so sure about migrating to a new major version (ex: 9.x to 15.x).
Nodu, a minimalist personal development / productivity app
Nodu is a minimalist personal development app that helps you stay focused on long-term goals, day by day. Every morning you decide what you will do and what you will not do by swiping away objectives and only keeping ones you want to focus on for the day. Throughout the day you can mark items as complete and check on what objectives remain.
Looks like the help docs [1] are an example of what Obsidian looks like when published?

I found it strange that what I would consider to be the help site's table of contents (on the left) is in alphabetical order, somewhat like an index, instead of being arranged in a logical outline like a book's table of contents.

Meanwhile, what's labelled as the "table of contents" on the right is actually just the headings in the current page.

[1] https://help.obsidian.md/Obsidian/Index
"Clever" developer limitation like this almost invariably cause developers to come up with even more convoluted solutions to problems than needed. Don't disagree that long functions can be an indication that someone was copy pasting a bunch of stuff around in the codebase, but not always!
It's a self righteous rant trying to disguise itself as a comical story. Fails due to lack of laughs.
Yeah, I have no problem admitting that there are people much smarter, more talented, better looking, etc than I am. The day that I assume I'm the top of whatever category is a sad sad day, as I must be the only one left.
Thank you, super helpful
Nvidia RTX 4090 ML-AI and Scientific Computing Performance
tldr 4090 can do ~40% more images/sec than 3090 on resnet50.

if these preliminary results hold, i’m happy with my recent decision to buy two 3090s instead of one 4090 for the same price. still hoping a 48GB model is released soon, though the ridiculously large size and power consumption negates much of the appeal. relatedly, i’m power limiting the 3090s to 250w each and still get ~90% performance on stable diffusion inference.
We haven’t yet, have we?

Do we need to be efficient? Or do we want to be efficient?
Processing has been available to Java as a library since the beginning.