skysight-inc/HackerNews huggingface dataset:
> The lock has a timeout (i.e. it is a lease), which is always a good idea (otherwise a crashed client could end up holding a lock forever and never releasing it). However, if the GC pause lasts longer than the lease expiry period, and the client doesn’t realise that it has expired, it may go ahead and make some unsafe change.

Hold on, this sounds absurd to me:

First, if your client crashes, then you don't need a timed lease on the lock to detect this in the first place. The lock would get released by the OS or supervisor, whether there are any timeouts or not. If both of those crash too, then the connection would eventually break, and the network system should then detect that (via network resets or timeouts, lack of heartbeats, etc.) and then invalidate all your connections before releasing any locks.

Second, if the problem becomes that your client is buggy and thus holds the lock too long without crashing, then shouldn't some kind of supervisor detect that and then kill the client (e.g., by the OS terminating the process) before releasing the lock for everybody else?

Third, if you are going to have locks with timeouts to deal with corner cases you can't handle like the above, shouldn't they notify the actual program somehow (e.g., by throwing an exception, raising a signal, terminating it, etc.) instead of letting it happily continue execution? And shouldn't those cases wait for some kind of verification that the program was notified before releasing the lock?

The whole notion that timeouts should somehow permit the program execution to continue ordinary control flow sounds like the root cause of the problem, and nobody is even batting an eye at it? Is there an obvious reason why this makes sense? I feel I must be missing something here... what am I missing?
Is Russell aligned with Ludwig Wittgenstein’s statement, "The limits of my language mean the limits of my world."? Is he talking about how to communicate his world to others, or is he saying that without language internal reasoning is impossible?

Practically, I think the origins of fire-making abilities in humans tend to undermine that viewpoint. No other species is capable of reliably starting a fire with a few simple tools, yet the earliest archaeological evidence for fire (1 mya) could mean the ability predated complex linguistic capabilities. Observation and imitation could be enough for transmitting the skill from the first proto-human who successfully accomplished the task to others.

P.S. This is also why Homo sapiens should be renamed Homo ignis IMO.
They sure can.
This ^

We can’t all have the latest EPYC processors with the latest bug fixes using Secure Enclaves and homomorphic encryption for processing user data while using remote attestation of code running within multiple layers of virtualization. With, of course, that code also being written in Rust, running on a certified microkernel, and only updatable when at least 4 of 6 programmers, 1 from each continent, unite their signing keys stored on HSMs to sign the next release. All of that code is open source, by the way, and has a ratio of 10 auditors per programmer with 100% code coverage and 0 external dependencies.

Then watch as a kid fakes a subpoena using a hacked police account and your lawyers, who receive dozens every day, fall for it.
> while most of the queries could also be translated to relational SQL, Cypher's linear construction using WITH clauses is far, far easier to reason about, IMO.

https://prql-lang.org/
I’m 56 and have almost never gone to a doctor in my life other than in recent years for routine checkups and blood tests for prostate cancer (family history). Never been on meds (maybe antibiotics briefly once many years ago?). Lived most of my life outside the US though, and have always focused on a healthy lifestyle. I might just be genetically lucky but I’m convinced lifestyle has a lot to do with it (and not waiting to switch to a healthy lifestyle in your 40s)
The problem with this site/all of these indicators is you could/would use these as a reason to 'sit out' and not be as "highly exposed/long" as you should be, and... you would have missed out big returns lately...

Which goes into... do the suggestions/rules of yesterday apply to today? Evidence sort of at the moment shows no.
Does ChatGPT have storage options now? Seems like you would need that unless you paste the output into a doc and reupload it.
Because every person in here who’s actually used jj is telling you straight up that it’s less complicated.

Using jj is less complicated in—as far as I can tell with six months of conversion—actually 100% of the time. I spent one day adapting and maybe two week of having to look something up every other day. And now all of git’s infamous pain points are gone.

There is no index. There is no stash. Rebase conflicts are (and rebasing in general is) no longer painful. Jumping between work is a no-op. Fixing up earlier work is a no-op. There are no modal “interim” states like during conflicts where you have to abort or continue to get back to normal.

You don’t have to be a git god to run into the many sharp edges of git, and all of the “but my workflow is simple” comments break down upon even cursory inspection. Everyone’s workflow is simple until a rebase goes wrong, or they unstash in the wrong branch, or they need to unfuck an earlier commit, and that list goes on and on. And when you’re in these states you have no practical way to save or persist incomplete work.

Jujutsu is both more powerful and simpler, and I say that as someone who knows git inside and out and who’s used it pre-GitHub.
Defensive driving is to assume they might not check their blindspot, etc. And just generally ease off in this situation if they would merge in tight if they began merging now.
Does anyone have any other opensource recommendations?
Thanks for this Reddit link.
I've wondered about the networked vehicle communication for a while. It doesn't even need to be FSD. I might be slightly wrong on this, but I would guess most cars going back at least a decade can have their software/firmware modified to do this if the manufacturers so choose. I imagine it would improve the reliability and reaction-times of FSD considerably.
Japan’s is the greatest in the world, for one.
I sent them a resume almost a year ago, and got nothing back in response until yesterday. Looks like they are going through their backlog right now to find more hands.
also looks like current quic performance issues are a consideration, tested in section 4. :

> The performance gap between QUIC and kTLS may be attributed to:

- The absence of Generic Segmentation Offload (GSO) for QUIC.
- An additional data copy on the transmission (TX) path.
- Extra encryption required for header protection in QUIC.
- A longer header length for the stream data in QUIC.
If you haven't been following it, I recently found out that it is now supported in a limited capacity by Google Spanner[0]. The openCypher initiative started a few years back and it looks like it's evolved into the (unfortunate moniker) GQL[1].

So it may be the case that we'll see more Cypher out in the wild.

[0] https://cloud.google.com/spanner/docs/graph/opencypher-refer...

[1] https://neo4j.com/blog/cypher-gql-world/
Yet another open source Spotify client, written in Go
Your comment is very similar to past comments in HN where the user was sadly not being sarcastic (generally people with defeatist attitudes). Please use the widely-accepted sarcasm symbol. Example:

(Insert sarcasm here.) /s
I’m sorry to belabor this but you probably don’t know how growth and death cycles work.

Every day people churn in and out. As more churn out for audiences less new ones come in. Therefore it dies.
In some cases they do appear to delete, on request.

edit: "Other types of removal requests may also be sent to info@archive.org. Please provide as clear an explanation as possible as to what you are requesting be removed for us to better understand your reason for making the request.", https://help.archive.org/help/how-do-i-request-to-remove-som...
> Every single engineer has to start over in their mastery experience by learning all the new quirks and issues, and all the tools, libraries, pipelines need to be rewritten.

I was a git power user. I became comfortable enough with jj to replace git entirely in one day.
> He gets basic facts wrong in his blog though.

No, he doesn't. He references the $47 as 'murky legality'. What he's stating is clearly illegal is the $1M lottery also announced by Musk.

And Musk does what he wants regardless of lawyers. Remember when he tried to back out of buying Twitter...
> The auto add feature is configurable these days though, so if you don’t like it, you can turn it off.

That's one of the workarounds I had in mind. :)

This week I've had to work with CSVs, SQLite databases, and video in... six... different formats. Some goes in the repo, some doesn't.

It seems like my choices are:

- Disable it in the repo's .jj/repo/config.toml.

- Get people that don't like it to turn it off.

- Get people to do their exploratory coding in a gitignored directory.

It feels like any choice I make is going to be met with resistance.
It's a lot easier to contain coins vs sand, though.
HW4 is a ridiculous requirement, it’s only post 2023 and even then except Model Y, there’s no HW4.

FSD in Nov 2023 is not latest but it’s not that old, I guess it’s not in the 12 series which is much better but no need to not investigate this.
And if you grew up with the 2D version you probably resent it to this day.

When I bought Minecraft, I didn't like a lot of the changes they were making and thought the game was already good the way it was. Why does there need to be an alternate reality, this new ore that's only useful for making things blue, and people spamming chat asking everyone to sleep at the same time?

Years later, I found out I'd bought it only a matter of weeks after they added this new ore that's only useful for making logic circuits, weeks after they redesigned the logic circuits, weeks after they added mob spawners to the game, weeks after they added minecarts to the game. In fact I think the minecart test video was still the most prominent thing on the Minecraft homepage.

I still think hunger was the beginning of the decline though. I signed up for a resource gathering and building game, not a nighttime survival game. Or possibly the beta 1.6 minecart booster fix where they took away a way to build creative mechanisms for the sole reason of "that's a bug and we fix bugs".

(Fun fact: the fix is one extra line of code that, last I checked, still brings back the creative mechanism building possibilities if you remove it)
I have always pronounced lib like the word liberal.

I was mind-blown the first time I heard someone pronounce etc as "et-see".

et-see rolls off the tongue so much better than ee-tee-see that it makes perfect sense now.
KDE Connect is great, but not for this use-case. SyncThing was absolutely the choice for automated syncing of files between Android and PC. KDE Connect just doesn't do that (AFAIK). The two tools serve pretty different purposes.
In theory yes. In practice I’ve had it enabled since it was first released and it helps… some?
This reminds me of a short scifi story I recently read, "Touring with the Alien" by Carolyn Ives Gilman. I hope it's not too much of a spoiler to say it explores the idea of a visitation of Earth by aliens who are tremendously advanced but unconscious. Personally I can't quite come to terms with such a thing, but it's a neat story. Freely available from Clarke's World: https://clarkesworldmagazine.com/gilman_04_16/
What does it process it from and what does it process it to?

Is it programmable or you have a concrete concept theorised?

What is it useful for?
How it helps business in saving cost or increasing profit?
Is it a hobby project?
Don't forget SizeUp too!
I’m confident that for every grumpy down voter that thinks they’re on Reddit, there a few others that will upvote an honest question that is getting downvoted to counteract. So Ms. Grumpy Redditor had the opposite of the desired effect.
That's discussed in this paper: CommonLoops: merging Lisp and object-oriented programming https://dl.acm.org/doi/pdf/10.1145/28697.28700

CommonLoops was proposed by Xerox to be the OOP system of Common Lisp in the standardization process. It was then decided to design a new system called Common Lisp Object System (CLOS), starting with a merge of the features of New Flavors (MIT/Symbolics) and CommonLoops (Xerox). Xerox implemented CLOS by modifying its CommonLoops implementation, during the standardization process. Thus Portable CommonLoops (PCL) was eventually the prototype CLOS + MOP implementation.
Some say that .io is doomed, because they don't want a second .yu chaos where multiple countries fought over the .yu domain.
script kiddie or blackhat hacker is irrelevant. IA has shit security practices, and that's a fact regardless of who figures that out
Hey,

Good luck with your product!

I have a question based on your product demo video. What's the connection between making a video and a person's weight?
Why we would like to keep these data together?
Didn't look too deeply, but one of the keys with Cypher (at least in the context of graph databases) is that it has a nice way of representing `JOIN` operations as graph traversals.

MATCH (p:Person)-[r]-(c:Company) RETURN p.Name, c.Name

Where `r` can represent any relationship (AKA `JOIN`) between the two collections `Person` and `Company` such as `WORKS_AT`, `EMPLOYED_BY`, `CONTRACTOR_FOR`, etc.

So I'd say that linear queries are one of the things I like about Cypher, but the clean abstraction of complex `JOIN` operations is another huge one.
That's true, but something like archiving the internet is very costly, IA has an annual budget in the tens of millions.
I have used git since pre-GitHub. I have written an implementation of git. I have given talks on git at local users’ groups. I am awed by the underlying data model of git and deeply appreciate it as an incredible innovation. I still think that it’s an amazing foundation to build a great VCS on.

I learned jj in one morning and will never go back to git.
>>> Why Arduinos in particular?

This is a good question. I think that "Arduino" means a couple of different things, and it's sometimes hard to guess what someone means from context.

There's "Arduino" the old 16-bit MCU board, and there's "Arduino" the development platform supporting a huge ecosystem of MCUs, libraries, and accessories.

For instance, I use the Arduino IDE, but with a variety of dev boards to suit my needs. For my work, I don't need to cost-engineer anything, so I'm satisfied with pre-made modules that I plug into my own application boards.

A lot of engineers dismissed Arduino long ago, and are utterly unaware that the broader ecosystem even exists.

I don't object to a beginner choosing the original Arduino board, for which there's huge amounts of tutorials and documentation. And then, maybe graduating to a more performant board if they take an interest in more advanced or specialized projects.
IA is in bad need of a leadership change. The content of the archive is immensely valuable (largely thanks to volunteers) but the decisions and priorities of the org have been far off base for years.
In a perfect world, what Syncthing does would be handled at the OS level and all OSes would seamlessly interoperate. In the real world the OS vendors are hostile to interoperability so the only way to get that is with a third-party tool that has OS-level access.
Do we send Boeing engineers to jail when their plane crashes?

Intention matters when passing crime judgement. If a mother causes the death of her baby due to some poor decision (say feed her something contaminated), no one proposes or tries to jail the mother, because they know the intention was the opposite.
GPT-o1 does demonstrate my point: the more compute you have, the smarter the AI.

If you run chain of thoughts on an 8B model, it becomes a lot smarter too.

GPT-o1 isn't GPT5 though. I think OpenAI will have a chain of thoughts model for GPT5-class models as well. They're separate from normal models.
Yes! I’m planning to add Designshots to Firefox in the future. For now, focusing on improving the Chrome version, but Firefox is definitely on the roadmap! Stay tuned!
This list stinks of a Windows user's unbudging perception of a system they don't like. You don't have to like it but anyone can create a list of dozens and dozens of these nitpicks against Windows or any Linux DE if they tried.
We made a health backend partly using Cypher and the only thing I found was the simple queries looked amazing, but as soon as you need to join non-linearly it started looking a lot like SQL again. And when you're using an ORM it stops mattering. And when you need migrations it gets painful!
Clearly we haven't, given that there is very little agreement as to what intelligence is. This is just my definition, although there's a lot behind why I define it this way.

However, I do think that a meaningful intelligence comparison between humans and dolphins, etc, would conclude that we are more intelligent, especially based on our reasoning/planning (= multi-step prediction) abilities, which allows us not only to predict our environment but also to modify it to our desires in very complex ways.
>Conversely, the main tenet of illusionism is to deny the existence of phenomenally conscious states. For an illusionist there is “nothing it is like” to be in any mental state. Proponents of the theory only accept “quasi-phenomenal” states and properties, which are purely physical, but misrepresented as phenomenal by our introspective mechanisms.

>While it is no longer a question of understanding the magic itself, we still have to explain how it happens. The “hard problem” has been replaced by the “illusion problem”. It consists in explaining why it seems to us that we are phenomenally conscious

Lol. "why it seems to us that we are phenomenally conscious". Maybe because we are phenomenally conscious? The very subjective experience of pondering whether we are phenomenally conscious, or for that matter the subjective experience of anything else whatsoever, is already proof sufficient that we are phenomenally conscious because it is an example of phenomenal consciousness. Granted, maybe there are some good defenses of illusionism out there, but based on this text it seems to me that illusionism is just a sort of hail mary pass attempt to save reductive physicalism by deploying a bunch of hand-waving and deceptive semantics.
They did, it was the Magic Touchbar and the internet whined relentlessly about it.
Ok, an edge lit LCD with "4000:1" contrast, 350 nit, is nowhere in the ballpark of a QD-OLED display. This isn’t even SotA for LCDs. This has no HDR display capability, no VRR. PQ wise it will be smoked by even some $300 Black Friday specials. It runs the same Tizen OS as the consumer TVs, and will still be annoying, just maybe not in all the same ways.
This isn’t even close (and anything running Tizen is arguably not completely "dumb") and is precisely what I’m saying. If there really is something comparable, then why didn't you just link to that?

On the other hand it won’t burn in, just color shift. It’s built for a different purpose (digital signage), neither movies/entertainment or gaming.

I maintain there’s a very small consumer market for those willing to forgo a decade (but even 1 or 2) of flat panel advancements just to not leave WiFi or Ethernet off. But good luck to anyone who tries.

LG used to make a commercial HDR OLED large format in one size (65 inch), it's was $20k, now $10k for new old stock. Still not as bright as newer consumer displays (it's 3 gens behind), therefore not great for HDR, and no VRR. It's just not a market.
> While The Sirens of Titan was a deeply cynical view of war, GHQ is deeply uncynical. In fact, his own pitch letters note that Vonnegut thought GHQ would be an excellent training aid for future military leaders, including cadets at West Point. How are modern audiences to reconcile those words from the same man who wrote Cat’s Cradle?

As we all know, authors can only write things they themselves believe wholeheartedly, and veterans have uncomplicated relationships with war. In general, people only hold simple, consistent positions that are legible to others. That's especially true if those people are introspective, creative types. So I agree, and this is a head-scratcher for me just like it is to the author of the article.
Are pg_upgrade's docs inaccurate?

It says it works "without the data dump/restore" and...

> Major PostgreSQL releases regularly add new features that often change the layout of the system tables, but the internal data storage format rarely changes. pg_upgrade uses this fact to perform rapid upgrades by creating new system tables and simply reusing the old user data files

Regardless, I suppose it is that reliance on the unchanging of the internal data format which is limiting what refactors can do.
It doesn’t force you to use any of the extra functionality. My team has been using it just for the version control part for a couple years and it has worked great.
> Usually people make the change, not technology (it wasn't machines protesting and overthrowing governments in Eastern Europe in the late 1980s, for example

One of the triggering events of 1989 was a Japanese man walking to a university in Prague, putting a box of new modems in a student lounge and walking away.
The RAISE specification language, method, and tools
The perfect setup. By the time an incident in the “current” software is investigated, it will be outdated. All Tesla has to do is a rev a software version and ignore all incidents that occurred prior to it.
This was really interesting. I don't love the fading out to solve the moire in the final solution. I wonder if some dithering would feel better and give the impression there are lines out there rather than a smooth gray surface? Or maybe some jitter to break up the pattern?

This isn't shown in the post, but sometimes the moire feels worse if you are walking around and the moire has a movement of its own (either flickering/shimmering or sweeping across in uv space), and it's probably a decent benefit to get rid of the moire even if it's imperfect.
It's my phone. It's my data. It's my choice to install the app. It's my choice to grant the permissions to all files. Because guess what, I'm using the app to sync all my files.

I really can't agree with Google in this particular case.
I think the argument is in whether "thought" only applies to conscious articulation or whether non-linguistic, non-symbolic processes also qualify.

We only consciously "know" something when we represent it with symbols. There are also unconscious processes that some would consider "thought", like driving a car safely without thinking about what you're doing, but I wouldn't consider those thoughts.

I find an interesting parallel to Chain of Thought techniques with LLMs. I personally don't (consciously) know what I think until I articulate it.

To me this is similar to giving an LLM space to print out intermediary thoughts, like a JSON array of strings. Language is our programming language, in a sense. Without representing something in a word/concept, it doesn't exist.

"Ich vermute, dass wir nur sehen, was wir kennen." - Nietzsche, where "know" refers to labeling something by projecting a concept/word onto it.
What are your needs?
Yes, they stamp/press it and the deformation of that process is also used to fit the inner to the outer part on the 1 and 2 Euro coins.

See this German children's program: https://youtu.be/nBuSmbcp1AE (seems to only have German subtitles, but they are quite visual)
No, polarized sunglasses work fine. I drive into a setting sun probably once a week to no incident.