skysight-inc/HackerNews huggingface dataset:
> but it could be the local time on the device. Your local clock needs to be relatively close to the actual clock.

Yes, this is one of those nasty hidden costs that the "just use TLS/SSL for everything, it's easy!" people don't seem to recognize - introducing certificates to the mix suddenly makes your application coupled to wall clock time being in sync with the rest of the world. That is a big step in complexity right there - as everyone who ever had a clock drift couple minutes off the rest of the world, and saw half of the Internet stop working for them.

(And don't get me started on getaddrinfo(), another step function in complexity, hard-coupling even most trivial software to a heap of things that isn't relevant to it at all; or how it all interacts with SSL.)
I agree, this machine is absolutly beautiful, great to see it running a motif desktop and gr_osview! Good memories
I've tended to think of the current stage of AI as a productivity boost along the lines of let's say, using an IDE vs coding with a text editor.

It's also good as a replacement for reading the docs/Google search, especially with search getting worse and full of SEO spam lately.

It's a big help, but it doesn't really replace the human. When the human can be replaced, any job done in front of a computer will be at risk, not just coders. I hope when that happens there will be full robot bodies with AI to do all of the other work.

Also, I know of several designers who can't code but are planning to use LLMs to make their startup ideas a reality by building an MVP. If the said startups take off, they will probably hire real human coders, thus creating more coding jobs. Jobs that would not exist without LLMs getting the original ideas of the ground.
This price makes battery + solar cheaper than coal in China. The Chinese move off coal will likely be a lot faster than most of the predictions as these prices are as of today but prices for solar and batteries are still expected to keep falling avg 10% a year for the next 5-10 years.
Tiered requirements scaled by size and/or impact is an obvious middle ground between equal obligation to all entities and a binary on/off status.

As an example of impacts not necessarily correlated with size, a comms platform for, say, the banking or finance communities, or defence and military systems, would likely have stronger concerns than one discussing the finer points of knitting and tea.
It does. I believe that window is greater than 4 hours. Pity in the meantime since anyone that does not drill in will be mislead
I'm more of a wordcel than a shape rotator myself. It's not that I can't, it's more so that I get terribly bored when doing it. The last time I can remember being excited about it was in elementary school, where I was tested for spatial reasoning and put in some gifted mathematics class. Incidentally, my verbal skills were very poor at the time, I tended towards being very quiet and keeping to myself.

As I grew older and my verbal skills improved, I switched to the abstraction that comes with language. I also became more outgoing; I'm still an introvert but nowhere near what I was when I was a child. I suspect if you took a random Masaai hunter, they would do very well at these kinds of spatial reasoning tests.

Even in my career as a software engineer, I still tend to rubber duck a lot and really excelled at pair-programming. That's why I really enjoy using LLMs when programming now. When I transitioned to engineering management, I learned over the years to get out of the way of my directs who performed better alone; many times I wouldn't even meet with them for a month, and that made them extremely productive.

The issue with a lot of organizations is that they don't account for the variety in problem-solving techniques and abstractions that engineers use. Engineers are not some monolith that always need to be managed from the top-down; you should always play to their strengths and support a variety of problem-solving styles.
Yes, sorry, it's the latter idea that you arrived at: if a law cannot be understood by a 9th grader, then one might argue it is mal-specified. I grew up hearing stories of folks that dropped out in the 9th grade so it seemed like a reasonable cut-off

I am 100% open to the fact that it may not be possible to do this, since nat-lang is its own special little thing, and trying to apply fixes to it may be nonsensical themselves

The word subroutines would be cross-references to potentially more complex concepts akin to "one cannot end life (§3.14.159) unless working (§8.6.753) in a job (§127.0.1) that allows State violence" where the boundaries of what this legislation cares about 'ending life,' the boundaries around 'working,' the boundaries of a 'job' would then be composed into 'citizen cannot kill other citizen'.

I always got the impression that the nuance between murder and manslaughter wasn't in their degree of unlawfulness but rather in their sentencing, but I am deeply thankful that I haven't needed to know
TeX/LaTex has revolutionized technical publishing, enabling the easy (and free) typesetting of very complex documents. Its strange to cast it as "jargon and style canon" and does not help the rest of your argument.
> “Honor, common sense and the interests of the country require that all free Frenchmen, wherever they be, should continue the fight as best they may,”

Honor ... when was the last time you heard a modern politician use that word in a speech, I wonder.
Is it still better if you copy his whole prompt instead of half of it?
4 year old was playing in gated garden. Not like he was roaming downtown. I would say that this is very sad inability to communicate with your neighbours, when you call cops instead of just letting parents of kid know that there might be some dangers.
Very defensive.

I love it anyhow. Sure, it generates shit code, but if you ask it it’ll gladly tell you all the ways it can be improved. And then actually do so.

It’s not perfect. I spent a few hours yesterday pulling it’s massive blobby component apart by hand. But on the plus side, I didn’t have to write the whole thing. Just do a bunch of copy paste operations.

I kinda like having a junior dev to do all the typing for me, and to give me feedback when I can’t think of a good way to proceed.
I'm only 41 but that's long enough to have also seen this happen a few times (got my first job as a professional developer at age 18). I've also dabbled in using copilot and chatgpt and I find at most they're a boost to an experienced developer- they're not enough to make a novice a replacement for a senior.
Why did they only have the 2 hypotheses, the "copy paste" and the "magic spell"? I would think a 3rd hypothesis is that a legal document is trying combine two incompatible cognitive modes, natural language and logical rigor, so arising this convoluted spaghetti style. Their experiment would not test for this possibility, since storytelling is inherently unrigorous.
If all of this is true, then I would expect LLMs today to be in a whole different league of LLMs from two years ago. Personally I find them less helpful and worse at programming and creative writing related tasks.

YMMV but count me in the camp that I think there’s better odds that LLMs are at or near their potential vs in their nascent stages.
I guess it also depends on how much you love your work. If there wasn't that much interest in the first place, I suppose you can grow to hate it in time. If that happens, maybe there's something else you'd rather do instead?
Thus we can conclude military will make them. And they will escape.
Gratifying to see this, I really hope it goes somewhere. Legalese is plain bad writing, needlessly so, and a steady drain on society.

Interestingly there's a similar thing in police-speak, where things like "they were driving fast" become "the individual in question was traveling at a high rate of speed." Sort of casts a "magic spell" of seriousness and authority.
Brushing up my debugging skills
For what it's worth, I have perhaps the opposite[1], unless imagining a conversation or reading/writing I think almost entirely in mental pictures and the manipulation thereof. It's part of the reason my memory is so effective, and verbal reasoning confounds me to some degree. Cognitive behavioral therapy is definitely not set up for someone with no internal monologue, only an an internal "visiologue."

[1] https://en.wikipedia.org/wiki/Hyperphantasia

PS "The vividness of mental imagery has a key role in the development and continuation of intrusive memories," ouch, does it ever. Every embarrassing moment I've ever had is right there at hand.
More discussion on official release: https://news.ycombinator.com/item?id=42438009
Google, Facebook, Twitter, etc. have really done as much as they can. Whoever are pushing this in Australian Government have a super weird kind of personal vendetta against 'Big Tech' - many speculate it's about how chummy our political class are with the media owning billionaires here in Australia, and how the shakedown they devised to wring money out of tech companies to subsidise the local media (the 'Media Bargaining Code') failed to really work.

It's honestly super weird. Now of course they are just proposing to tax the tech companies if they don't pay money to our local media orgs for something the tech companies neither want nor care about.
I also don't feel like people should be treated dismissively, but I think the GP in this subthread did qualify their initial impression enough, since OP did respond to them. It seemed to me like the person I responded to, a few replies deep, felt as though it was somehow overstepping to ask how something worked, and it was that take I was responding to, nothing backhanded toward OP, especially because they already established themselves to be as forthcoming as one might expect.
LLM’s are good at things a lot of people do, because a lot of people do them, and there’s tons of examples.

It’s the very definition of a self-fulfilling prophecy.
In Denmark there is some part of legalese being the way it is because of what you talk about here. Legalese is essentially something you write for a “compiler”. Unlike a compiler, however, the legal system isn’t going to throw up and tell you that you are wrong when they interpret your legalese. Well I suppose it’s a little like JavaScript where it’ll continue and just replace bad parts with “any”. Which is bad if you intended a part of a contract to mean something very specific.
Remember when Omegle shut down recently? https://web.archive.org/web/20231109003559/https://omegle.co...

It seems that some people are convinced that the benefits of having strangers interact with each other are not worth the costs. I certainly disagree.
A legitimate business created an asset. There’s no good reason to believe they should cede ownership simply because 16 years have elapsed.

> But Apple owns none of the iPhones, so why do they get a say?

This is an interesting point. But the key thing is people buy iPhones in part because of the walled garden, and Apple bakes it into the price. Without that App Store revenue, those $999 iPhones would simply see a price increase.
There must be a whole layer of reroute if defective plumbing in drivers.
I truly do not believe that many software engineers are going to lose jobs to anything resembling the current crop of LLMs in the long run, and that’s because the output cannot be trusted. LLMs just make shit up. Constantly. See: Google search results, Apple Intelligence summaries, etc.

If the output cannot be trusted, humans will always be required to review and make corrections, period. CEOs that make the short-sighted mistake of attempting to replace engineers with LLMs will learn this the hard way.

I’d be far more worried about something resembling AGI that can actually learn and reason.
Yes it has. And documents created with it have a distinct recognisable look which is instantly recognisable to others that also use it. This goes to the in-group/out-group argument of the GP.
Seems like automated node access could have also been helpful here. Kill the offending pods directly on the nodes to relieve API server pressure long enough to rollback
As for obsession with in-house movements, I like to observe to the obsessed that the most in-house brand of them all are...

...Seiko.

They even make their own lubricants.

(Wearing a nifty Seiko as I type this, but also own a handful of other Japanese, Swiss and German watches.)
Most of the time, obscure language can call out to C. Therefore you should almost certainly just use FFI and leverage a C implementation of whatever crypto algorithm you want to leverage.
I expect there is a correlation between frequency of use and broadness of interpretation. Commonly used words may be more likely to mean multiple things. Words cul-de-sac'd in arcane contexts may be less likely to evolve in the popular sphere.

When someone says: "That's so random", it isn't a commentary on determinism. There are many cases where adhering to a precise definition becomes problematic in popular discourse.
Buf seems really nice, but I'm not completely sure what's free and what's not with the Buf platform, so I'm hesitant to make it a dependency for my little open source side project ideas. I should read the docs a bit more.
I have a few of the Manga Guide books and I haven't found them so great for the way I learn. The Manga Guide books are in a kind of "Plato's dialogue" style which I find off-putting but, for people who like ideas presented that way, it might be fun.
Sounds like a great company to work at and a great boss to work for (/s)
> We have something similar in Australia with the Online Safety Act 2021.

That wasn't the one I was thinking of, to be honest.

I'd have thought you would be mentioning the latest ball of WTF: "Online Safety Amendment (Social Media Minimum Age) Bill 2024".

According to the bill, HN needs to identify all Australian users to prevent under-16's from using it.

https://www.aph.gov.au/Parliamentary_Business/Bills_Legislat...
Nobody in this space gives a fuck about anyone or anything further upstream than the file sitting in their ingestion queue. If they can see it, they 'own' it.
An industry so vehemently against AI is suddenly using it....
I'd suggest him to lead by example and fire himself.
How boring would life be if you new at the outset how much pleasure you'd get out of any given thing? Goals are nice, but not everything should have a goal attached, and not all pleasure should be attached to goals
As usual, the most useful questions on S.O. get closed. What a terrible direction the website has taken
And this is additional reason why I would never use their services.
The best docs are the ones we don't remember
We had this same question when IDEs and autocomplete became a thing. We're still around today, just doing work that's a level harder :)
> If you find it, let me know. That I would view as an interesting proof and a worthy discussion to have on it after.

https://docs.aws.amazon.com/amazonq/latest/qdeveloper-ug/tra...

To be honest, I have no idea how well it works, but you can’t get much bigger than AWS in this regard.
Kirby. Bit of a change but I’m enjoying using it so much more. Feels like a return to my rose-tinted “good old days”.
If we didn't have AI he would simply come up with other excuses to cut costs you know.
The demand is not for Apple to give up ownership of their own store.

And if they baked the price into the phones, at least that would be honest. But they likely wouldn't increase the phone price by that much.
In the article it says that they are shrinking the workforce by not replacing the naturally churning people (20% per year), rather than firing people.
Translation: Klarna is not growing and they needed a good excuse.
I admire Japanese taxis for mounting mirrors on the bonnet so they dont stick out. I'm Indian and I'm glad I had a choice of 170ish cm wide Japanese sedans meant for Asia and hate the new 180ish cars. The Jaguar is 213 cm wide.
Don't the rather large fees/profit margins of bookmakers make this very rarely profitable?
The main problem with FreeCAD is that editing a dependency tends to break the entire rest of the model. So, if you want to edit a dimension or add geometry in a part made very early in the "stack", you're generally better off remaking the entire model with the other item as a base in another tab.

This is not a problem F360 shares, and that feature is what you pay for.
> like using latex for academic papers

Have you, like, tried to write an academic paper without LaTeX? It’s only in the past few years that viable alternatives (Sile, Typst) have been available, and they all owe a lot of their design to LaTeX.

LaTeX made quality typesetting readily available to non-typographers. It’s the opposite of gatekeeping.
Looks like it worked - make a controversial statement and now a lot of people have heard of your company.
In the words of DevOps Borat...

"To make error is human. To propagate error to all server in automatic way is #devops."
At least he's blunt about it.
Isn't it because they're trying to IPO out, so trying to make a bullish case for themselves?
Look, I agree that nuclear is difficult, but Google and Microsoft have publicly committed to those projects you’re mentioning. I don’t understand your dismissive tone that all of it is hogwash? This is one of those HN armchair comments.
Multilspy: Building a common LSP client handtuned for all Language servers
I am the author of Monitor-Guided Decoding (https://github.com/microsoft/monitors4codegen), a Language Model Decoding technique that ensures LLM's can generate code while having access to the same kind of feedback that human coders do (like autocompletion, function signature, number of arguments in functions, names of various APIs available across the codebase, etc.). However, building such a technique required a language-agnostic way to interface with various language specific static analyses and indexing features. Language Server Protocol (LSP) is perfect for this!

However, while LSP solves the problem of having a common communication interface to a variety of language-specific servers, the knowledge about each language server's configuration, various options, information on installation/binaries, availability of various LSP features, right way to invoke those is still language specific, and very spread out. As another HN user (antmarti) put it in a previous thread: "As the maintainer of a language server which is primarily used in VSCode, we've relied on community contributions to add support for other editors (NeoVim, Atom, Rider for example). Information about how to do this is spread out, prone to breaking (depending on how well the implementor understood the domain), and also requires the IDE user to follow manual steps in some cases. I don't even know where I would go or who to speak to if (for example) we changed our download URL format, or added new process architectures."

To solve these problems, and while developing Monitor-Guided Decoding, I built multilspy (https://github.com/microsoft/multilspy). It is a framework to build language server clients, which contains hand-tuned configurations (including setup) for how to connect to various language servers (currently supports Java, C#, Python, Javascript and Rust thanks to the amazing open source community contributions). It is still very much the beginning, and a lot of heavily used language servers and features are not supported, but I believe that providing the community with a central repository for different language server configurations will benefit everyone. I would love to receive your feedback, and if you are a language-server implementor, I invite you to kindly add your configuration to multilspy!
it seems you have submitted twice: https://news.ycombinator.com/item?id=42438850
That's not a good example of legalese.
Bullshit business model combined with bullshit technology. It's a perfect match.
And you are 100% right but I do not think the point is against LaTex. But I am willing to bet money that after seeing thousands of pdfs formatted for icml/cvpr/nips, a reviewer would have an unconscious bias towards a pdf printed from msword or markdown. That's just a group thing and not that unexpected.
I guess one is acceptance and another is driving oneself into starvation. If fat communities encourage becoming fat by eating more/worse, they are as delusional. The key idea of thinspo and other look-related movements is to become someone who you biologically aren’t by extreme measures. Some people are naturally thin-built, for them it’s sort of normal. For others it’s basically a destructive body modification which is only temporary. Thinspo is not pursuing information, they are pursuing the body type itself. I liked thinspo type before it had a name, but only when it’s natural and stays within reasonable effort. What’s the point of preferring someone who is constantly on the edge and will snap out of it eventually. This movement should not exist basically, cause it does no good.
> Though Klarna's website is advertising open positions at the time of writing, a spokesperson told Business Insider the company wasn't "actively recruiting" to expand its workforce. Rather, the spokesperson said, Klarna is backfilling "some essential roles," primarily in engineering.
It's got a lot of potential as a way for google to get paid for other people's skills and hard work instead of the people that made all of that "data".
Wow TIL. Those before and afters are awesome and I have definitely seen this showing up in government documents. Thanks for sharing.
Because it’s harder to prosecute incompetence.
Are you kidding me? I lived there for 5 years. Tokyo has an immense amount of traffic.

And yes Waymo increases traffic. People in SF were putting cones on them to disable them because of it, there's tons of videos of them causing traffic jams.

They are famously overly cautious and often stop and do strange maneuvers.

Recently one held up Kamala Harris' motor brigade for quite a while until a cop moved it.
[dupe] https://news.ycombinator.com/item?id=42438009
My main wish for postgres for a while has been to support ADT. I know it's probably incompatible with optimizing storage, but it would solve so many problems I have when designing dbs
Yes it does. And there's still a lot of traffic. The two aren't mutually exclusive.

The public transportation is not relevant for the discussion of personal vehicle transportation though.
Thanks for the clarification. I didn't see it in the article.
So, it's almost useless.
If I were a CEO/PR team of large tech company that wanted to downsize, I would probably also say stuff like "AI efficiencies drive long term profitability". That said, I suspect in the short-medium term AI might increase salaries at the high end, but reduce opportunities at the low end. And of course, companies which seriously embrace AI advances, but in sensible ways, will do best.

https://www.klarna.com/international/regulatory-news/klarna-...
At least some (sections of) legal documents are incomprehensible because they refuse (probably for legal reasons mind you :-) to use mathematical notation. In a sense the need to keep them accessible to a generally but not mathematically literate audience is precisely what turns them incomprehensible. Describing logical and mathematical relations in words is taxing the reader, thats why these notations where invented!

A related but different issue applies to any form of supporting visual explanation, despite the lack of a cognitivive barrier (nb: assuming accessibility). The word must be the beginning and the end, otherwise it opens the door for disputes.
I think the concern is that they might become good enough for a senior to not need a novice. At that point where to the seniors come from?