skysight-inc/HackerNews huggingface dataset:
Isn't the normal practice here to provide a key use transparency log?

HSMs can produce a log every time the key is used, and as long as you trust the hardware to be doing the right thing (if you don't you've got bigger problems) the log should be verifiable so you know if there's a missing entry.

Cloud provider has the key, but gives you verifiable logs of it being used so you can catch them if they're doing the wrong thing.
I see Frameworks as another layer of abstraction, just like programming languages. And they have the same pros/cons that comes with abstractions.
Farm land is already differently taxed in most parts of the world.
Why do you need HTTP compression, when all of SQLite is compressed? Will it give any value?

Would think HTTP2.0 is of greater value, to save TCP round trip time.
Finding the perfect domain name
Thank you for sharing that. One of the main point for us it to indeed remove the noise and give official news that are hard to get or nested inside blogs. We also now filter the press articles.
To quote Jim Rickards: "economics is a science but most economists aren't scientists."

DSGE is bunk, so is the Phillips curve, so is the EMH (more finance than economics), so is a whole bunch of stuff. I subscribe to complexity economics, not the standard model. But MMT is even worse than the mainstream stuff. Even central bankers think it makes no sense (https://publications.banque-france.fr/en/meaning-mmt).
Very fair!
That was maybe the crazies narrative on some Qanon site. I'm sure that was repeated often to make anti vaxers look insane. But for most anti vax people the narrative was "we have no idea if it's safe long term, and at the rate they seem to be pushing this on pregnant women right away, kids asap and apparently infants soon, I don't think I can trust these people."

I can't honestly remember or repeat what all the fringe doctors and researches, but yes doctors and researches, have said to convince me of my views.. but enough was said that you couldn't get me to take the vaccine for $100k, and I'm no tech millionaire.
Not sure I agree with this . A dependency is a dependency and you should always think about whether you want that dependency. Whether it is a framework or not is not really the important point.
The important point is how much does this dependency "lock in". e.g. if inversion of control is a framework "thing", doesn't that in principle minimize the impact of the dependency?
Great, we've already sequenced too many things and have no time to process the raw sequences (for our project anyway).

Soon we'll just fill up our hard drives, and then our buckets with loads of raw sequence files that we don't have time to process... and the cycle continues
You're replying to a parody comment, see https://news.ycombinator.com/item?id=9224 for reference
Hi, do you know if there's a recent hash benchmark I can look into? I am using `FnvHash` as my go-to non-crypto-secure hash for performance reason, didn't realise there could be faster contenders.

Thanks!
And - while at it - they could overhaul the ribbon interface and use a new, disrupting interface inspired by the classic one used in 9x/2000/XP times (please read as exactly the good ol'one), rebranding it to "new classic" or something like that.
Isn't it only matters what payment terminal bank's country is?
Hey, awsome! feel free to contact us at hello@nabaz.io.

About the env vars: yes.
We have a list of edge cases that might affect the tests.
Env vars specifically is the next edge case we are about to cover.

Roey from nabaz.
It was a coalition, though, and whatever he betrayed for that, you could argue he might have prevented the Tories from running an even worse government than they did during those years. Given what's happened afterwards, the evidence would be on your side.

For all that, I think he made a serious mistake going into coalition with the Tories when he could equally well (going on election results) have done so with Labour (plus possibly SNP I forget), whose policies I thought should have better aligned with Lib Dem.

But I'm assuming the best of intent here, and will continue to do so until proven otherwise, so this case is an interesting development.
TFA's "really divisionless" algorithm is basically what you suggest, except it adds 32 or 64 bits of randomness in each iteration, instead of 1 random bit.
Just want to say well done. I’ve played with this with Tamagui[0] and I’d love to see this stack continue to develop.

Specifically, I think there’s a rare window of opportunity to replicate the new Expo router file system routes exactly in vite and build the holy grail of universal stacks.

I forked Hydrogen a month back or so just to get a feel for RSC and potentially how it’d work with native. Came away with huge positive impressions on Vite in general (and a vite stack that works nicely[1] with the Tamagui optimizing compiler fully working[2]).

Would love to collaborate towards this ideal setup with anyone competent, get in touch or I’ll ping in the discord.

There’s huge wins to be had at that level of vertical integration I think we haven’t touched yet.

[0] https://tamagui.dev

[1] https://github.com/tamagui/tamagui/tree/master/apps/site-vit...

[2] https://tamagui.dev/docs/intro/compiler
I was in 8th grade and the library had a room with 4 or 5 TRS 80 Model 3. Students were not allowed in the room unless accompanied by a teacher.

One day in math class we watched a TV show about computers that ran that small program only the statement went across the entire screen. The teacher wheeled in one of the TRS-80s and typed in the program above and said he didn't know how to make it go across the screen like the TV show. I told him to put a semicolon at the end of line 10, which he did and it ran just like the show. After that I think I was the only student who was allowed in the computer room without supervision.

My only claim to fame with TRS 80s ;-)
Every day a poor performer gets the same salary as you is morale-destroying.

There's no perfect solution to this problem.

10 employees doing the work and wondering "why is this guy getting paid the same as me?" hurts the company too.

Every action has downsides. Every day they're still there demotivates others, possibly making them look for "better" jobs, since clearly their own can be done by a slacker.

But every firing, even of someone clearly underperforming, will cause a bit of fear in even the best performer.
I stayed sober during hard drinking party. What I saw was just ridiculous - I never want to be that guy. Haven't gotten drunk since.
> IMHO that should also apply to land ownership rights which should also expire after some time. How can we say with a straight face that granting people, institutions or corporate entities rights to own a piece of the Planet Earth in perpetuity, forever, is fair or a good thing that is sustainable?

Who's granting people perpetual ownership of a piece of land? Once you stop paying taxes on it, the state will take it back.

> but I think land should be only leased for a limited time, like the max lifespan of a person, ~100 years or so, and then expire, never owned in perpetuity by any individual or corporation.

I mean in a practical sense this is exactly what happens. You die -> taxes are no longer paid on the land -> someone else gets it. That "someone else" is either an heir who is now paying tax on it, or its sold to someone else entirely.
The stuttgart car also uses fans.
I honestly don't remember when I sent or received the last SMS that was not the telco's "Welcome to $country, the rates are ...". I.e. I don't have a strong opinion on this, I simply do not use SMS.
Give them pro-rata equity. if the cliff was on 1 year and they were fired 11 months into it, give them 11/12th of the promised equity and fire them today.
In the game Mario clearly has two eyes, side-by-side like our own. How did he evolve this feature if there is no benefit in his world?
I run a SaaS, quite similar numbers to the parent. Depending on the complexity of your support tickets, it's pretty easy to outsource to part-time freelancers. I just pick up the tickets that they flag as too difficult for them. (Edit: we're still quite some ways off $14M, but I could see it scale there without changing the structure much)
Again, problems with basic communication, it seems. Perpetuity means "forever". Because they have a finite amount of money and they are not generating money, they can't "fund wikipedia in perpetuity several times over".

They way they DO stay online for a resilient amount of time is by generating money, i.e. through donations.

In fact, they used to say exactly how many months they have left. Now they don't say that, because they feel they can allow themselves that. Does that mean that it makes sense to stop fundraising? No. Because the minute the public doesn't feel that there's an urgency in donating to your cause, then it's someone else's problem, meaning it's nobody's problem and that's how you kill NPOs.
Not any statically-hosted website, it have to support byte range request (as part of the header).

This is normally used to pause/resume video, resume downloading files etc.
Categories for AI
Obviously, if you’re in one of the many EU countries that require identification (even if simpler than Germany’s video identification system) it’s not trivial to go to a supermarket in NL.

I imagine it’s possible to buy one online from NL, CZ, the UK if it has EU roaming, etc.
>Crime statistics are hateful and racist, no doubt.

How so?
I know - I would personally just put them on gardening leave until their stocks vest. Sure that costs money but not a lot - it's probably worth it for the lack of drama.
Which is still true.
However paying them will be remembered too. It will be perceived as "why are you giving away profitability of the company (and thus my equity and/or end of year bonus) to someone you should have fired a long time ago?".
Evolution isn't necessarily perfect, just good to enough.
I think there's a flaw in Scott's reasoning here because he is mixing and matching statements made in semantic systems of "convincing" and "plausible", but still using the semantics of true/false to do the reductio ad absurdum step.

He initially writes

>S(E) = “This sentence has no convincing heuristic explanation accepted by E.”

>If S(E) is *true*, then it’s an example of a *true* arithmetical statement without even a convincing heuristic explanation for its *truth* (!). If, on the other hand, S(E) is *false*, then there’s a convincing heuristic explanation of its *truth*

The confusion is because the "proof system" isn't supposed to be outputting true/false for E. Its supposed to be an "explanation system" outputting the convincingness of E. So let me try to recast it.

>S(E) = “This sentence has no explanation that is accepted by E.”

>If S(E) is accepted, then it’s an example of an accepted statement without a convincing explanation. If, on the other hand, S(E) is rejected, then it is a rejected statement that nonetheless has a convincing explanation.

Finding a single false statement which a heuristic system erroneously accepts does not invalidate the entirety of the heuristic system. But finding a single false statement which a proof system accepts does invalidate the whole proof system.

>S(P) = “This sentence has no argument for it plausible according to P.”

>If S(P) is true, then it’s an example of a true arithmetical statement without an argument for why its plausibly true (!). If, on the other hand, S(P) is false, then S(p) is a false statement for which there is nonetheless a plausible argument it is true.

Notice that there is no contradiction if this system of formal arguments tells me "A is plausibly true" and later it turns out A is absolutely false. The reductio ad absurdum step of the the incompleteness proof doesn't work when the underlying semantics never asserted anything to be true with certainty. In other words, soundness is not really a necessary or even expected property of these non logic formal reasoning systems. Thus there is no incompleteness problem here because there is no soundness property that contradicts having completeness.
1024x512 wallpaper resolution is completely unusable for any device nowadays considering desktop display or smartphone resolution, make it at least Full HD so it will be usable at least for phones
No, I'm asking how many people will donate, if everybody thinks that it's not urgent and somebody else will?
Thanks...bookmarked it.
Interesting :-)

Seems like the word 'shard' when used to define splitting up DB's etc. on different servers, actually originates from this game:
https://www.youtube.com/watch?v=lnnsDi7Sxq0&t=1490s
In my setups zero tier barely worked while Tailscale worked flawlessly.
>You don't need science to figure out how to do this, although if you want it, it was all worked out and written down in the 1950s.

Where/by who? This would be cool to have onhand.
> What bugs me most about the situation is Apple’s poor communication.

Is this really surprising anyone who ever dealt with Apple before? They are famously secretive and tightlipped about most if not everything they do, not sure why anyone would expect them to behave differently regarding their programming languages.
What business incentive did Facebook have to hire Nick Clegg?
I agree and I'd like to add that if someone wants to throw an error for invalid type casts, they can use assertion functions.

https://www.typescriptlang.org/docs/handbook/release-notes/t...
Matrices as Functions, Matrices as Data
> Is realtime sports betting even a thing?

Yes. It’s a growth area in sports betting.

> And if so is the liquidity and spread good enough to enter/exit say a $10,000 position that quickly?

In some sports, sure. Probably not in volleyball.

The threat in the field is that some people have a slightly faster access to info than others (3-5 secs for live versus broadcast, iirc).

If the result of an algo can push a betting line (e.g., predicting a tying point in a volleyball match), then automated bet placement software/script can make a prediction and get a bet in before the action is seen by bettors who are watching on broadcast.

Even without prediction software, this is a very real problem with real time sports betting right now. It seems like functional prediction software can make this knowledge gap larger.
Author promotes deep hardware solutions, like Trusted Computing. I thought we've already passed that? TPM, Intel ME, AMD PSP...? If you are in a position to distrust your provider DON'T USE CLOUD. Build your infrastructure, use colocation, bring your own server. If you fear you may get poisoned, don't eat in public restaurants. And BYOK is just a minimal norm of basic security.
Its architecture is super interesting, though. It's built along the principles of Dr Aaron Hsu's thesis, encoding trees as vectors of pointers to nodes.
They know that what you perceive as bad performance will not be tolerated. And that’s if they assume that you’re telling the truth.
I heard that very often from my old college friends. And it made me laugh considering during 2020s harsh covid, media said half the people that get it don't even have any symptoms... And then when the vaccine came around, I was apparently going to die if I got it without the vaccine.

Apparently the nuance between some people can't even tell they got it, some people have a mild cold, and some people die got lost on some people.

Even bill Maher showed that democrats were over estimating death odds by almost 20x, while republicans it was about 3-4x I think.
Working in Germany in food sector and seeing beside only NA beer also functional beer (e.g. joybräu) and also NA spirits (NA Gin etc.) on the rise. I think thats an awesome time for everybody who enjoys the taste of drinking alcohol but it will not help anyone who is already addicted to alcohol.
Best thing for me was probably working a while in intensive care when I was younger and seeing what alcohol can do.
>I don’t see a difference in those names.

I suspect that is because you already have a belief about them and can use that belief to make an informed interrogation of the ideas at hand.

If, on the other hand, as I argued above you did not have a belief yet about an idea, that would not be the case and how it is framed to you would matter. I will give two contrived examples to show my point.

A 7-8 year old little girl is told by her (progressive) mother that "reproductive rights" are important to her and that abortion is part of that and they should fight for it to protect those rights related to her body.

vs.

A 7-8 year old little girl is told by her (conservative) mother that abortion is literally people "killing babies" and they should fight against it to protect the innocent babies.

The way those were framed (even though, I agree with you they are talking about the same concept at the end of the day) would obviously make a big difference to the little girl first hearing about this.
Slashvertisements, I forgot about those. I think they are considered virtuous now, especially on this forum.
Noom lays off more employees amid CFO departure
I completely agree, unless you are doing something unique, low level where ie latency is the king (which most of us don't), frameworks and libraries shine for 99% of the cases.

Some brilliant folks are just bored by usual rather generic work, and their idea of 'fun' is to keep reinventing the wheel that specifically fits current problem. Actual benefits to business be damned, intellectual fun is more important. Once those folks leave (and they always leave eventually), its mayhem for the remainder of the team/company.

For me, this kind of 'autistic' brilliance is overall just professional incompetency that shows over long time period and I avoid hiring such folks. One can babysit them and steer them but its rarely worth it within usual teams.
The SaaS crunch continues. I don't have an objective datapoint but over the past few weeks have noticed many of the 'free' apps I use have made significant changes to the free tier and increased pricing.
Pro rata it to the day they leave.

Job done.

Employee is happy, employer is happy.
What is wrong with Apple Passkeys?
How Apple's (now unanimously accepted by fido2) proposal to improve Webauthn actually breaks its important security properties.
From what I remember due to the figures if he'd gone with Labour it would have been a massively rainbow coalition. I think he got conned by the superior sliming skills of some of the tories and saw a bit of power, then messed up. He went all out to try for proportional representation giving up all other policies and then the tories were able to market that as looking so bad or just uninteresting that the majority either didn't understand the vote or didn't care, so it lost.
The difference between cheap dress shoes and mid-range dress shoes is unbelievable. The difference between mid-range dress shoes and expensive dress shoes is bigger still. They genuinely can be really comfortable.
~75%

And post-paid mobile contracts don't mean that the phone is paid for by the contract.
I‘d say Rails is a combination of framework and libraries.

Some parts (ActiveSupport, the part that simplifies e.g. date calculations) are clearly libraries. They can be used outside of Rails as well, because they totally ignore the shape of your other code.

Other parts (ActionPack, the component that calls your code depending on the incoming web request) are working like a framework. Your code must adhere to their requirements, otherwise it won‘t work.
Political knowledge, useful for lobbying and all sorts of other stuff.

He was inside the cabinet after all.
While impressive, volleyball is one of the most formulaic sports when it comes to predicting what happens next. This is not a dig on volleyball (I'm a fan!), but it is how the sport works.

The first touch is always about receiving the ball and passing it cleanly to the setter. The second touch is about setting up the attacker (if possible). The third touch is a spike or other attempt to get the ball to the other side. The only significant decision points are usually who the setter chooses for the attack (among 2-4 players depending on formation), and on the defense side, where the blockers jump (3 players choosing spots to cover). Since the algorithm only predicts "actions", both of those don't matter (the setter is going to be "setting" regardless of who they choose, the blockers are always going to be "blocking" regardless of the spot they cover).

The "team strategy" part is in effect just a check of whether the algorithm knows what is happening on the court at all. Volleyball allows the aforementioned three touches, and what the team is doing for each touch is pretty much immutable (the only source of variation is if one of the "steps" fails).

This is of course still an achievement, but the choice of sport gives the researchers a leg up, since volleyball has significantly fewer "degrees of freedom" than other sports. In that context, ~80% accuracy at predicting an action 2 seconds out is less interesting, and it's unlikely that it's anywhere close to human performance for this particular sport.
>thought diversity

And you believe this is a function of skin color?
...and with all this you just made everything a thousand times harder (and more brittle) than it needs to be. Integrating stb_image.h is literally just a single #include statement, no matter the platform, build system or dependency manager (if any).
Sake is a command runner for local and remote hosts
Al he's really describing is a formal system (S) exactly like an ordinary proof system (G), but the underlying semantics represent "convincing"/"unconvincing" rather than "true" / "false". Basically, a normal proof system but with some fallacies allowed.
Benchmark Btrfs vs. REISER4 vs. F2FS with Compression
Of course for electric vehicles.

It doesn't matter that fossil fuels are energy denser, it's much harder and less efficient to convert fossil fuel into mechanical rotation by setting it alight than it is to turn electrical power into mechanical rotation.

Electric will always win out simply because it's battery->motor. That's it. Apparently the top fuel dragster can do 0-60 in 0.8 seconds and it looks like its biggest advantage is all the downforce it gets from exhaust gasses and airfoil. I'm thinking this is more a difference in the formats of the vehicles; no point making an electric dragster or f1 when the battery won't last the whole race/series.

Batteries are heavy af though, you're right in the disadvantage there. Perhaps the inefficiency of exploding fuel doesn't matter in the face of just how freaking heavy batteries end up being.
I guess I know whose daughters I won't be dating.
He did insist! The country had a referendum after he got in. It was one of the main pre-conditions for the
coalition.

He did sacrifice everything because of that too! (Ref lost, low if not the lowest ever turnout, party lost huge support generally and he exited politics failed)
The problem is optics. Obviously from OPs perspective the vesting isn't part of the firing calculation. However from the perspective of another employee if they see someone get fired right before vesting then it looks like a bait and switch "we'll let you work up to vesting and then fire you to save money in the long run".

There's no obvious answer to when is it fine to fire someone before vesting. The day before is obviously not OK. 1 day after they started working obviously isn't an issue.
https://github.com/wappalyzer/wappalyzer

You’re welcome to help out. :)
I feel like this is already tested, extensively, by the "video games cause school shootings" crowd.
Thanks for taking the time to write this insightful comment.
> Is realtime sports betting even a thing? And if so is the liquidity and spread good enough

I think the question you really need to be asking is ....

Is there a house that will let me do this ?

The house tends not to like consistent winners.
> IMO the time to fire someone is as soon as you've decided you're going to fire them.

Life tip: This also goes for relationships. Don't wait until after xmas, their birthday, whatever…