skysight-inc/HackerNews huggingface dataset:
So much "news" these days is just unadulterated crass clickbait, that a friendly reminder to revisit interesting subjects really does qualify as above average "news", yes. Sadly?
I'd like to keep using Dropbox but the syncing issues with Sonoma make this impossible, unfortunately.
Doesn't need to own it to have rights in case of a breach of contract.
The first iteration is plenty flexible where it needs to be. I've been programming since 2001 and honestly, the reason I'm holding this view and you're not is very likely the exact opposite situation of what you think: I think it's hard to find experienced and knowledgeable programmers who think the best time to abstract something is the first iteration of something.
Have a reddit link?. Search didn't help
> Back in the Bootstrap 3 days, there used to be a customizer.

There is still a quite good bootstrap customizer at bootstrap.build btw ;)
How would you feel if your products were forked by a big business that had already been commercializing your open source code (legally, admittedly) while making no contributions back?
The hacker spirit in relation to Apple was long gone when the Mac Classic was released.

People that imagine otherwise haven't lived through those days.
You may want to try either…

Murena
https://murena.com/

or

Iodé
https://iode.tech/
Oh, if only there were such a thing as GDPR (or the victim sues in Cali).
>Apple forbids you from using any cloud backup solution other than theirs

If this is true, how is that legal?
Presumably because I asked so he answered.

The parent comment brought up the dev originally, but seems it's no longer an issue. Different commenter than the person you're replying to though.
I’m curious to see what Hello Games does with this, but the trailer feels mostly like NMS with a different skin.

It seems odd to try to build an RPG in a procedural world. It’s hard to build an immersive world, when it wasn’t hand crafted to fit the story.

NMS was ambitious, and it’s definitely come a long way from when it started, but it still lacks the depth of a hand crafted story and world. But it’s a sandbox game from the ground up — a sandbox RPG seems like it would just result in a fairly flat experience.

Compared to, for example, Nier Automata or the Horizon franchise, where it’s clear what went into developing both the story and world.
That of course is an option. It's in their privacy policy. Tbh that you could demand they delete your data when you were done with them is the entire reason I actually used them. There are definitely benefits to keeping your data with them though. The research they contribute to is useful and the relevance is easy to interpret through their client.

I'll probably delete everything off their site in the event it looks like they might get sold but for now I figure it's fairly well guarded and they keep most of it offline anyways.
Excited to play this! Their way of fixing no man's sky has definitely proven that they want to make good games!
Can we really? Where's an exostant model for it?
Just curious, what does your software engineering career look like? Length, education, etc.
> https://llm-tracker.info/books/llms/page/quantization-overvi...

This is a very cool resource, thanks!

Gems like this, even in areas I follow pretty closely, are why I keep coming back to HN.
LlamaFile typically outperforms LM Studio and even Ollama.
Enshittification as a result, cost increases and so on.
It looks like a Valheim, Ark, Numenera, mashup
Very possible on Android versions that are closer to AOSP. Shitty vendor forks, probably not.
I some times help Non native English IT professionals improve their language skills. I would love if anyone had a list or could offer any recommendations of this kid of fluffy but still technical texts to use as reading materials.
> it is that we don't need as many programmers.

This sounds a bit like a variant of the old "lump of labor" misconception.

There's no such thing as needing programmers. In the long run, economic decisions in markets are made at the margin, and increases in marginal productivity make labor more valuable rather than less. This induces rather than reduces consumption. There are caveats of course: the benefits of induced consumption may not be distributed to all devs evenly, or may not be distributed evenly between capital and labor. But the idea that making programmers more productive reduces the need for programmers - ceteris paribus - is mistaken.

The degree to which the development market will expand as a result of increases in developer productivity ultimately depends on the elasticity of demand for development. But it's hard to say the market is anywhere close to saturated. This might come as a surprise to some in the HN bubble, but programming is so inefficient and difficult to engage right now that the default way for businesses to build software and software systems is through untrained office workers and consultants hacking together Excel formulas, no-code builders and workflow configurations in giant ERPs and CRMs.
I'm by no means an expert on interactive theorem proving -- I'm just a Lean user who knows a lot about how Lean works, and I got into it while procrastinating finishing my math PhD.

I think writing novel theorems directly in Lean is similar to the idea of architecting a large software system by jumping right into writing code. Certainly for small things you can just code it, but past a certain level of complexity you need a plan. Paper is still a useful tool in programming, and theorem proving is just a kind of programming.

During my PhD I occasionally used Lean to check whether some ideas I had made sense. They were more of a technical flavor of idea than what I'd usually think of a novel theorem being, and where Lean was helpful was in keeping track of all these technical details that I didn't trust myself to get completely right.

Speaking of roadmaps, one tool large formalization efforts use are blueprints, an idea developed by Patrick Massot. Here's the one for Tao's project: https://teorth.github.io/pfr/blueprint/dep_graph_document.ht... On this webpage there are also LaTeX versions of every main theorem and links to their Lean equivalents. The original paper was not formal enough to directly formalize in a theorem prover, and this blueprint represents the non-trivial additional creative effort that went into just planning out how to code it.

Speaking of Hoogle, there's Loogle by Joachim Breitner: https://loogle.lean-lang.org/

There's also an AI-driven free-form text tool that recently appeared: https://www.moogle.ai/

A funny thing about libraries saving people from wasting effort redoing things is that, while on one hand this is true that having centralized repositories of knowledge invites people to contribute to them and reuse their work, on the other what can happen is that philosophical differences can cause schisms and result in n-fold duplicated work. (Consider the endless web frameworks out there!) Even Lean could be such a duplication since there's already Coq, Agda, HOL, etc. So far, Lean's mathlib has managed to remain a single project, which I think is an important experiment in seeing if all of mathematics can be unified in a common language. Mathlib is a strange compared to normal software libraries, since its goal is to eventually consume every downstream project that's ever created. If this model can continue to scale, then that makes the question of whether something's been formalized yet or not simpler. Though, even now, there's so much code in mathlib that sometimes you need to go to leanprover.zulipchat.com and ask, and someone familiar with the right corner of the library will usually answer reasonably quickly.

One silver lining for n-fold duplication is that it's usually not a complete reinvention, and this gives variants of ideas an opportunity to explored that otherwise would succumb to the status quo. I feel that even when someone re-formalizes a theorem, it's an additional opportunity to evaluate how this knowledge fits into the larger theory.
There was lots of criticism of disprortionality in the US' wars in Afghanistan and Iraq. The US also made a point not to conduct civilian death counts and they were little reported. But what numbers did exist were absolutely important for those opposed to the war.

Just do a web search restricted from 2001 to 2007 for discussions of the civilian death toll.
Kind of, but it's calculated offline and then just accessed during the game: https://www.chessprogramming.org/Endgame_Tablebases
Main CI pain point is all the CIs have some kinda crappyness to them and you are wedded with all the yaml config that is not portable.

ArgoCD might be the way to go (run in Kubernetes) since at least it is hackable if it doesn’t do what you need or there is a bug.
You seem to have written a very misleading comment. Apple is offering privacy minded folks two options:

1. Don't turn on iCloud Backups and receive E2EE on your messages
2. Turn on iCloud Backups AND advanced data protection and recieve E2EE on your messages

This is not some kind of nefarious plan on their end. Any user service will have a vulnerability on the user end of back-ups. For instance, Whatsapp backups will also have their keys available to Apple/Google. They need to offer this as for most users, the risk of losing their whole digital lives because they forgot their passwords outweights E2EE. For users who find that important, they have the two options listed above. Sounds like an appropriate trade-off to me.
Here in the SF bay area there have recently been a lot of power outages due to fire danger where it's just for a day or so. Nobody's evacuating, nobody has to go out for supplies, you really just want to turn the lights on, cook dinner, charge your phones, and keep your fridge cold. If you can power your home from your car for a day that seems quite helpful.
Many bootcamps are (and will be) going out of business
Also 48 V semiconductors are more expensive and not so easily available.
Beeper Mini – fix coming soon
Oh that's interesting, thanks for linking it!
Just imagining some random ideas here and the use case come instantly. Imagine you have a user feedback system that has thousands of submisisons and you want to know how many are talking about a particular feature. How many are speaking positively about the product, how many seem to be asking for support rather than asking for feedback.

Being able to sort through thousands of items for basically free which would have been so laborious previously that you would not have done it. And its a use where a small amount of error does not matter.
the drawing noises instantly took me back to my kid-pix days.
Israel knowingly strikes civilian targets. There is an investigation published by Israeli and Palestinian journalists here,[0] which goes into the details of how Israel picks targets.

The long and the short of it is that:

a. Israel does not care how many Palestinian civilians die in its air strikes this time around.

b. The Israelis actually positively want to inflict a huge amount of pain on the Palestinian population in this conflict. That is one of the political goals, in order to demoralize the Palestinians. Israeli officials have publicly said that they want to teach the Palestinians a lesson that they will remember for 50 years.

If you just listen to the vicious, dehumanizing way Israeli politicians and media talk about Palestinians, and look at how indiscriminately Israel is bombing Gaza, all the claims by internet commentators that Israel is trying to minimize Palestinian civilian casualties look absurd.

0. https://www.972mag.com/mass-assassination-factory-israel-cal...
It looks like reskinned no man’s sky to me. Especially with the focus on exploration and procedural generation.

No man’s sky has its problems, players complain about grinding or that despite procedural generation things get boring.

To consider a new game, I’d love to hear how they’re going to approach these aspects. For all I know right now, this could have been no man’s sky dlc.
OCD is so more than handwashing. As a historian with OCD, here's my take
I dumped the tests into both Bing Chat and ChatGPT and they both refused, but they didn't refuse in a way they normally do, so my guess is that the topic is especially hard banned.

Trump isn't hard banned, I had it previously generate a commit message in the style of Donald Trump, and it work (and was hillarious).
Ask HN: Whats up with InfoQ submissions on HN?
Hey all,

I noticed that practically no submissions from InfoQ.com on HN get any engagement at all. Almost no comments, no upvotes. And by looking at the search results there must be thousands of submissions.

I read their stuff occasionally and find interesting things there from time to time. So Im wondering:

Is InfoQ considered low-quality / low-standard? Why?
Prismic.io is increasing our price by *1900%* over Christmas
Toward three-dimensional DNA industrial nanorobots
I doubt that. I think Tesla the business would be better off without him. That said, the stock is ludicrously overvalued, which must be largely due to his cult of personality. So if employees are concerned about their options being devalued in the short term, I could at least see the possibility. On the other side, I'm sure Tesla employees lean left, so I doubt most are fans of Elon. I'm not sure the financial motive alone would be enough to engender this sort of reaction.
Construction business
The LEAF batteries are air-cooled (not particularly well, especially as compared to liquid cooled batteries that most other pure EVs use). They’re also relatively small, meaning typical use will cycle them deeper than a car with 3x the range.

As a result, they lose capacity far faster than other mainstream EVs.

I’m a 2015 LEAF owner for almost exactly 9 years. In that time and only 25K miles, I’ve lost a little over 15% of the battery capacity. A Tesla would have lost about 2-3% over similar service. (I also feel the loss quite a bit more, starting with a range that was optimistically estimated at 85-90 miles when brand new.) The 2015 packs were supposed to be better than the older gen batteries (and probably are), but it’s still a pretty poor design if longevity and range retention is your priority.

I also had the pack disassembled and a module changed under warranty after it degraded much faster than the sibling modules.

Despite all that, I do enjoy most aspects of the car; we live in a city and have plenty of very short-range trips where the car is quite nicely matched and pleasant to use.
Egad. We really need to be breaking these back down into oil or syngas and resynthesizing new plastics from that.
> The Palestinians have been offered a state multiple times ...

No Israeli government has yet offered the Palestinians a sovereign state. The offers that have been made have been for some sort of entity with limited autonomy, but under effective Israeli control. The Palestinians have not simply "walked away" from negotiations. They have repeatedly tried to negotiate something better. After the Camp David negotiations broke down, the Palestinians returned to negotiate at Taba. Those talks ended because of the upcoming Israeli elections (which were won by the hard Right, which absolutely opposes any Palestinian state).

If you go back and read about the history of the Oslo process, the Israelis systematically reneged on their promises throughout the 1990s. The PLO made major concessions which were not reciprocated, and it ultimately got nothing.

Israel didn't just make peace with Egypt out of the goodness of its heart. Egypt gave Israel an enormous scare in the 1973 war. That experience made the Israelis realize that it was possible for them to lose a war against Egypt in the future. The Israelis have no such fear of the Palestinians now. If the Palestinians had an army like Egypt, things would be very different.

Israel is also able to make peace with Egypt, Jordan and the other Arab states because Israel doesn't covet their land. But the desire to have all of historic Palestine is fundamental to Zionism, and Israel never intends to leave the West Bank and East Jerusalem.
> Nothing "directly" runs on 12V either.

Motors, bulbs, relays.
> Warum reisen wir? Auch dies, damit wir Menschen begegnen, die nicht meinen, daß sie uns kennen ein für allemal; damit wir noch einmal erfahren, was uns in diesem Leben möglich sei.

-- Max Frisch

> Why do we travel? Among other things to meet people who don't presume to know us once and for all, so we might experience once again what is possible for us in this life.
That's because they've hardly changed anything from the previous game in order to make this, which will be obvious to anybody who has played NMS much. I appreciate the effort they've put into improving the game over a decade but I'm really not sure anybody wants to play the same game but basically on a smaller scale and with what appears to be the same limitations and visual style. I hope for their sake that I'm wrong.
Davx5 can sync contacts, calender and task lists to your dav server.
There are a few apps for tasks in fdroid.
Osmand is my favourite navigation app.
in fdroid there is fennec, an rebranded firefox.
It's impossible to judge the merit of the locals' antagonism without at least some information about the new billionaire city plan. The article provides none. Does anyone have a link?
A Linux phone might not be the best bet, yet. Especially if this is a daily driver. Any "degoogled" phone should be able to access f-droid and get the task app (I use the same app on my degoogled phone).

I think you should start by verifying what phones/bands your operator/network supports. From that list you can check which devices support alternative ROMs.

GrapheneOS is for Pixel phones and is viewed as the "best bet" right now for a variety of reasons. It ships without GSF or alternatives. That may lead to some issues with a handful of apps. I might be wrong here, but I think there are still some tap-to-pay apps that won't work on GrapheneOS and maybe banking apps (??? double-check that claim).

If you don't go for a Pixel and still want to change ROMs, there are options: Lineage, Calyx, /e/, Omni. Bliss, Arrow, iodé, Divest, Replicant, Paranoid, Pixelexperience,...

If that doesn't float your boat, any phone can be partially degoogled without root access. Ok, "degoogled" is a strong word here... But, using ADB you can get rid of lots of Google stuff in terms of apps, the underlying Google services will remain. That is a good starting point though. If you can handle a partially degoogled device without maps, YT, play store, etc., then moving to another device will be easy.

Even after degoogling, many apps will still be available. Signal provides the APK on their site, Anki can be used for Japanese, Aurora store helps out a lot here.
>And then no capacity was added

That's because capacity in the West was never lacking.

Italian and New York hospitals were overwhelmed because a) both places put sick elderly into old age homes. (42% of US COVID19 deaths in 2020 occurred in old age homes!) b) Like elsewhere early on, doctors put everyone serious onto ventilators in a mistaken belief that they should treat patients like they do ARDS cases based on blood oxygen levels. This damaged healthy lung sacs and caused long-term dependence on mechanical respiration that doctors found almost impossible to wean patients from, and other side effects like deep vein thrombosis; Nick Cordero is an example. (This article from April 2020 <https://www.statnews.com/2020/04/08/doctors-say-ventilators-...> was completely vindicated in retrospect.) Neither happened after the first few months.

And no, none of those field hospitals built in parking lots and stadiums everywhere were used, either. In Wales, for example, Millennium Stadium was converted into a temporary field hospital with 300 beds and capacity to expand to 2000 beds. It was such a big deal that a public contest was held to name it Dragon's Heart Hospital <https://en.wikipedia.org/wiki/Dragon%27s_Heart_Hospital>. However, said hospital never had more than 46 patients at one time, and was closed in six weeks for lack of use!

Even in NYC, which really did see overloaded hospitals briefly in March-April 2020, USNS Comfort treated a total of 179 patients. USNS Mercy treated a total of 77 patients in LA.
TagSpaces is an offline, open-source, document manager with tagging support
> “Grok is designed to answer questions with a bit of wit and has a rebellious streak, so please don’t use it if you hate humor!”

So it's a run-of-the-mill, perhaps okayish LLM-based chatbot prepped with some custom instructions to give it its comedic and dark edge.

Instead of demonstrating the ways in which it might outperform or outsmart other chatbots, instead of showing the ways in which it might, somehow, be technologically differentiated from the other plentiful LLMs out there, this is what gets presented? A bunch of custom instructions which asshole-ifies its responses?

I want to say I'm surprised. But I'm not surprised, and I'm sure it'll raise cash "because Elon".
The fact that they claim to be "close to a fix" makes me think this isn't some obliterating change made by Apple. How long they continue the game of cat and mouse is a different question.
You mean the resin identification code? Which has nothing to do with recyclability, despite its shape.
> The documents are written on simple copy paper and lack any kind of security features.

Wait, sorry, sorry, sorry, hold up, full stop...could you repeat that again?

These orders arrive AS GODDAMN PAPER PRINTOUTS?!?

Am I to understand that official orders that instruct telco providers to provide the private communication data of people, are transmitted as smushes of pigment on thin pieces of wood-paste, instead of a digitally signed file that the recipient can trivially verify with the ordering entities public key?
You mean the San Bernardino terrorist where Apple refused to break open the phone for the US government?

And recently, they've released an updated version of cloud sync that doesn't even let Apple have your keys.
To be fair, all computing business from the 1980's was vertical integration, the exception being CP/M, the university folks porting the UNIX tapes into their vertical integrated mainframes, and Compaq getting lucky on how they reverse engineered IBM PC's.

CP/M systems eventually died, UNIX startups created by some of those university folks were just as vertically integrated as the mainframes they replaced, leaving only the PC clones.

Had Compaq not gotten lucky, and today's computing landscape would look much different, probably like the laptops and all-in-one PCs that are being pushed nowadays as the OEM margins cannot get any thinner.
(blog post author here)

Most of actual research I've seen (i.e. papers) are not Unity/Unreal, they rather are CUDA/Python.

The "Unity Gaussian Splatting" is not a research per se, just integration of that existing technique into Unity. As for why Unity, well yeah that's because I have experience with it, and am comfortable using it.

There's many other people experimenting with in in web ecosystem (WebGL, WebGPU, three.js, aframe etc.), that you can say is properly open source.

Blender as is right now is lacking certain functionalities to efficiently do gaussian splatting. However, for upcoming Blender 4.1 several pieces are landing - I have extended PLY file importer to be able to import custom attributes (as needed by gaussian splats), someone else contributed APIs to be able to write compute shaders from a Python addon. Once various pieces like that are in place, someone could indeed make a decently performant gaussian splat add-on or something.