skysight-inc/HackerNews huggingface dataset:
What is wrong with simply pushing a "Fix linting issues" in a new commit? It's self-contained and very well describes the (single) purpose of the commit.

I share the sentiment about the "logical small commits", and hence I don't see that adding a new fix commit is problematic as long as it is self-contained and purposeful, but perhaps I don't understand what is the problem that this tool is trying to solve.

It says

> You have fixes for the bugs, but you don't want to shove them all into an opaque commit that says fixes

So my understanding is that bugs were found in the PR and now you want to fix those bugs by not introducing separate "Fix A", "Fix B" and "Fix C" commits but you want to rewrite the history of existing N commits into N' commits so that it blends those A, B and C fixes in.

Maybe I can see this being somewhat useful only ever if those N commits are pushed either directly as series as patches to the main branch or as a single merge commit, and you want to keep the S/N ratio reasonable.

But otherwise I think it's a little bit problematic since it makes it harder for the reviewer to inspect and understand what changes have been done. But it also makes it harder for a developer since not all fixes are context-free, e.g. a fix for an issue found in the PR cannot always be attributed to the self-contained and single commit in your branch but it's the composition of multiple commits that actually makes this bug appear.
Loving the continued push for JSON features. I'm going to get a lot of use out of JSON_TABLE. And json_scalar & json_serialize are going to be helpful at times too. JSON_QUERY with OMIT QUOTES is awesome too for some things.

I hope SQLite3 can implement SQL/JSON soon too. I have a library of compatability functions to generate the appropriate JSON operations depending on if it's SQLite3 or PostgreSQL. And it'd be nice to reduce the number of incompatibilities over time.

But, there's a ton of stuff in the release notes that jumped out at me too:

"COPY .. ON_ERROR" ignore is going to be nice for loading data anywhere that you don't care if you get all of it. Like a dev environment or for just exploring something. [1]

Improvements to CTE plans are always welcome. [2]

"transaction_timeout" is an amazing addition to the existing "statement_timeout" as someone who has to keep an eye on less experienced people running SQL for analytics / intelligence. [3]

There's a function to get the timestamp out of a UUID easily now, too: uuid_extract_timestamp(). This previously required a user defined function. So it's another streamlining thing that's nice. [4]

I'll use the new "--exclude-extension" option for pg_dump, too. I just got bitten by that when moving a database. [5]

"Allow unaccent character translation rules to contain whitespace and quotes". Wow. I needed this! [6]

[1] https://www.postgresql.org/docs/17/release-17.html#RELEASE-1...

[2] https://www.postgresql.org/docs/17/release-17.html#RELEASE-1...

[3] https://www.postgresql.org/docs/17/release-17.html#RELEASE-1...

[4] https://www.postgresql.org/docs/17/release-17.html#RELEASE-1...

[5] https://www.postgresql.org/docs/17/release-17.html#RELEASE-1...

[6] https://www.postgresql.org/docs/17/release-17.html#RELEASE-1...
These are actually great and I would gladly welcome these changes if they were implemented in stable.

My wishlist:

* allow const fns in traits

* allow the usage of traits in const exprs. This would allow things like using iterators and From impls in const exprs, which right now is a huge limitation.

* allow defining associated type defaults in traits. This can already be worked around using macros somewhat effectively (see my supertrait crate) but real support would be preferable.

* allow eager expanding of proc macro and attribute macro input, perhaps by opting in with something like `#[proc_macro::expand(tokens)]` on the macro definition. Several core "macros" already take advantage of eager expansion, we peasants simply aren't allowed to write that sort of thing. As a side note, eager expansion is already possible for proc and attribute macros designed to work _within proc macro crates_, for example this which I believe is the first time this behavior was seen in the wild: https://github.com/paritytech/substrate/blob/0cbea5805e0f4ed...

* give build.rs full access to the arguments that were passed to cargo for the current build. Right now we can't even tell if it is a `cargo build` or a `cargo doc` or a `cargo test` and this ruins all sorts of opportunities to do useful things with build scripts

* we really need a `[doc-dependencies]` section in `Cargo.toml`

* give proc macros reliable access to the span / module / path of the macro invocation. Right now there are all sorts of projects that hack around this anyway by attempting to locate the invocation in the file system which is a terrible pattern.

* allow creating custom inner attributes. Right now core has plenty of inner attributes like `#![cfg(..)]` etc, and we have the syntax to define these, we simply aren't allowed to use custom attribute macros in that position

* revamp how proc macro crates are defined: remove the `lib.proc-macro = true` restriction, allowing any crate to export proc macros. Facilitate this by adding a `[proc-macro-dependencies]` section to `Cargo.toml` that separately handles proc-macro-specific dependencies. Proc macros themselves would have access to regular `[dependencies]` as well as `[proc-macro-dependencies]`, allowing proc macro crates to optionally export their parsing logic in case other proc macro crates wish to use this logic. This would also unblock allowing the use of the `$crate` keyword within proc macro expansions, solving the age old problem of "how do I make my proc macro reliably refer to a path from my crate when it is used downstream?"

* change macro_rules such that `#[macro_export]` exports the macro as an item at the current path so we can escape from this ridiculousness. Still allow the old "it exports from the root of the current crate" behavior, just deprecate it.
The Human Cost of Our AI-Driven Future
Open(YourWallet)AI
So is the Quest 3 (now 3s). It was significantly better than the 2
Consider the intelligence of pigs as well. Even if cows, sheep, deer, rabbits, chickens, turkeys, et al. all sit below the "I don't want to eat you" cutoff point, pigs should probably be above it.
This project came out way later than Hoodmaps, I believe it was even on Google Maps before they introduced high fees?
Could it be "Children of Time" by Adrian Tchaikovsky?

(ht Claude)
You think OpenAI isn’t using your prompts and results to train better models? Think of yourself as a large RLHF experiment LOL

Kinda like Netflix did with people watching movies 10 years ago. The data’s there, and abundant. People are massaging their chatbot to get better results. You can measure when people are satisfied. So… obviously…
Earth-Like Planet Discovered Orbiting an Alien Star. There's One Big Problem
That seems to already be happening with o1 and Orion.

Instead of rewarding the network directly for finding a correct answer, reasoning chains that end up with the correct answer is fed back into the training set.

That way you're training it to develop reasoning processes that end up with correct answers.

And for math problems, you're training it to find ways of generating "proofs" that happen to produce the right result.

While this means that reasoning patterns that are not stricly speaking 100% consistent can be learned, that's not necessarily even a disadvantage, since this allows it to find arguments that are "good enough" to produce the correct output, even where a fully watertight proof may be beyond it.

Kind of like physicists have taken shortcuts like the Dirac Delta function, even before mathematicians could verify that the math was correct.

Anyway, by allowing AI's to generate their own proofs, the number of proofs/reasoning chains for all sorts or problems can be massively expanded, and AI may even invent new ways of reasoning that humans are not even aware of. (For instance because they require combining more factors in one logical step than can fit into human working memory.)
HN is deleting comments and censoring it. If the story got bigger they'll mark this as "dupe" and put their bots all over their version of coverage. Joke
Nearsightedness epidemic projected to impact 740M children by 2050
Cosmic Alpha 2
I’ve found it useful in the past as basically very-smart (i.e. stuff like expiration built-in) shared memory. Potentially with clustering (so, shared across multiple machines).

In the era of k8s, and redis-as-a-service, though? It’s gonna be “shared memory” on another VM on another rack. At that point, just read & write a damn file off S3, you’ve already abandoned all hope of efficient use of resources.
Rural Americans are dying younger, living less healthy lives, report reveals
My boss insisted on the switch from oracle to mssql. Because "you can't trust open source for business software". Oh the pain
I'll gladly take that bet. Apple is known to be very conservative with hardware form factors, and the AVP was a huge risk for them, and a departure from their previous ways of working that they'll be reluctant to return to after its failure.
As described in the blog post, each write is replicated to machines in five different datacenters, and not confirmed until a quorum of three acknowledge it. So you'd need a power loss in three geographically-separated datacenters simultaneously to lose data.

Write confirmations block the "output gate", which means the app can keep running "speculatively" while waiting for write confirmation, but if the write fails then no one in the rest of the world will ever observe that any code after the write executed.
Tesla and SpaceX would not exist OR prosper, without Musk.

If you want to understand why, read the Walter Isaacson biography of Musk (which is based on accounts by his friends, enemies and employees). He's a hard-arsed manager, he is technically involved at all levels of the company, he is relentless, and he takes risks and iterates like no other CEO.
Automatic Content Recognition Tracking in Smart TVs
It might take a while say 5-10 years but once 90% of games are ARM compliant It will be a non issue. Also ARM performance can be so much better than x86 and gamers love raw benchmarks and high fps scores I would bet they will switch to arm for 10-15fps.
This is one of the worst attempts to handle a corporate dispute that I have ever seen. Forget all of the he said he said arguments for a second and see what a random person who decided to use WordPress will see.

If Automatic gets mad at the company I use to host this site, they will randomly start holding my site hostage by deactivating services. No host is safe. I probably shouldn't use WordPress.

I don't care who is wrong or right here. This is peak "cutting off your nose to spite your face" behavior.
So perhaps we can start a campaign of writing letters to her?

I'm curious about the "fiduciary duty" part. As a member of humanity, it would appear that OpenAI has a fiduciary duty to me. Does that give me standing? Suppose I say that OpenAI compromises my safety (and thus finances) by failing to discuss risks, having a poor safety culture (as illustrated by employee exits), and racing. Would that fly?
Interview with Meta CTO about Orion AR glasses and Reality Labs
Tell HN: OpenAI appears to be testing infomercials for Amazon and Etsy products
I didn't know what keywords to use to search for a product, so I asked ChatGPT. The system gave me two answers to choose between and the first was something that I can only call an infomercial. It was headed by a link to a specific item sold on Amazon and the answer neatly segued into a recommendation for that product, with no delineation between where the answer ended and the advertisement began. In total, the response contained links to three different products, two to Amazon pages, one to Etsy.

1. https://imgur.com/a/KTI5aOb

2. I think infomercial is the appropriate term, as infomercials are designed look like regular programming and seem informative, but are actually primarily intended to promote a product or service.
I can enter it online (via my cell internet obviously), or call in and tell it to a CS rep.
It's a truck, other guys sell the junk to mount on it.

For drone protection https://www.youtube.com/watch?v=P6X8fT5IfFM https://www.youtube.com/watch?v=Usd0Uouj6XA
Maybe, but for the first time in a century there is more money to be made in weakening copyright rather than strengthening it.
AT&T, T-Mobile Bet Big on Open Access
I would like to point out this is an interesting distinction between "conscious" awake/aware and "consciousness" the inflection of our existential being.

The conscious may through consciousness completely override and reprogram the brain's low level detection circuits. Many train themselves for exactly this. Learning a language or training in martial arts can reprogram perception and reaction through determination of will (which is conducted throughout one's "consciousness" even when not "conscious".)
The negativity goes both ways. I wonder if Mark Zuckerberg will think we're "dumb fucks" for buying this new gizmo.
Allahu snackbar, here i come!
Because I prefer making things to Dependabot hell
So from one expensive vendor to another? Your boss seems smart. ;-)

What’s the rationale? What do you gain?
I've had horse in France and Belgium, it's not bad, though not as good as reindeer which I had in Finland (of course).
A 9.9 CVE has been announced for RCE in Linux
I agree with your ideal goal, but there are hundreds of billions of dollars being spent on getting it in directly into our eyeballs.

Maybe we'll be lucky enough to die before it's normal for this stuff to be integrated into our brains (which again, billions of dollars being spent on figuring this out).
A friend of mine liked to say she doesn't understand why companies pay for ads, she doesn't buy stuff because of ads.

Needless to say she liked branded bags and stuff.

The more you think you're immune, the easier it is to influence you.
Nit; the God Emperor arises long after the Butlerian Jihad banned thinking machines - so it's not a great image for the rise of totalitarian artificial intelligence...
Is there a single building on the planet that has survived contact with residents and not changed in some way?

The plan is never "final".
I originally did this simple layout in 2012 (simple white, grid of projects) - https://www.bennyschmidt.com/ and have several times tried to more exciting things with Three.js, or the ole make my site look like an OS to showcase my UI skills thing, etc. but no matter how impressive these experiments are I get the most compliments on this one.

Nothing over the top just "I took a look at your site and loved X" "Nice portfolio!" "You have a good eye for design"

But I never got any comments on anything super creative and flashy. When I was exclusively looking for work in games my site was a game, but nobody cared. To game people it wasn't AAA and to tech people it wasn't Apple.

Seems like simple and easy is best.

When I have hired designers or FE devs I don't even interview them if they don't have a personal site.
Yup, back when I was studying, every business wanted to be "on the net", and i made a little bit of money for work that I only got after showing people my web site. It had my name on it, so they knew I could make something similar for them :)

I keep mine updated more to have a place to track progress than a portfolio these days https://jarek.lupin.ski
I just don't think (out of the sample of people I've met) there's many people who print infrequently enough that they don't own a printer, but are also lazy and homebound enough that they won't suffer a 15 minute errand to go to a print shop/library/FedEx/work for the one print every three months they do need.

I haven't owned a printer for a decade either. My partner prints maybe five or six times a year. Our solution was to just use the HP subscription ink service, which for $1 a month lets us print ten pages (way more than enough) and we never have to worry about cartridges running low or dry. And before that, in college I just picked up a used laser for $20 that paid for itself within a few weeks.

Food delivery has both way higher margins and more regularity. People eat out all the time. Not many people print anymore (or we wouldn't be having this discussion to begin with). And the hassle and cost of your proposed solution (humans driving around making one off prints) just don't seem worth it relative to existing solutions. It's a rare enough problem that few people have anymore to begin with, and it's one that's easily solved by anyone who really cares to do something about it.

I can't start my own restaurant but I can certainly go and get a printer if I needed one, rather than relying on some unreliable startup that probably wouldn't be able to get enough drivers anyway and just go under in a few months... they already have a lot of apps to juggle between Lyft, Uber, Doordash, Instacart, etc.

Plus, I don't think there's many people who are going to want to go through the technical hassle of maintaining a printer and dealing with file types and margins and confused grandmas who really need that print, and oh can you fax it too? Why not, her old printer could...

All that time spent for $5 (which they won't get the full cut of anyway), vs just accepting another drop off along the same route (which the existing apps already do)? They make money by squeezing in as many stops as possible within a time, optimized by the app routing, not by spending time waiting for prints to happen...
Again, it's easy to be a CTO for a startup. You just have to be at the right time. Your role is literally is, do all the stuff Researchers/Engineers have to deal with. Do you really think Mira set the technical agenda, architecture for OpenAI?

It's a pity that HN crowd doesn't go one-level deep and truly understand on first principles
I thought you wanted to prevent transitive dependencies. For sandboxing crates, as JoshTriplett said it's another can of worms.
> Sandboxing against malicious crates is an out-of-scope problem. You can't do this at the language level; you need some combination of a verifier and runtime sandbox. WebAssembly components are a much more likely solution here. But there's lots of interest in having capabilities for other reasons, for things like "what allocator should I use" or "what async runtime should I use" or "can I assume the platform is 64-bit" or similar. And we do want sandboxing of things like proc macros, not because of malice but to allow accurate caching that knows everything the proc macro depends on - with a sandbox, you know (for instance) exactly what files the proc macro read, so you can avoid re-running it if those files haven't changed.

We've had a lot of talk about sandboxing of proc-macros and build scripts. Of course, more declarative macros, delegating `-sys` crate logic to a shared library, and `cfg(version)` / `cfg(accessible)` will remove a lot of the need for user versions of these. However, that all ignores runtime. The more I think about it, the more cackle's "ACLs" [0] seem like the way to go as a way for extensible tracking of operations and auditing their use in your dependency tree, whether through a proc-macro, a build script, or runtime code.

I heard that `cargo-redpen` is developing into a tool to audit calls though I'm imagining something higher level like cackle.

[0]: https://github.com/cackle-rs/cackle
It can and I've used this as well to export from zotero, but there's a subtle difference in workflow between having to "export" your db in order to use it on another device (not to mention being bound to a browser extension) and having your db in a text based format that a multitude of software can directly work with.
>Rust does not have a culture of "microdependencies"

It absolutely does by the C/C++ standards. Last time I checked the zed editor had 1000+ dependencies. That amount of crates usually results in at least 300-400 separately maintained projects by running 'cargo supply-chain'. This is an absurd number.
Why would any of the decision makers want to do that? It's not like 99.9% of consumers appear willing to pay 10 cents more for an unconnected car.
Considering all the high level departures, this makes the most sense to me. Their valuation largely rests on this mystique they've built that says they alone are destined to unlock AGI. But there's just no reason to believe they have a secret sauce nobody else can reproduce.

Seems more likely that OpenAI's biggest secret is that they have no secrets, and they are desperately trying to come up with a second act as tech companies with more robust product portfolios begin to catch up.
> You could argue this is excessively clever, but when you need it, you really need it

I've probably written millions of lines of C so far, and I don't think I have ever needed it.
You seem pretty confident about there being "no values here". Just because his action also lends to strategy, does not mean there are no values there. You seem to be doubling down on the sentiment by copy/pasting same comment around. You might be right. But I don't know Zuck at a personal level enough to make such strong claims, at least.
Very cool!

> “I think sociality, or at least attention to social information, is way more deep-rooted in the evolutionary tree than we might think,”

Maybe, or maybe the neural power required to move all of those limbs is good enough at processing that they developed their own sophisticated behavior.
In places like Hawaii where the economy is pure tourism there isn't much hostility. You're a paycheck to them.

Also tourism economies are terrible and create a bunch of terrible perverse incentives for both business and government.

Source: Grew up in one
Espanso (https://espanso.org/) and a custom ~/.Xmodmap to easily type accented characters and mathematical symbols quickly.
This is not accurate. OpenAI and other companies could do it not entirely because of transformers but because of the hardware that can compute faster.

We've had upgrades to hardware, mostly led by NVidia, that made it possible.

New LLMs don't even rely that much on that aforementioned older architecture, right now it's mostly about compute and the quality of data.

I remember seeing some graphs that shows that the whole "learning" phenomena that we see with neural nets is mostly about compute and quality of data, the model and optimizations just being the cherry on the cake.
When will it come to ollama? That's my preferred quantization platform.
There are good doctors and bad doctors just like any other profession. I have gotten plenty of bad advice over the years from doctors. Took me 2 years of going to various doctors to figure out I was having a reaction to mold. My neurologist just had me try all these different medicines, almost all made me worse, but none of them got to the actual problem. This is VERY common. Doctors so often just treat symptoms. That said, there are idiots out there that don't listen to anything a doctor says about politically charged issues like Covid. Homeopathy is mostly nuts. But integrative medicine is also often poo-pooed, but it makes logical sense to treat the whole person, not just symptoms. But I am sure there are plenty of crackpots there too. The waters are muddy my friend, not much is clear.
This can't be safe.
I think that’s about right on focus, I brought it up more for the “modern c++” aspect…
We had decent enough image classification for this task a few years before this comic. While the sentiment is true the example in it had already been solved.