skysight-inc/HackerNews huggingface dataset:
i don't believe that will work reliably. cron risks moving a file that is not complete or a race condition where the complete file is moved away before synching verified that it is complete causing it to transfer it again. this can be avoided by only moving files that are a few minutes old but issues like this just make the process more brittle.

i want to use a tool that is reliable, not hack together a custom solution. if i did that, why even bother with syncthing?
I think it’s widely accepted that refactors should not change behavior. That’s my experience, at least.
The only interesting boards from the raspberry foundation are the zero and pico series imho.
Don't understand.

How does doing real world experiments to test your hypothesis not help with the very common problem of being wrong?

> It's not the way science is done any way.

That's a very sweeping statement - especially since the scientific method is quite a catch-all phrase.

In the end science is driven forward by new data, gathered either intentionally or incidentally.

Self-driving cars can continue to learn because they are continually generating more data. Advertising algorithms can continue to learn and adapt as the campaigns they create are in effect experiments - and some are even well designed.

I suppose large language models can continue to learn by chatting to humans - but they are potentially only learning how to please humans, not necessarily underlying truths.
This is also very important for lorry drivers, to the extent that there's all sorts of tracking and enforcement for how long they're driving. But in this case it sounds like poor staff management: this isn't a convenience store running on zero-hour contracts, they should have a shift plan in place that provides adequate cover before even leaving port.
We don't need "more" data. We already have all the data we need in terms of quantity. We don't need more "synthetic" data for supervised learning. We need better training algorithms that go beyond minimizing token level loss.
The article says 90% of collected data. Not 98% of all internet.

> discard as much as 90% of the data they initially collect for training models.
People who cannot consume drugs or walk topless in the street aren't free either.
That's all a blog should need.
For example, here it is in Coq (not using -- but instead replicating explicitly -- the built-in definitions of 0, 1, 2, +, or =).

Inductive eq' {T: Type} (x: T) : T -> Prop :=
| eq_refl': eq' x x.

Inductive nat' :=
| zero
| succ (n: nat').

Definition one := succ zero.

Definition two := succ (succ zero).

Fixpoint plus' (a b: nat') : nat' :=
match a with
| zero => b
| succ x => succ (plus' x b)
end.

Theorem one_plus_one_equals_two : eq' (plus' one one) two.
Proof.
apply eq_refl'.
Qed.

As you allude to, there's also the underlying type theory and associated logical apparatus, which in this case give meaning to "Type", "Prop", "Inductive", "Definition", "Fixpoint", and "Theorem" (the latter of which is syntactic sugar for "Definition"!), and allow the system to check that the claimed proof of the theorem is actually valid. I haven't reproduced this here because I don't know what it actually looks like or where to find it. (I've never learned or studied the substantive content of Coq's built-in type theory.)

We would also have to be satisfied that the definitions of eq', one, two, and plus' above sufficiently match up with what we mean by those concepts.
> . By the time I am ready to post a question after having done my homeworks, I know it is either an unfixable bug or out of reach for most if not all users, and the probability of getting an answer is very low.

And even then it gets marked as duplicate of something unrelated.
I dont know a lot about the brain but I do know that people that research modeling brains have used models in which there are two types of things to think: declarative things AND procedural things. See SOAR and ACT-R.

The caveat here is to which extent computers have tinted their models of a brain, but they are professional cognitive researchers so I’d give them the benefit of the doubt :)
That's the definition most people use.

https://www.google.com/search?q=refactoring%20definition
What P vs. NP is actually about [video]
Ah, excellent! Congrats again!
While I agree with most of the assessment, I think that checkbox is fine. Removing the set of motorized haptic control levers and the motorized steering wheel at the brigde is a problem. Had the designers needed to integrate the feedback forces, they could have visualized them on the gui only stations too.
"Understanding the music" alone isn't helpful unless you know what features are relevant for recommendations, and these must be learned from meta- and usage-data.

Genre, tempo, key, vocalist sound, instruments, and so on. These might all be relevant in different recommendations, at different times, in some particular order depending on the user. The music-content in effect only serves to align tracks along lines in the embedding space.
Undercover report – Albania caused energy collapse in June
If the enemy is using ICBMs you are very likely to get yours launched well before their weapons make the first impact. If that weren't true, then the high flux conditions do not last for a substantial period, so you're describing a problem that would occur if an enemy warhead hit at the precise moment yours was leaving the silo. Your enemy cannot possibly have this precision in timing.
Yes I've been doing the same in bandcamp. If I find something I like, I click on interesting user thumbnails (in the "have it in their collection" section) and listen to some of their collection or wishlist. If this resonates with me I follow them, check out more music and then can jump right to the next user.
I think this is the actual wtf, along with the transfer ui:

> The transfer of thrust comes with an additional level of complexity because the propellors must be transferred one at a time. Half way through a transfer the boat is in a situation where one propellor is controlled by one station and the other is controlled by someone else. At this moment the checkbox labeled “Gang” is automatically unchecked.

Absolutely no surprise that in a moment of panic, the thrust controls end up spread across multiple stations. Why is this even a feature? Not a sailor so just armchair commenting, but in what situation would that be beneficial?
It's been awesome working on this project. Proud to have contributed to creating a tool we believe will make a big difference.
I hope we get a mac client for this at some point - travelling with two laptops sucks, so bringing a NUC I could remote into with good performance would be a huge win.
Opening paragraph is weird. Tacks on the road is not a dirty cheating trick but vandalism, potentially basque regional 'terrorism'. And motors has only been found use once (1) used by a junior rider, its a non-issue and everyone saying its not are spreading fud. If anything cycling is one of the sports with the least cheating. Even doping is minuscule now compared to most other sports.

This is gear shifter hack also not going to be an issue. If you wanted to ruing your rivals, you'll just pass them a bottle with trace amounts of growth hormones and their career is over. That doesn't happen, again showing that illegally cheating to destroy your opponents is super rare in cycling.

In the end its much easier to get a helper to crash out your rival than sitting ready hack him in the final sprint and hoping its just down to him and your own rider. Or just hack the whole sprint field and hope it wont get investigated I guess.
What Is Gemini Live and How Do You Use It?
Ok, so glad to hear that from you directly! Thank you for all the value you’ve put out there for free!

About the codebase part, I don’t have any need for it so I’m not affected by this, but I wonder if it was possible to keep the current state of the code frozen in a public repository and only make private the future work.

That’s how I did it on Lunar, that’s also how the BetterDisplay dev did, it was a good compromise so as to not steal anything that was already free. But of course we don’t have the same business model or licensing needs so I’m pretty sure I’m missing something.

The way I did it is:
- freeze the public code to a new branch “lunar3”
- make a private repo LunarPro which works exactly like the previous Lunar repo
- but on every commit the private repo syncs the code in an encrypted form to the public repo

That way, permalinks remain valid, everything that was free and accessible before is still available in the future and the branch serves as a “compilable” state without any encrypted files.

But again, I’m just one and you’re many, it might get hard to maintain this structure in a team. And some people might still find things to complain about. I know it was that way for me.
The traditional engine order telegraph https://en.wikipedia.org/wiki/Engine_order_telegraph is a beautiful piece of mechanical design. A more modern version would be aircraft-style throttle handles, which are also placed close together so that you naturally move two or four of them together with one hand movement. Reducing that to a checkbox just seems .. inadequate.
Bad web page design already detracts from the content. Complaints about bad web design are attempts to resurrect the content.
Yes, I'm being overly uncharitable, but it takes very inept research to study Mccain accident and not be exposed to the other 3 accidents, or be generally aware of the state of 7th fleet / condition of sailors from any of the reports. 4 major accidents do not happen in that specific fleet (out of 7) because of UXUI, when the other 6 fleets operate the same ships. Extra side eye of commentary/conclusion reducing cripplingly bad culture around sleep to "drowsiness" because elevating UXUI / blaming checkbox works less well when operators are mentally not there. You don't UXUI truckers so they can drive safely on a few hours of sleep, you regulate how long they can drive to make sure they get enough sleep.
Totally understandable. It’s not like most OSes can handle advanced use cases like copying files
Sweden's stock of heroinists is among the oldest in Europe. The high death rate us due to (for drug abusers) natural causes.
Why would a yacht with experienced crew suffer such a disaster near to port? Surely they would have life jackets? Radios? How unusual is this as a boat accident? (regardless of the other irregularities)
Did you read the part where control over each propeller is passed separately to different station?

This does look like a very error-prone design to me
My comment is in the context of 'their own Scheme implementation'. Since they already handle some .scm files internally it's not that wild to pick Scheme over other languages as the base for plugins. It's a power user editor, Scheme should not scare them.
I use a keyboard with qmk which is quite similar to this, before that I used a bunch of autohotkey scripts. To me qmk is a better solution since it works on any computer and any programs (autohotkey struggles with some applications that I belive use lower level input handling, I cannot speak for Karabiner since I don't use it), without needing to install anything. To me is a big plus
What Are 'Mini-Retirements,' and Who Takes Them?
> defence of shipping at sea is a well-debugged thing since WWI.

When (presumably) the Royal Navy was in charge of it. Since WW2 it's been the US one that's handled it, but... Some pundits *cough*PeterZeihan*cough* have been saying for a while now that America is withdrawing from the role of World Police.
That's depth-versus-breadth anxiety. Is the body of human knowledge, everything there is to know, losing deep meaning due to becoming too broad, making it impossible to grasp everything? No. Consolidation happens. Knowledge as a whole should appear deep, not broad, you're just looking at it from the wrong end.
>ISPs are terrifying organisations

Could you explain why?
WebKit Enables WasmGC by Default
You really don't understand why editors decided to rename Agatha Christie's 1939 book Ten Little Niggers in 1985?

Or is that a "recent cultural trend" where you can understand why publishers followed the trend and made a change?

Because once someone admits that change was okay, it's no longer a question of principles and just a series of judgment calls that different people will make differently.

Publishers make changes to ensure books keep selling.

They are human and don't always make the right decision. But they aren't doing it for any reason other than profit.

My daughters are Asian I wouldn't buy them a children's book where "be Chinese" is considered an acceptable Halloween costume.

The publishers would probably prefer I consider purchasing it.
Preparing to get bought by Microsoft?
But it's not his supporters he has to convince.
As the article and the linked PDF quickly mention, cybersecurity is a concern, a really big problem difficult to solve.

A cracked traffic or car signal, a spoofed radio signal, or more simply a malfunctioning sensor from both, is something to watch out for. Then, at what point could the data received be trusted without a real trusted source like a visual of what is really happening?

Collapsing a city or causing an accident could be as simple as tricking vehicles into thinking they have another vehicle in front of them by receiving false data with the codes of legitimate vehicles or traffic signals for example.

IMHO vehicles should not react to data from third parties/external, but to a own -and mandatory redundant- sensoring data within the vehicle.

But even nowadays there are problems with this as owners of cars with automatic proximity braking systems could explain. There is also another problem, when the vehicle is connected to a network to receive an OTA or to modify any type of engineering parameter, it already has its own vector of attack, homologous to when one use the remote key to open and start the car, and the signal is captured and cracked by a third party; We didn't saw manufacturers solving this across all this years.

The article concludes like if the problem were political, a sabotage, but without explaining why the cybersecurity is a real problem.

I'm European, so I'm not sure what lobbies are involved there, for sure they exist, but if we ignore it and look at it from a technical point of view, IMHO the cybersecurity problem should be solved -which I'm not sure can be solved- before moving the money.
5 minutes later, someone will post about it on HN, explaining how we could all use this character to shield our private online writings from Big Tech's AI crawlers. 5 minutes after that, someone will change the defaults on nginx and Apache to output that character as the first character of every HTML web page.
That's right! Lit is bigger than lit-html and has a much bigger scope but adding something like lit-html directly to web components would make them much more useful out-of-the-box.
Paying doesn't guarantee anything. There are tons of examples of devs selling out even though their program/SaaS is paid.
Bingo. Problem is USnavy has large + increasing at sea staff/billet shortages, but at the same time has to (or insist on) on doing more missions with less sailors. You can build a better checkbox, but can you build a good enough checkbox to allow a lorry driver to drive 20 hours a day?
One missing factor here is that the recommendation algo is a prime spot for advertising new music, so all for profit services are very incentivised to introduce tweaks that boost the songs of clients.
$4.7B valuation targeted in Tokyo Metro IPO
I’m currently on a mini retirement myself. I didn’t know this turn of frases existed though.

I would just tell people I’ve stopped working. When they ask me if I’m looking for another job i tell them “No. Not yet.”

I recently a friend who’s hoping to sell his company next year. He wants to retire indefinite. I don’t know if it will work out for him. Most of us are not used to doing nothing. It gets boring quickly.

I was already tempted to take a simple position somewhere. Just to work 1/2 days a week. Just to have a bit of a schedule and some people to be around with. I wouldn’t want to work from home. I want it to be in an office, with coworkers in adjacent offices.
Yes it would work with both, but for the light dom it doesn't have <slot/>.

Imho lit-html is fast enough to make any vdom implementation unnecessary.
Cars are a social problem - safety, ecology, economy, city shaping, etc.
The solution goes through politics. Tech won't save us.
> A lot of the themes covered there just don't appeal to my tastes either.

Yes. That's how I feel. Sorry I didn't elucidate.

The broader point I was making is about what I see as a pipeline problem. I don't want to generalize too much but if you've also attempted to get a novel or short story published, or apply for a writing workshop/grant/fellowship/retreat so that you can work on a novel you've drafted, you tend to encounter strange dynamics that I'm not sure I can competently describe without sounding like a "reply guy".

Nevertheless, I'm … concerned that literary culture is being (already has been) shaped into something that makes the books I'm interested in increasingly rare. Either they never get published, or take longer to get published than they otherwise would, or they are self-published and don't receive the editorial attention they deserve, or are never promoted, making them harder to find and subsequent work from that author unlikely.

I don't have comprehensive data to demonstrate this and it's impossible to prove counterfactuals. But to the extent that prizes are how an industry or community presents its culture to the rest of the world, I worry about ideological capture and try to pitch different directions.
The story milks the jokes for all they’re worth.
Ilus: Consistent Illustrations Generator
Show HN: Malle − no dependencies TS lib for making text editable
No? Unless you're talking about the photocopier that randomly alters digits in the copies: http://www.dkriesel.com/en/blog/2013/0802_xerox-workcentres_...
The first quote is water, no wisdom or any useful statements. News at 11, lying people exist.

The last quote is between wrong to idiotic on many levels. Ads are a compromise needed for free media to exist and journalists to eat and are the least trustworthy part.
It's a fantastic example of good UI. Everything is discoverable and has great defaults, there are easy keyboard shortcuts for all the common actions.

I wish my PCB/schematic editor was half this easy to use.
It's hard to explain to my non-technical friends/relatives, i.e., everyone I know outside work, why I'm careful about digital security and privacy.
From what I was able to infer this is the use case of “Splitting Thrust Control During Station Transfer”

(btw I made that up just based on my reading of it. I don’t design Navy ship subsystems for a living - I work on specialized subsystems like these)

The temporarily assigning control of each propeller to different stations would require the automatic deselection of a synchronization (or "Gang") function during the transfer.

Why weren’t they properly trained on this? How did they get into this situation unknowingly?

I would assume a provided manual by the manufacturer would have trained the Sailors on how to properly perform this function.

This sounds like a more exceptional than routine use case.
I love Shapez 1, it's really a game I can recommend to people who love puzzles, planing, organizing stuff and those things. So I also tried the Demo for Shapez 2 when It released, but I kinda didn't vibed for me, the old charm is not there. I think it's because it's now 3D, and controls were also a bit wobbly and shaky at the time. Does anyone know if this has been improved till then? Or is this version just more content than the demo?
VS Code Obsolescence
We can speculate all day long how the current "AI" phenomenon will evolve but, alas, there isn't much solid on which to ground arguments.

In the oral phase of human communication "AI models" were residing within human brains: the origin of any stream of messages was literally in front of you, in flesh and blood.

In the print phase we have the first major decoupling. Whether in the form of a cuneiform tablet or a modern paperback, the provenance was no longer assured. We had to rely on "controlled" seals, trust the publishers and their distribution chains etc. Ultimately this worked because the relative difficulty of producing printed artifacts helped developed a legal/political apparatus to control the spread of the "fake" stuff.

Enter the digital communications era and we have the second major decoupling. The amount (and increasingly the apparent veracity) of generating human oriented messaging is no longer a limiting factor. This has no precedent. You can create now plausibly create a fake Wikipedia [1] by just running a model. The signal-to-noise of digitally exchanged messages can experience catastrophic collapse.

> A flood of synthetic content might not pose an existential threat to the progress of AI development, but it does threaten the digital public good of the (human) internet.

Indeed, this is the real risk. I don't care about idiot "AI" feeding on itself but I do care about destroying any basis of sane digital communication between humans.

Will we develop the legal/political apparatus to control the flood of algorithmic junk? Will it be remotely democratic? The best precedent of digital automation destroying communication channels and our apparent inability and/or unwillingness to do something about it is email spam [2]. Decades after it first appeared spam is still degrading our infosphere. The writing is on the wall.

[1] https://en.wikipedia.org/wiki/Wikipedia:List_of_hoaxes_on_Wi...

[1] https://en.wikipedia.org/wiki/Email_spam
Instant install!

Now please please make the same for Safari for macOS.
I feel(/felt) the same way about ZBrush. I bought my copy probably a decade ago and have received free upgrades since them.

Now of course they've been bought by Maxon and the price is now about 33 bucks a monnth.
oh, first time I'm hearing this sentiment against Yegge. Not a specific fan of him but curious: do you have memories / link to similar BS-like statements from this person?
“Move fast and break things” strikes again.
Sourcegraph CEO here. We made our main internal codebase (for our code search product) private. We did this to focus. It added a lot of extra work and risk to have stuff be open source and public. We gotta stay focused on building a great code search/intelligence product for our customers.

That's what ultimately lets us still do plenty of things for devs and the OSS community:

(1) Our super popular public code search is at https://sourcegraph.com/search, which is the same product customers use internally on their own codebases. We spend millions of dollars annually on this public instance with almost 1M OSS repositories to help out everyone using OSS (and we love when they like it so much they bring it into their company :-).

(2) We also have still have a ton of open-source code, like https://sourcegraph.com/github.com/sourcegraph/cody (our code AI tool).

BTW, if any founders out there are wondering whether they should make their own code open-source or public, happy to chat! Email in profile. I think it could make sense for a lot of companies, but more so for infrastructure products or client tools, not so much for full server-side end-user applications.
When Nintendo Wii motes first appeared, they were some of the few devices at the time with cheap MESM accelerometers and gyroscopes that were programmer-friendly.

I remember taping two together back to back and integrating acceleration across them. That's when I learned Kalman filters. It was accurate enough so I could throw it across my desk and measure the desk length :)
I still use Windows 95 (2005)
If people don't want their data used for training, then that's a win?
No need to fear mutable local state. Shared state is where immutable data structures really shine.