skysight-inc/HackerNews huggingface dataset:
Windows Update takeover lets an attacker revive a patched flaw
Rive – Introducing Layouts
Also something about the characters gives me the cold, dead feel AI generated art (even though they do not appear to be AI generated). Can't put my finger on exactly what it is, though.
Thank you for your suggestions, and really glad to hear you're excited about Taiki! We will update the the FAQ with your suggestions — honestly, this part of the website is a bit outdated, and we will make sure to change it.

Regarding the Unofficial-APIs name, it was a really tough decision. We liked the name a lot but just thought it was a bit long. A Real pleasant surprise that you found it :)
AWS breaks up Russian phishing operation
Richard Scarry was a resident of my former hometown of Ridgefield, CT, as was fellow author-illustrator Maurice Sendak (Where the Wild Things Are). My school's librarian recommended his books with particular pride.

Come to think of it, a lot of children's authors seem to have lived in that area, western CT or eastern upstate NY. Some, including Judy Hawes and Jean Van Leeuwen, came to visit my school to talk about their books, reading in general, etc.

In college I referred to the textbooks used by Management Information Systems majors as "Richard Scarry books" because they were full of colorful, busy illustrations and light on technical detail.
In many big cities, getting a lot of dust is nearly out of your control, the only factor you can control is how often you gather it all up. I used to live practically next to a four-lane road when I was younger and even if you kept the windows closed, the dust would still creep in with every coming and going. If you ever opened a window, you'd know you'd need to vacuum soon.
They may have higher ambitions for this generation! In the presentation (roughly at the 10-minute mark), they show off the standard target demographics and setups for creative work, then complementing that with some more enterprise-flirty stuff about making workers more productive and lowering office energy usage, only to finish off with this:

"And with the industry-leading reliability of macOS, healthcare systems can count on mini when providing critical care."

A bit out of character, and also – what?!
Agree. Well put.
>I agree with pkoird's point that philosophically, two correct proofs of the same theorem should be considered "the same". Any theorem is ultimately a property of the natural numbers themselves along with the various paths that lead there from the axioms (since all proofs are essentially a finite sequence of Gödel numbers).

As with a lot of philosophy, the argument turns out to actually be much more about defining terms being used than the objects those terms are referring to. I mean when you are making an argument about "x is the same as y because..." your philosophical argument is actually about what should be meant by the same instead of any particular properties of x or y.

The article seems to be digging at the existence of a few categories of proofs

* proofs that are trivially transformed into one another

* proofs that use substantially similar arguments that don't necessary have a direct transformation

* proofs that arrive at the same destination through a much different path that have no obvious transformation to another proof

So the question is: how easy does it have to be to transform one proof to another in order for them to be considered "the same"?

One extreme is "the slightest change in wording makes a proof unique"

The other extreme is "any two proofs of the same concept are by definition the same proof"

I would argue that neither extreme is particularly useful, because both are just obvious. One means "these are different sheets of paper" and the other means "these are both proofs of X", neither of which are interesting statements.

What is an interesting statement is commentary on the path made to a proof and the differences in paths to proving a statement. Both in the ability to transform one into another easily to show similarity, and in the difficulty to transform one into another to show divergence.
My old fantasy of "scan an NFC tag and it brings up an UI on your phone to do things to the machine bearing the tag" applies here too.

Easily add a control panel to machines that can't easily have one (because of cost etc). Or a debugging panel for improved UX over the usual "three LEDs giving you a code you have to look up in the user manual".

NFC is better UX (less user taps).

For an easy PoC, make an NFC tag that connects you to an SSID and opens the captive portal usually used for Wi-Fi auth as the control panel.
Also there are rfid based smart stickers with microconteoplers abailable
Yeah, sorry, I realized that as well so I edited my post to add a higher end example with multiple 3090s or similar cards. A single 3090 has just under 1TiB/sec of memory bandwidth.

One more edit: I'd also like to point out that memory bandwidth is important, but not sufficient for fast inference. My entire point here is that Apple silicon does have high memory bandwidth for sure, but for inference it's very much held back by the relative slowness of the GPU compared with dedicated nVidia/AMD cards.
So not even milling off the ssd works now?

Fortunately I don't really see the point of using a mac mini, so this doesn't bother me too much, but... it's poor taste. You're holding it wrong was not cool the first time.
Kiedyś pracowałem na statku (kontenerowcu) w dziale maszynowym. Przerwy na kawę przy stoliku w siłowni były obowiązkowe (sprawdzało to przy okazji czy ktoś nie wpadł do wody) i na tych przerwach niektórzy opowiadali kawały. Szczególnie przypadł im do gustu kawał o księdzu, ministrantach i snickersie (Młody ksiądz po raz pierwszy usiadł w konfesjonale. Na spowiedź przyszła dziewczyna:

• Proszę księdza robiłam loda mężczyźnie. Zestresowany ksiądz nie wie co powiedzieć, szybko wybiega z konfesjonału do stojących obok ministrantów i pyta:

• Co proboszcz daje za zrobienie loda?

• Snickersa...)

Po kilku miesiącach na stanowisko głównego mechanika przyjechał Niemiec. Nie było tajemnicą ze jest tez protestanckim duchownym (coś jak proboszcz) i do tego pasywnym gejem (żalił się nam ze mąż go porzucił). Gdy tylko wsiadł na statek to kazał majstrom zbudować ambonę. Postawił ją w pokoju do rekreacji dla załogi, do systemu karaoke z tańczącymi Azjatkami wgrał teksty psalmów (przetłumaczone na angielski, niemiecki, polski i tagalog (filipiński)). W końcu w niedziele zadzwonił przez interkom dzwonkami tak żeby było słychać w każdym pomieszczeniu wzywając wiernych na mszę. Poszedłem z kadetem z ciekawości by zobaczyć jak wyglada protestancka msza, stawili się tez wszyscy Filipińczycy (są bardzo religijni). Po odśpiewaniu psalmu na karaoke młody Filipin wszedł na ambonę i odczytał czytanie z pisma świetego. Wyszło mu całkiem zgrabnie, wiec kapłan dał mu w nagrodę... snickersa. Musiałem się później mu tłumaczyć (był moim przełożonym) dlaczego wybiegłem z mszy nie mogąc przestać się śmiać.
I have lots of USB-A devices, so I get what you're saying. But converters are pretty cheap and seem reliable.

And Apple has a long history of making this change ahead of the rest of the market. It's been years since they've move to all USB-C in their laptops, so IMO, it was only a matter of time.

And yeah - upgrades are awful price wise. From what I can tell, it's basically only worth it to buy base models unless the machine is making you money. Hopefully they upgrade the Mac Studio to M4 down the line.
Blue Indoor Positioning Method Based on the Weighted Centroid of Convex Polygons
Too long/too much movement in my opinion
use LLMs and dont read books... got it...

rip deep knowledge
Once people learn Goal Seek and the matrix extensions to Excel’s macro language, it’s game over for corporate standard-issue Dell 11” laptops, that’s for sure.
If you aren't sandboxes you can edit the user's environment to swap out their programs with backdoored copies.
Bribes that have to be shared with all the investors no?

Trump has many properties where you just pay him just by staying there.
Are there any other companies which surprised you with their ubiquity?
Plans to Trash the Space Station Preview a Bigger Problem
The biggest thing I had understood about the Transformers Paper (Attention is all you Need) is how the "attention heads" vectors are wired up in such a way as to allow words to be "understood" in the proper context. In other words "see spot run" is different from "run a computer program" has dramatically different but specific context for the word "run".

It was also my understanding that without those attention heads even the scaling up to current parameter sizes we have to day would not have ended up with the level of emergent intelligence that shocked the world with GPT 3.5. We needed both very large models and words put into semantic context in semantic space.
I have a script that downloads all the posts from HN and I trained models that can predict based on the title: (1) will an article get > 10 votes, (2) will an article get a ratio of comments/votes > 0.5, and (3) will an article be [dead].

The (1) model sucks (AUC-ROC maybe 0.6), the (2) model is better (AUC maybe 0.7) but the (3) model got an AUC pushing 0.98 which seemed unreasonably high.

My mental model of "[dead]" was that it happens to articles that get popular but are about politics or some other bad subject. What I found though is that HN gets bursts of spam like the one you're experiencing and with the system I had (i) the same headline would show up [dead] a large number of times and (ii) the same headline would show up in the train, eval and test data sets so of course the system got an unreasonably high score for [dead]. That's how I learned that HN gets these spam waves.
Sunken Temple of Ancient Arabian Civilization Found Off Italy
Have you built something like this?
Mind sharing which brand you use for external storage?
You asked:

"Can you state exactly what your threat model is?"

The threat model is that police and prosecutors need to find someone guilty. If you watch the video to the end, the lawyer explains exactly how even a genuienly completely innocent person might be convicted of a crime because they were able to use "some" evidence to show that you maybe were near the crime scene. They don't need definitive proof - they just need enough to sway the jury. And if you take that into consideration, then giving law enforcement any info about you can only ever work to your disadvantage.
Just what type of logs do you expect Hetzner to keep?
No, Jaynes posits it happened as recently as 3000 BC, and bases the hypothesis on evidence from sources that are far more recent than 70 kya (not that we have any literary sources that are 70 kya old)
Many people have to remember that the initial glut of SaaS sales were because they were transferring old and very broken software models into one they could charge a monthly fee on.

Most younger folks wont have an experience of enterprisey stuff like remoting into a terminal server so that you could run a fat client in a shitty and slow network connection, or have the most awkward tech stack installed on your local computer.

Moving to "its just a website" was way more than a 200% improvement on many things, even with the tradeoffs that javascript gave, moving people to the next level of more streamlined workflows doesn't have nearly the sales pitch.
Please insert 25 cents to continue this call
Made this JSON file manager app
https://jsonkeep.com

Hey everyone!
Not sure if you’d find this useful, but I put together an app for formatting and managing JSON files. It’s got a tabs and file system setup.
I made it because I often need to analyze JSON requests/responses and save them for later use, so figured, why not build something for that? It uses IndexedDB in your browser, so storage is just as big as your hard drive, and no sign-up needed.

Would love to hear what you think!
You're right, but the article is mostly focusing on already big companies switching from Salesforce to Shopify.

foonote: I used to work for Shopify 1.5 years ago
Can you share more details about your external storage setup?
Microsoft accuses Google of creating lobbying front called Open Cloud Coalition
It's horrific UX. It makes so much more sense to be able to use a thing while charging it. And it is the de facto industry standard for mice and keyboards as well.

Yes, there are many items than can't be charged and used simultaneously, but if it is an option, it is an option that should be used. Clearly for a mouse, it is possible.
It's USD2,400 to upgrade the M4 Pro model from 512GB to 8TB, which feels a bit steep, but it's an option.

Alternatively, you can get one of these[1] external Other World Computing NVME SSDs for USD1,190 right now. And then you can easily move all your files from your laptop to your desktop when you get home.

[1] https://eshop.macsales.com/item/OWC/US4EXP1MT08/ (15% off list price as of writing)
No, I just wasnt clear.

The issue is that we have T1..Tn in an individual, so there's a very large number of ways you can get one group to have confounders.

The role of the powerlaw is to imply that the generative process which distributes these traits isnt "nice", so that one group can easily get a T9 that the other group doesnt have, and so on, for all T1...Tn

So you have this, let's say adversarial, background generative process which is giving you these confounding traits but never enough of each that you get nice mixtures.

You could see it as a problem of uniform sampling across many powerlaw factors to deliver uniform distributions of those factors. I havent written a simulation, but I don't see why this wouldnt be a serious problem for randomisation.
https://archive.is/Il4QM
Kagi with the "Programming" lense turned on
Exactly, the M2 Ultra is competitive for local inference use cases given the 800 GB/s bandwith and a relatively low cost and energy efficiency.

The M4 Pro in the Mini has a bandwidth of 273 GB/s, which is probably less appealing. But I wonder how it'd compare cost-wise and performance-wise, with several Minis in a little cluster, each running a small LLM and exchanging messages. This could be interesting for a local agent architecture.
> The primitive of true communications and signalling sovereignty would be in the hands of every individual.

That's great and all, but how does that help with mass surveillance by big tech? How would "true communications and signalling sovereignty" shield me from Google, Facebook, Whatsapp, Twitter, etc.?
This is pretty exciting. I'm a copilot user at work, but also have access to Claude. I'm more inclined to use Claude for difficult coding problems or to review my work as I've just grown more confident in its abilities over the last several months.
When I shared this on Facebook Messenger, it didn't pull in anything more than the title, like a blurb about the site.

I think that's easy to implement, if you care.

I love this project.
I didn't find this to be deep. It seems to be a rambling series of conjecture that left me none the wiser for having read it.
I suggest you write a few test cases to verify that it works reliably. I have my doubts about that, given this code fragment:

// stop hashing when there is nothing left to hash
while (scanf("%d", &ch) != EOF) {
// get the current byte
ch = getchar();
Using an 8K TV as a Monitor
I would be shocked if they weren't using a test suite, especially given all the platforms and devices Linux supports. POSIX has a test suite, and there are several Linux test suites [1], [2]. Although, I would think that an architecture port is fairly straightforward. It's reverse-engineering and writing all the device drivers, but devices generally have a well-known interface (and, therefore, presumably tests). The OpenGL drivers are being tested against the official OpenGL test suite.

Of course, there are no guarantees that it runs correctly. Probably doesn't, given that even Apple and Microsoft's software don't run correctly, either. But saying software doesn't run perfectly in all cases is almost tautological.

[1] https://github.com/phoronix-test-suite/phoronix-test-suite

[2] https://github.com/linux-test-project/ltp
Avoiding SQL migrations was my #1 reason for moving to event sourcing.

This approach cuts the "database server" into an event stream (an append-only sequence of events), and a cached view (a read-only database that is kept up-to-date whenever events are added to the stream, and can be queried by the rest of the system).

Migrations are overwhelmingly cached view migrations (that don't touch the event stream), and in very rare cases they are event stream migrations (that don't touch the cached view).

A cached view migration is made trivial by the fact that multiple cached views can co-exist for a single event stream. Migrating consists in deploying the new version of the code to a subset of production machines, waiting for the new cached view to be populated and up-to-date (this can take a while, but the old version of the code, with the old cached view, is still running on most production machines at this point), and then deploying the new version to all other production machines. Rollback follows the same path in reverse (with the advantage that the old cached view is already up-to-date, so there is no need to wait).

An event stream migration requires a running process that transfers events from the old stream to the new stream as they appear (transforming them if necessary). Once the existing events have been migrated, flip a switch so that all writes point to the new stream instead of the old.
I use Node every day and I've never even heard of the 'node' package before. I think it's very niche.
Datacenter developer says power issues holding up new builds
Company renting SF sleeping pods for $700 a month gains city approval
Hard disagree that doing a side project for money is not worth it. Almost all bootstrapped companies started this way. It should be self-evident by now that VC-driven "startup" is just one potential path to build a product, not the only way to start your own thing. The best gigs I've had in my career started as someone's side project that took off enough to become a company.

Even if your goal isn't to grow into a company, it is not always a difficult slog. My best side project accidentally made money. I wrote it for my kids, put it online, and forgot about it. As it was all client-side functionality, it was just a free static HTML page from my perspective. But 2 years later, I find out people had found it and were using it constantly, so I added some paid features, ran it for a couple years, and sold it.
To be proven wrong would be that Cursor is used by all devs or that IDEs adopt AI into their workflow?

Like OP using cursor has been a huge productivity boost. I maintain a few postgres databases, I work as a fullstack developer, and manage kubernetes configs. When using cursor to write sql tables or queries it adopts my way of writing sql. It analyzed (context) my database folder and when I ask it to create a query, a function, a table, the output is in my style. This blew me away when I first started with cursor.

Onto react/nextjs projects. In the same fashion, I have my way of writing components, fetching data, and now writing RSA. Cursor analyzed my src folder, and when asked to create components from scratch the output was again similar to my style. I use raw CSS and class names, what was an obstacle of naming has become trivial with Cursor ("add an appropriate class to this component with this styling"). Again, it analyzed all my CSS files and spits out css/classes in my writing/formatting style. And working on large projects it is easy to forget the many many components, packages, etc. that integrated/have been written already. Again, cursor comes out on top.

Am I good developer or a bad developer? Don't know. Don't care. I'm cranking out features faster than I have ever done in my decades of development. As has been said before, as a software engineer you spend more time reading code than writing. Same applies to genAI. It turns out that I can ask cursor to analyze packages, spit out code, yaml configuration, sql, and it gets me 80% done with writing from scratch. Heck, if I need types to get full client/server type completion experience, it does that too! I have removed many dependencies (tailwind, tRPC, react query, prisma, to name a few) because cursor has helped me overcome obstacles that these tool assisted in (and I still have typescript code hints in all my function calls!).

All in all, cursor has made a huge difference for me. When colleagues ask me to help them optimize sql, I ask cursor to help out. When colleagues ask to write generic types for their components, I ask cursor to help out. Whether cursor or some other tool, integrating AI with the IDE has been a boom for me.
Many places have gotten rid of the tipped wage. Gone in California, my home of Chicago recently got rid of it too. Most people did not change their tipping habits one bit.
Indeed. One cannot get absurdly wealthy without making money from millions and millions of others. It's the nature of such wealth, and it is a sign of a society's moral decay.

I'm not against making lots of money by providing a good product at a fair price, but that's not what right-wingers are doing. They are robber-barons robbing from the populace for their own selfish greed. And we are all left poorer, both literally and figuratively.

Once we shift our personal and governmental focus to raising the standard of living for our least cared-for -- instead of allowing our systems to add more riches to the wealthy -- we can change this world into a fun, beautiful, and healthy place for us ALL. But that will not happen without selfless compassion.

Selfish taking harms us all; selfless giving helps us all. To love someone is to want them to be happy, and we are in desperate need of far more lovingkindness in this world.
Non-paywall alternative: GitHub Copilot will support models from Anthropic, Google, and OpenAI - https://www.theverge.com/2024/10/29/24282544/github-copilot-...
Obviously, by the context, it should be clear we're not talking about the stock price, probably the least interesting data point.
The OP was talking about developers serving the needs of developers, and the ratio involved there. This is different than developers serving the needs of machines (fifty developers to some arbitrary number of machines is not automatically impressive) or developers serving the need of users. One would expect the ratios involved to be different for all three and highly context-specific.
I've been here long enough to recognize the names of regulars and am interested in what they have to say when they comment on items I'm interested in.

That said, I don't follow people in the sense of tracking their every comment, either here or anywhere else.

But you can see people's comments with https news.ycombinator.com/user?id=userid
This endorsement is the weakest I have seen. Paul Graham wanted to enorse the left no matter what because of his silicon valley connections, and then created an exaplanation afterwards (it would be suprising for me if he ever voted republican in the last 20 years).

In my experience the best way to stop banana republic from happening is to always give power to the party with less power (which was democrat last time, republic this time), as both parties have a danger of trying to accumulate too much power nowdays.
The way I see it, Nest and Ring are a $20 doorbell, plus a $10 range extender so you can hear the bell if you're out the back, plus a $170 home CCTV system because you're in a high crime area.

Seems to me a QR code removes the $170 bit that was a key part of the Ring camera value proposition.
Watermill 1.4 Released (Event-Driven Go Library)
Doesn't matter they will still track you with BT or TPMS.