skysight-inc/HackerNews huggingface dataset:
The document ("What Every Computer Scientist Should Know About Floating-Point Arithmetic") linked from the article was IMO even more interesting than the article: https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.h...
Its not illegal to ask for voluntary cooperation. Its illegal to issue a subpoena under color of authority you don't actually have. It clearly stated this happened.
Act on your behalf is the correct access for GitHub.

I’ve seen several company’s receive the same complaint on HN…. GitHub should reword it or make it more clear in some way

You have to “act on their behalf “ in order to read private repos (potentially) only they have access to…
On the new Dutch intelligence and security law
> I agree with a lot of comments that it's minimal, but in my opinion that is a good thing. I'm a big fan of Obsidian, and of the things I like about it is the data source is all markdown files. Markdown is meant to be very lightweight and portable, and overcomplicating it will limit adoption and extensibility (imagine markdown vs pdf).

What Markdown got right was creating a nicely readable lightweight markup syntax.

And Markdown also demonstrated how to create a bad precedence for future consolidation by being so loosey goosey and underspecified (and with a bad reference implementation). That there is a Commonmark at all is solely because of others picking up the slack and doing the unthankful gruntwork of creating 100 if-then-else statements in a semi-formal prose format.
How the Gaza Ministry of Health Fakes Casualty Numbers
I mean your statement boils down to "is it possible for evil to do good" and I think the general consensus after a few thousand years of thought is "not really".
Insecurity and Python Pickles
Exactly my point. Why do I need a custom UI for every LOB task under the sun? Just let me use a common interface to address all manner of uninteresting data problems. The UI goes away, or fades into the background, and the focus rests solely on the information I need, and the decisions I make, which I can dive deeper into with a focused AI companion.

Seems like a no-brainer.

Maybe folks LIKE clicking on buttons and going through 10-step procedures to get tasks done.

Some mice like the maze more than the cheese, I guess.
This is the sort of ideological thinking that holds back progress and it's something people have complained about in particular with the C++ standardization process.

You always have these purists who think that because a solution doesn't solve the problem for every single use case, that we can't put forth solutions that solve the problem for 90% of use cases. The entire article that Herb Sutter is writing is really a push to fix the 90% of safety problems in C++ without coming up with an ideologically pure solution that tries to solve all of C++'s safety problems.

If someone puts forth a proposal that a fairly awkward and easily misunderstood and error prone expression like "bool > bool" should produce a compiler error, and your response is that if we do that, we may as well just change all of C++'s syntax so that one could rename rustc to g++ and it just works, then you are participating in bad faith as opposed to presenting a sensible argument that reasonable people can actually discuss and make some kind of meaningful progress.
Sure, I somewhat agree with what you're saying about python being good for "scripting" and not "programming" but to me, programming == code writing and scripting == code writing == programming.

I definitely agree that libraries can and should drive your language decisions. A 20,000 line golang program might be 10 lines of python because there is a library to do what you need. Similarly a complicated-to-reason-about python program may be made far simpler by using go channels/routines.
> foreign intelligence is outside the purview of a domestic municipal police department

Demonstrably, not the NYPD's.

> US does not allow foreign municipalities to install police departments on US soil

Sure. But those foreign countries allowed them. And again, nobody is granting the NYPD extraterritorial policing powers. They're there to collaborate on intelligence.
I don’t want any spoilers.
I am/was a daily user. To me it was just very good autocomplete on terminal/CLI commands.
Ask HN: YouTube/Podcast Recommendations
I grew sick of youtube recommendations. The algorithm prioritizes professional youtubers and clickbaity videos, which most of the time I'm not interested in. Also the disappearance of the dislike button makes it even more difficult to filter out uninteresting content.

I'm mostly interested in podcasts that I can listen to during my evening walks, so rather long formats. I'm interested in a wide range of topics. Not so technical that it would require intense focus, but also not overly dumb content.
Dominance of big tech companies. Nvidia, meta, etc. Outperformance of big tech indexes like QQQ. Wider wealth inequality. Higher stock market. More expensive home prices. More national debt. Partisanism and political division in America etc.
For anyone interested, more info about Ozone is available here: https://news.ycombinator.com/item?id=39684027
> If you can tell if a solution is correct or not --- well, then you don't need to have AI write it for you.

Did you just solve P=NP?

Many things are trivial to verify, but hard/time consuming to code up.

You probably shouldn't rely on this to write critical software, no matter the amount of manual QA you throw at it afterwards, but there is an abundance of non-critical use cases where you can quickly check if a solution is good enough for what you care about.
Unless you're a pilot I'm not sure why anyone would expect that to be common knowledge.

And it's insane such a system would ever be authorized IMO. That sounds like a hack to fix a memory leak or similarly some bug they can't figure out
There was a mandatory patch for that in 2020.
Google operates among other things an office suite, a cloud platform, the largest repository of location services data in the world and an IoT health/lifestyle devices company.
Disney never lost money on a superhero film though afik
It's not the hardware keeping NVidia ahead, it's the software. Hardware-wise AMD is competitive with NVidia, but their lack of a competitive CUDA alternative is hurting adoption.
No business is using this term in real life, but it's heavily used by cults.
> The Synchronous Idle (SYN) symbol is a heartbeat, and is especially useful for streaming data, such as to keep a connection alive.
>
> SYN tells the data reader that data streaming is still in progress.
>
> SYN has no effect on the output content.
>
> Example of a unit that contains a Synchronous Idle:
>
> a␖b␞

Why would this go in-band inside a document format? Just why? If you want keep-alives, use a kind of connection that supports out-of-band keepalives.

If you download the same document twice, and the second time the server is heavily loaded (or it's waiting on some dependency, or whatever), presumably the server will helpfully generate some SYNs in the middle of the document to keep the connection alive (?), but now you've got the same document "spelled" two different ways, that won't checksum alike.

SYN along with the weirdness of

> Escape + [non-USV-special] character: the character is ignored

means that you have arbitrarily many ways of writing semantically-same documents.
I wonder how Davin will deal with issues that have remained unfixed for decades
> why are you comparing NYC police force to Ukraine military rather than Ukraine police force?

I never cited either figure? I'm comparing the sizes of GDPs.
PWA's were taken away as punishment.
So you write when inspiration strikes, and you'll re-read and sift through later?
I agree, Rust will certainly not be the end all language. The original language creator Graydon Hoare has interesting insights into what's next https://graydon2.dreamwidth.org/253769.html.

Regarding successor languages, I fail to see how they are innovating though. Their sales pitch as far as I know, boils down to "Look Ma we have Rust at home". Which I don't find very compelling.
> You are the one who made the "just don't use it" argument

Uh, read a little farther up: https://news.ycombinator.com/item?id=39680209

> Ok, just continue to only use the iPhone app store

So, I imagine that if I restate my point here, you'll just ignore it. So how about I point you to elsewhere in this thread that I've made the point: https://news.ycombinator.com/item?id=39680211 and https://news.ycombinator.com/item?id=39681056 and https://news.ycombinator.com/item?id=39680739

In case you missed it, the key takeaway:

> You're missing the forest for the trees. Apple offers a curated environment largely through the curation of the app store. That curated environment is massively valuable to the average user. That's the asset Apple is trying to protect.

I've noticed this trend with a lot of my engineering / tech friends: really good at tech, but completely clueless in understanding the actual value to users that a tech thing provides. That's the distinction which makes this not-a-contradiction; but since you're probably mistaking the technology itself for the value it provides, that won't make sense.
The last part doesn't always work the way you'd like it to - most aviation disasters these days have very definite things the pilots could have done to save themselves and everyone, which they failed to do.
From the other discussion, there are clear data problems with the source this is based on:

https://gs.statcounter.com/os-version-market-share/android/m...
This is so weird, since the purpose of the former characters is displaying the latter characters. If they are actually used for display, then you can’t tell which is which.
>The only ideology that Boeing makes look bad is the Soviet system!

Boeing is 100% a product of the American system. All the acquisitions, mergers, lobbying and loss of engineering culture in favor of short-term profit seeking that got it to where it is today happened under capitalism. Nothing resembling Boeing ever existed on the USSR, its airplane manufacturers worked very differently, with different incentives and under different constraints.
The structures of a society are the residue that remains after each member of the society has exercised their Bartleby veto.
Another way to explore floating point representation can also be to compare rounding modes, as this can impact a lot of what is generated for floating point operations. Most systems are round to nearest even, but round to zero, round towards positive and round towards negative also exist.
Bonus points if you also check results for x87 floats.
> Explaining why something happens doesn't go very far proving it doesn't?

Not sure what you're getting at. I'm asking for evidence of someone suing the NYPD in the manner this journalist might be harassed in the manner a cop collecting evidence on other cops was.
Fix your prompt. Just accepting the default style is a rookie mistake.

Ask it to "rewrite that in the tone of an English professor" or "rewrite that in the style of a redneck rapper" or "make that sound less like generic ad copy". Get into an argument back and forth with the LLM and tell it the previous response is crap because of XYZ.
It's a timing skill you rapidly develop. Switching models throws off your timing, so don't be surprised when you initially use the brakes more.
> I don't receive support requests anymore from my grandparents...

And yet the ChromeOS platform still supports putting hardware into developer mode.

Apple's policy is about protecting profits.
An Explanation of the Double-Dabble Bin-BCD Conversion Algorithm (2004)
yep did that too. still the same error. GitHub key not matching.
They're locked down through technological measures such as sandboxing, which is designed to resist against malicious guests regardless of their origin and distribution method.
> Can't they offer to cover the expense of the person with standing by either using their attorneys or footing the bill for the team already in place?

This is how they actually work.
Having contributed to the Fig autocomplete specs, I find this sad. The Amazon product Fig was built into basically works as replacement, which is good. Still, the core value of this product are the open-source autocomplete specs: https://github.com/withfig/autocomplete. What's going to happen to that? It looks like they are still using it in the Amazon product. It should definitely be possible for an open-source re-implementation of the Fig UI to use those specs. There is a lot of knowledge encoded in there!
It's definitely an evergreen article https://news.ycombinator.com/item?id=23665529

https://xkcd.com/1053/
No up-front pricing?

And it looks like the actual training is provided by partners - which i can not find specific information about.

Woz is one of my heroes - but this does not look like something I would use.
> This client does have a responsibility to protect their sources

An ethical responsibility. Not a legal one. Not the lawyer's job, and certainly not the legal bar's. That's not only presumptuous, it's unprofessional and potentially dangerous.
Combination of zsh completions with fzf picker and gh copilot for CLIs.

I have a good setup here that you can learn from - https://github.com/fluxninja/dotfiles
It DOES bring them to a stop in newer models. Not sure which year it started but it's been at least 2

But I know what you mean from my older models
That's a nice goal, and if the large majority of the community would back this one attempt it might work. But the presence of Carbon and Circle make that a pipe dream IMO.
Seems sort of like the opposite—a lot of the regulation is done by people installed by lobbying, sort of like a privately owned and operated part of government.

Of course it's terrible for everyone but shareholders there isn't really any domestic competition.
It's basically saying the same thing. One thing other apps can't do on iOS is... installing packages on the system. This is only a thing that the App Store app can do. So Apple has to open up to third party the possibility to install packages on the device, exactly how on Android any third party can install apps on the device.

By the way, this will impact Android too, since there are permissions that are limited only to Google applications such as the Google Play Services, that (interpreting this rule) now shall be opened to any apps that require them.
They should be forced to read all the certification application material during test flights of the vehicles in question.
> my statement was "should if all things were fair"

You raised it as grounds for disbarment. You don't get disbarred for being unfair.
Hi Matthew. Both Cloudflare[1] and Turso[2] have apparently very similar offerings at what appears to be better pricing. What does AstroDB provide to warrant the additional cost?

+----------+------------------------+----------------+---------------+
| | Base Storage + Cost/GB | Reads | Writes |
+----------+------------------------+----------------+---------------+
| Astro DB | 1GB + $1.00 | 1b + $0.001/m | 1m + $1.00/m |
| D1 Free | 5GB | 150m | 3m |
| D1 Paid | 5GB + $0.75 | 25b + $0.001/m | 50m + $1.00/m |
| Turso | 9GB + $0.75 | 1b + $0.001/m | 25m + $1.00/m |
+----------+------------------------+----------------+---------------+

[1]: https://developers.cloudflare.com/d1/platform/pricing/

[2]: https://turso.tech/pricing
In the Manhattan distance for example if you rotate your coordinate grid, distances will change.
What kind of prompts are you using? You'd be surprised how much better your output is using prompting techniques tailored for your goal. There are research papers that show different techniques (e.g one shot, role playing, think step by step etc) can yield more effective results. From my own anecdotal experience coding with ChatGPT+ for the past year, I find this to be true.
It's worth pointing out that on their eval set for "issues resolved" they are getting 13.86%. While visually this looks impressive compared to the others, anything that only really works 13.86% of the time, when the verification of the work takes nearly as much time as the work would have anyway, isn't useful.

The problem with this entire space is that we have VC hype for work that should ultimately still be being done in research labs.

Nearly all LLM results are completely mind blowing from a research perspective but still a long way from production ready for all but a small subset of problems.

The frustrating thing, as someone working in this space awhile, is that VCs want to see game changing products ship overnight. Teams working on the product facing end of these things are all being pushed insanely hard to ship. Most of those teams are solving problems never solved before, but given deadlines as though they are shipping CRUD web apps. The kicker is that despite many teams doing all of this, because the technology still isn't there, they still disappoint "leadership". I've personally seen teams working nights and weekends, implementing solutions to never before seen problems in a few weeks, and still getting a thumbs down when they cross the finish line.

To really solve novel problems with LLMs will take a large amount of research, experimentation and prototyping of ideas, but people funding this hype have no patience for that. I fear we'll get hit by a major AI winter when investors get bored, but we'll end up leaving a lot of value on the table simply because there wasn't enough focus and patience on making these incredible tools work.
afaik all ieee floating point systems allow configuring rounding mode, for example with fesetround or equivalent https://pubs.opengroup.org/onlinepubs/9699919799/basedefs/fe...
I really want forgejo and their federation to make a dent in the git world.
DuckPGQ: Efficient Property Graph Queries in an analytical RDBMS (2023) [pdf]
Proficiency in emulating x86 is just one piece of the puzzle, though. It helped drive M1 adoption to be sure, but users also had a lot of confidence that developers would pull through and provide native binaries in a timely manner, catapulting the capabilities and battery life of their shiny new laptops even further. Apple and third party Mac devs had pulled it off twice already, so there was good reason to believe that they’d do it again.

If the new Qualcomm chips have good performance, it’ll drive sales initially, but enthusiasm will fizzle if 2-3 years down the road developers aren’t making meaningful efforts to port their Windows versions to ARM, because a Windows on ARM device running mostly emulated processes is almost certainly going to fall behind M-series Macs running mostly native in performance and battery life. If Qualcomm can’t keep up substantial performance improvements on a yearly cadence, they also risk getting lapped by traditional x86 machines.
All these guidelines are what is making BBC unreadable for me. The language they use is just so artificial. I understand why they do, and how they feel like they have a responsibility to "optimize" language for some metrics, but in my opinion what really matters is the objective reality, not the phrasing. Maybe they could report more on the NHS inability to cope with mental health patients rather than avoid using the word gunshot in a country where gun ownership is so scarce.
> mostly static site that might want occasional islands of interactivity

is exactly what I made this for https://github.com/bensmithett/tropical-utils/tree/main/pack...

It’s a little more verbose and doesn’t quite have the ergonomics of Astro client:* directives, but it does the trick for me.
Laptops are the new desktop, and in those GNU/Linux still has issues with 100% hardware support, even the ones from Linux OEMs still have issues with fingerprint readers, dual GPUs, sleep modes, hibernation.

Where GNU/Linux works just fine are classical desktops, preferably self built.
How to Dive Deep into Gitlab Metrics with SQLite and Grafana
I'm aware of MDMs, I administer one. That 50% addresses my comment, but also, MDMs are third party solutions.

Regardless, my point is that opinionatedness is a feature that some people buy, even if many people on this forum don't.

e.g. people might prefer to eat at a nice prix fixe restaurant instead of the Cheesecake Factory.
If setting up a new laptop takes a week then you need to learn about Ansible.

I restore my working setup to a fresh install within minutes.
I can’t believe they killed dark sky. That was accurate to the minute. Incredible.
My most productive time was early-mid '90s using a 4GL for green screen applications.

You could pound out a trivial screen or report in an hour. With SQL being a first class participant, you just interlaced SQL and logic to get your bidding done. Turn around was really fast. Having a functional TUI meant there was no time lost fiddling with placement or colors or any of that. The hardest part was squeezing everything on to a single 80x24 screen, and those high density screens were really rare. "Any color you like, as long as it's green."

I won't say it was low code, but it was certainly a lot less code. If the application fit well into the "CRUD screen/reports" paradigm, it was a lot less code. It was almost pure logic, with little need for formatting or UI. Mostly validation and deciding what fields to skip and when.

With flexibiliy comes complexity. For back office data processing, this solved an enormous swath of problems. It was pre-web, pre-json. It was not OO in any way. Code reuse was perhaps a bit more difficult that one may have liked, but at the same time, it wasn't really that necessary. Each program did its own thing, rarely did that overlap with other programs, so less need to actually share logic.

Unix processes, CRON for scheduling. We had no need for a message queue, beyond stuffing things into tables and processing stuff in batches. Workflows based on end-of-day, end-of-week, and end-of-month processes.

Honestly, never felt constrained by the limitations of the system. Not really. And, despite all of the gains and modern UXs, how pretty, and flashy, and such it is, it's just not that much better IMHO. Not for most back office use cases, not for the complexity and time it takes to create modern apps.

Still, its very hard to go back. As much as "You're not going to need it", it's hard to leave that flexibility behind, "Just in case".
I dunno, I have an extreme command of my platform's framework and I'd guess that 85% of the time I've asked GPT-4 for help has been a waste of time. I think it's been most helpful in regards to writing regexes but beyond that, it hallucinates correct-sounding methods all the time which leads to _a_lot_ of wasted debug time before eventually getting to the right answer by Googling what it meant or by manually rewriting large portions of what it meant to do.

It's funny how a year ago I was really excited for how AI can help my everyday coding while fearful that it would replace me. Now I'm not really sure either will happen in the short term.
It's a shame, because I really like the Samsung build quality. I have ran Lineage on the S4, my first Lineage phone, then S7, then S9 was my last. They were a joy to hold in hand, and, I felt, a testament on how good manufacturing got in my time. But, as many others, I wanted a specific OS to run, and that needed a specific phone, and so, I'm using GrapheneOS on a Pixel 7a now. It's a mixed bag, I definitely feel the step down in some respects, and the step up too at the same time.
> So many people talking about GPT-4 here, or even 3.5 when the SOTA has moved way along.

So what is the SOTA, in your opinion?
Yes but do the flight crew have the ability to tell if a plane is safe to fly?

Without a deep understanding of the design of the plane they rely a lot on the metrics that the plane manufacturer display and on the manufacturers manuals to interpret them.
> Why would you expect Siri to know if it is raining at your specific location?

I don't, but as a result, I expect it not to guess.