skysight-inc/HackerNews huggingface dataset:
They just procrastinate on their own rather than corporate laptop when at home. The solution is to make work about delivery rather than hours on a chair. If someone can do it in 20 seconds then good for them, less good for you (not personally) in terms of how efficient you are in allocating work and managing its delivery. Very few employees are motivated to do more than asked for them. The rest are not the exception but the norm, and getting them back in office with unchanged work management will only help in having them look elsewhere. That’s a motivation perhaps but if you have work to do you still need to improve because the next round of employees will be similarly distributed.
The US has even said if convicted he can serve in Australia. Australia could probably release or pardon him if they wanted to. I don't understand why people are so against him seeing a court room.
In practice, often people don't know if graphs will be planar or if they should expect it. However this is great work for specialists. In the graph drawing community, work that focused on planar graphs has been quite elegant but applications are not that widespread.
> other than not allowing some books in schools

So… book bans. You saw book bans and somehow thought they weren’t that?
> the sunk cost of a commercial lease had more weight in the decision than the employees' opinions did

That's not what they're saying. They're saying they don't know how to plan their commercial real estate footprint when they don't know if and when people will be in the office.
This is the real underlying problem.

Discussion is a commons. It relies on trust and symmetric cooperation. When those things are betrayed, the commons breaks down.
Fifty Shades is also violence/abuse and not BDSM.
This approach feels quite invasive compared to adding a standard interface that `range` accepts. Some discussions have happened before, eg https://github.com/golang/go/discussions/54245

A standard interface feels a cleaner than these nested callback functions.
> But the US isn’t invading a country to wipe it off the planet

Libya today is a violent country with slavery and all other kinds of horrors. Before the US wiped the previous gov't off the map it was prosperous country. Iraq, Vietnam, Syria, Yemen. We've been a part of 11 coups on the African continent. You really need to read more.
>initial ruling cited emergency lending to justify banning all digital lending and the case was only brought up due to it as well.

The ruling's only mention of the emergency lending was that it was illegal as CDL was illegal.

There's also a fair amount of reason to suspect the publishers were preparing for the lawsuit far before the emergency lending. They were publishing stories about it and forming a petition against it in 2019, following years of criticizing it.
https://www.cbsnews.com/news/wikileaks-assange-smeared-his-f...

Maybe they were tired of him smearing shit on the walls of their embassy.
Why is that? I work regularly with Mercurial and Git. The stage isn’t a huge problem or anything, but it’s super annoying and gives me zero value.

TBH I think the stage is kinda dirty. Because it means you’re making a commit that has never actually existed on your machine and thus can’t have possibly been tested.
Die are great for decisions you don’t care about. Assign options for eating lunch, say, to numbers, roll the die, if you feel the need to fudge the result now your actual preference is revealed.
Xalavier Nelson Jr. of Strange Scaffold seems jealous.
I would like to suport the W3C Line Mode Browser. It still compiles on the present-day computers I have; I use it from time to time for the nostalgia, to remind myslef how fast computers and the internet have become.
And so does the scientific community. Don't confuse "we need to express the current best consensus when speaking to a public that is not sufficiently well-versed in the subject for fine nuance" with "we're not willing to consider alternative theories".
Well, that's very cool and was interesting to read about. Shame it's not available in the US yet
Mercurial and others use commits how Git uses the staging area. Same benefits. Simpler interface. Fewer ways to shoot yourself in the foot.
Why do you take the words of Snowden as gospel?
Your numbers are completely wrong. Zero has a bike for $12k https://zeromotorcycles.com/model/zero-fx and BMW sells bikes that go well into the $20k ranges. You can get a Surron for under $4k, but it's more like a cross between a bicycle and motorcycle.

I do agree with the general premise, that electric is more expensive. There needs to be more competition to drive prices down like is happening for cars.
I disagree, the 1250RS is basically a redesign of the K1200S (my current bike). Just swapping out the inline-v for the BMW boxer motor.

Top of the line, in it's class. A sports bike, with shaft drive, linked brakes, traction control, and heated grips.

Find me an electric bike with those features for anywhere near a comparable price. Specifically, I will not even consider a bike without a shaft drive (or in the case of an electric, a hub drive would be acceptable.) I am done maintaining chains and belts.
The article mentions NY costs of $16,000 p.a. per person-space.

This is the underlying problem: Listed Property trusts are facing massive write down of value, and many industries at scale are partially invested in property assets.

Deciding to unwind a lease has consequences all round. Getting staff back "in" may be logistically simpler for the CFO and risk committee of the organisation. HR comes second.
ChainForge looks similar visually, but is very different in practice. We target evaluating and inspecting LLM outputs, rather than building LLM applications. So, some things are certainly easier to do in CF, while others will certainly be easier in other tools that target LLM app building.
>And seperate CPUs+dGPUs are what users want on PCs. Intel and AMD tried to sell GPU heavy designs (eDRAM Broadwell, Vega M, Van Gogh (the Steam Deck SoC)) and PC OEMs unequivocally rejected them.

That's because the perceived or real performance of integrated GPUs is crap compared to discrete GPUs, especially when the latter was much cheaper several years ago.

These days though, discrete GPUs have gotten very expensive off the heels of cryptomining and now "AI", and there are signs integrated GPUs might see significant improvements in performance.

If integrated GPUs can provide sufficient performance for the prices demanded, PC users will switch. They couldn't care less if their GPU is integrated or discrete, they care whether they can run Fortnite at 500 frames per second.
Antonio Meucci
Taiwan is doing electric bikes right. They're not a $25k toy, they are $2k tool.
archive.is has no connection to the Internet Archive, the IA I believe does not allow the easy bypass of things like the NYT paywall.
Agree that it’s expensive and the range sucks, but I still love my Energica EVA Ribelle. It’s super satisfying to ride!

So far the furthest I’ve ridden is from Bay Area to Big Sur and back, which needs to fast charge like 2 times each way.
These articles are written by people who have no idea what they are talking about and have never built anything, much less anything in the physical world before.
We have reported the account and see if the result is going to be the same
Agree, but the real naivety is that they did it (afaict) under the same corporate entity as the critical online Internet Archive. This means a loss on this lending issue may jeopardize the entire IA, which would be a much greater loss.

They should absolutely be pushing the edges, but cleave it off so as not to put the whole enterprise at risk.

I hope it doesn't come to that.
View tweet via Nitter:[0]

[0] https://nitter.net/AuschwitzMuseum/status/168992265931893555...
You don't even want to know how little security is in the RF signals garage door openers use.

Most use rolling codes, but those have a fairly small key space, which is further reduced by manufacturer IDs.
My honest opinion after 20 years in industry is in-office meetings and "collaboration" is mainly to cater to people who don't communicate very well. They have low reading comprehension and/or patience, and they require a lot of repetition the same thing when in meetings. In person works a bit better for them with the extra body language and not having to hand off audio in online meetings.
That's part of it, and it's certainly why so many of them have persistent chips on their shoulder about shit that happened in middle school (looking at you, Scott Aaronson).

The other part is that trying to construct all truth from first principles is a hopeless endeavor for a single person or even a group of people. The rejection of institutional expertise - and the collective knowledge of failure modes that is embedded deep within institutions - leads to a lot of predictable failures.
I don’t know if you’re being sarcastic or not, but the NYT crossword does in fact accept, use, and even encourage random people to submit crosswords.
And you know what's a bigger cost savings than open office? No office!
Those are models I haven’t heard of. The best place used to be enthusiast forums but in the past decade that has switched to Facebook groups for a lot of vehicles.
Due process isn't county specific and the judiciary has already stated that wheat that could in theory be sold in another state is interstate commerce Wickard v. Filburn US supreme Court.

I'm not sure what isn't interstate commerce maybe your kids lemonade stand as long as it's more than 100 miles from the state line?
What’s the rationale for not releasing a manual? To force you to take into a dealer for service? It’s not like they have to make a separate manual. It has to exist for the dealer anyway right?
TBH I definitely consider Linux a niche use case. It’s an outlier relative to 99.99% of projects.
> At least is make common the idea that an identity is a cryptographic secret and not a "possession of an email and phone". We really really need to dig out of this "email address identifies you" hole.

A cryptographic secret is not an identity; at best, it is a way to authenticate access to an identity. A "secret" can be lost or stolen; it is at least something I am not stuck with for life--unlike a biometric--but only if I have a way to change it, which implies that the identity is NOT the cryptographic secret.

I'd actually argue that an email address is much more similar to the concept of an identity--as long as we accept an expensive definition that doesn't requiring an identity to be "a human" or anything silly like that, such that a faceless "role" can also serve as an identity--than a cryptographic secret.

To be clear: I agree that it sucks that so many people want to make authentication happen via credentials you can't truly possess (such as an email address, as at the end of the day you can't even truly possess a domain name) or control (a problematic category which to me includes biometrics); but trying to fix that is unrelated to the concept of "identity".
hes a buster
HN loves crypto, just not cryptocurrency. Cryptography can be the most venerable tech on the planet when implemented right. Good cryptosystems protect us everyday, and their continued development and research is necessary to truly ensure that personal security is attainable.

Cryptocurrency is a more dubious system. It's trustless and has some cryptographic elements, which is cool and very nerd porn, but it's also intrinsically social and complicated beyond understanding for the layman. That's where custodial scams and interpersonal exploits crop up, along with the other problems of sharing a universal ledger. Wildly variable gas fees, fraudulent transactions, systemic abuse and non-canonical forks are all just a part of the Blockchain model. Combine that with a lack of implementation spec, an incentive to fleece your user and zero regulatory bodies, and you might see how people dislike cryptocurrency. I don't even like the startup culture this website worships, but trusting the Blockchain to be a solution is fatal overcompensation.

I can recommend something like PGP or OpenSSL full stop. I cannot recommend cryptocurrency unless you know what you're doing, have a specific use for it, and treat your crypto-assets as disposable if you intend to keep them in the long-term. Those aren't just unacceptable terms for a successful currency; that's unacceptable for any online networked platform.
It is two sides of the same coin.

Take science for example. Identity is empowering because you can say, "look, I synthetized unobtainium, my name is on the paper", which shows your value as a scientist and so you will be respected and trusted with important experiments. It is also oppressive because if you don't have your name on a paper, you will be considered a worthless scientist.

If you have something attached to your name that gives you some power, we can also say that not having that something takes that power away from you. Or its counterpart: if something attached to your name causes you to be oppressed, not having that something empowers you.
> The city’s entire five-officer police force and two sheriff’s deputies took “everything we have,” Meyer said, and it wasn’t clear how the newspaper staff would take the weekly publication to press Tuesday night.

Two things occur to me about this story, exposed in this quote, that I often think when seeing stories of this nature:

1. Many businesses that rely on computers don't have a disaster recovery plan, and thus, can't spin up again for a while, sometimes at all.

2. Good security (i.e. enough to frustrate aggressive criminal gangs, like the police) is often not in place, for a number of understandable reasons, but they also tend to include less understandable ones (as in (1)).

People like our good selves, the readers of HN, might think about how we can offer our services a bit more widely to help some of the smaller fish out there stand up to bullying and attacks.
I have new neighbours, I wish they would RTO, hearing the noise of someone else's Zoom calls all day is really distracting.

When I did work in an office it was a 15 minute commute, against the flow of traffic.
> 2OEH8eoCRo0 0 minutes ago

> Why do you take the words of Snowden as gospel?

I am not sure who could possibly be more of an authority on the intentions of Snowden than Snowden himself.

I mean if he:

* says he was on his way to Latin America

* was in an airport transit zone for a short length of time before;

* having his passport revoked (which he couldn't control), and;

* after applying for asylum in latin american countries, and also notably;

* had not applied for asylum in Russia (or China).

Yeah, I kinda take his word for it that he knew where he wanted to go.

Here is my original comment: https://news.ycombinator.com/item?id=37095083
Equity or developer consulting hours.
But, they will mainly be read by people who have no idea what they are talking about and will never build anything, much less anything in the physical world...so, it all balances out I guess?
One way or another the NYT was still willing to print a story about the leaked writings for him. It's been well-known that he has connections there.
Not only do they still have an appeal, but the problem goes beyond the Internet Archive itself. Lobbying politicians, coordinating with other libraries, inspiring more civil disobedience, all of which can more productively happen now that we've seen what publisher's limits are as well as how we've seen that publisher profits _grew_ over the period that the National Emergency Library was available.
You had to resort to hyperbole and slander to make the Democrats look half as bad as the Republicans, though, and most of your list is stuff Trump was also involved in. Both sides are problematic but they aren't the same.

"forcing experimental medications on the general public?" Grow up, FFS.
Yes I mainly work on older vehicles which are simpler. I did find a pdf on my 2015 Hyundai and have bought others of similar age off ebay though.
Boring Software
The appeal would be for the implementation of the restriction both parties have already agreed to. It’s a clear regression from pre Covid. They’ve lost either way.
> [The paper] reported […] restaurant owner Kari Newell had kicked newspaper staff out of a public forum with [a politician…]. Newell responded […] with hostile comments on her personal Facebook page.

> A confidential source contacted the newspaper, [with] evidence that Newell had been convicted of drunken driving and continued to [drive without a] license. [That] could jeopardize her efforts to obtain a liquor license[…].

> [The claim was confirmed but the paper] suspected the source was […] Newell’s husband, who had filed for divorce. [The reporter didn’t publish that and] alerted police to the situation.

> Police notified Newell, who then complained […] that the newspaper had illegally obtained and disseminated sensitive documents, which isn’t true.

Wow. No kidding it’s a small town. Restaurant owner acts poorly, pissed off future ex(?) leaks damaging info to the paper, she runs to the cops to say the paper did something illegal despite not publishing it, and the entire department raided the little paper?

Yeesh.
Check out https://www.amazon.com/gp/aw/d/3982438802/ref=dp_ob_neva_mob.... It goes into depth on how to practically setup the system. Absolutely fascinating & life changing book. The title doesn’t quite convey the genius contained.
The worst part of this is the CDL scheme used DRM, making it strictly inferior to piracy and therefore essentially useless to me and many others. IA has stuck their neck on the chopping block for the dumbest reason. They should have stuck to legally hosting whatever they can legally host without DRM and left the rest to other organizations that can thumb their noses at American courts.
I personally think the Stable Diffusion product being somewhat open in that I can download it and run it on my home desktop is pretty amazing. That along is encouraging some much interesting innovation in this new type of art.

People are creating all sorts of cool LoRas.
That is really bad I did not know that. I assume it goes for automobiles too. Have no plans to get a new BMW bike but I will definitely take that into consideration in the future.
1. It was surprisingly hard to find out which blockhain is being used... Looks like it is some sort of testnet for now, with future plans for Ethereum?

2. As most blockchain startups do, this has the usual failure mode of losing access to the private key (or having hackers get hold of it, both are bad) and having no recovery whatsoever. Given how often we read about large orgs having embarrassing IT failures and data leaks, I cannot imagine any sane CIO using a system without account recovery mechanism.
some human will decide they would rather pass on their identity to an AGI rather than biologic children. how would you even know if the original human has died ?
... then he paid himself a ten million dollar bonus using customer funds and bought a yacht. haha.
> Snowden likely committed acts of treason

Here's how the US Constitution defines treason:

> Treason against the United States, shall consist only in levying War against them, or in adhering to their Enemies, giving them Aid and Comfort.

Under no sane interpretation did Snowden do anything even remotely related to treason.
>Nobody is even trying. They all have business strategies that prioritize other things.

That is not true. Not even close. This is exactly what everyone said in 2020-2021 and suggest no one will ever catch up to Apple because they are so far ahead. From software industry / programming industry / web framework prominent figures, yes all the software guys all apparently have ZERO understanding about hardware. And then people blindly follows them as source of truth.

If you actually follow the path of ARM Cortex-X design and using GeekBench as performance indicator ( Please dont argue about using Geekbench as reference ) They have seen performance increase with every generation edging towards Apple's Single Thread Performance. You have to also remember the lead time from design to market is roughly 3-4 years. So a lot of these designs started before the insane internet uproars.

What was at one point 2-2.5x the difference in Single Thread Performance, Cortex X-4, on a N4 node, coming in later this year in Snapdragon Gen 3, should be within 8% difference on equal clock speed, compared to Apple's A16 on N5.

I cant remember the ISO die size difference on X4 and A16, but what used to be the case ARM were only using 60% of die size compared to Apple in X2 era. I would imagine the X3 and X4 has gotten larger. But generally speaking ARM's design are much stricter in Die Size simply because that is their potential customer's margin.

Of course, not every SoC vendor will use the maximum X4 design due to all sort of constrain. Especially on Android which tends to prioritise Multi-Thread scenario. That is not a CPU design issue, but a vendor issue.

So unless Apple A17 has another 10-15% performance jump without increasing clock speed. The ARM Cortex X design is surprisingly close in terms of pref per watts and yet no one is talking about it.

And the good thing about Cortex X design is that they are commercially available for license to anyone. Sony, LG, Samsung, Microsoft, Google, Amazon, Facebook, Oracle, or anyone with interest to fab their own SoC could buy the design from ARM. Heck even Intel or AMD.
We don’t view it as a competition here. These other tools are for LLM app building, which is great, but isn’t the focus of ChainForge. Instead, we’re focused on helping devs find the right prompt, and evaluate and inspect LLM outputs. So while we might visually look similar, the goals are rather different.

Some CF users, for instance, might not be app builders at all —they just want to audit models.

I think both problems —prompt engineering and LLM app building —are hard, and deserve their own dedicated tools.
I was utterly flabbergasted by this move. If some unrelated entity had done some bold move in the digital lending space, that would be one thing, but IA is a single point of failure for large amounts of internet history. Frankly, it was completely idiotic to risk all that on an untested lending experiment.
I am mainly interested in anyone that can hold your attention and teach you something new.
You can “try” it anywhere. We will see what happens next.
What eventually happens to the excess neutron “waste”? Surely there’s some negative consequence to producing an enormous number of neutrons, no?
> Furthermore, I don’t know of any other popular bare metal language that’s even close to having a compiler offering mechanically provable assertions about its compiled behavior. Do you?

Well, if you ask the question that narrowly, then I suppose not, unless CakeML's GC is lightweight enough to be stuffed onto some board or another.

But 99% of the time (i.e., when I am not doing something intentionally strange to test the language's limits), the correctness of the program I'm writing, or at least of its dependencies (including the standard library), is far more questionable than the correctness of the compiler; after all, the output of, say, GCC and LLVM has been tested by oodles of real-world software. Even if I'm really paranoid, I can disable all optimizations and reenable any less-questionable ones individually.

Thus the GP's complaint, that C is filled to the brim with undefined behavior that will silently cause corruption in production code instead of failing loudly, since all the runtime sanitizers (AFAIK) swear up and down that they aren't very secure.

I do hope that that formal verification on the program's side becomes more accessible in the future, though, either via dedicated systems like Daphny or via "gradual verification" as permitted by things like Why3 frontends for different languages. (In particular, I've been meaning to look into the Creusot project for Rust.) But short of formal verification, robust runtime assertions and guardrails are generally the best bet, and C as a language simply doesn't provide very good tools for those.