skysight-inc/HackerNews huggingface dataset:
"Are all bachelors married?" vs "is it raining outside?"

And then Quine points out that the definitions of "bachelor" and "married" are themselves contingent on outside factors.

"Can illegal immigrants vote?", while close to being an analytic proposition, still depends on an empirical approach that can never be mediated by text, video, etc. All propositions are by necessity experiential. Nullius in verba!

So the truth is and has always been what happens when you get off your butt and go out and test the world.

This is not to say that we don't benefit from language. It makes for a great recipe. If you follow the instructions to bake a cake and you get what you expected you know that the recipe was true. The same goes for the laws of science, search engine results, and generative AI.
> At geological or biological timescales, that’s what the emergence of language did

Elaborate on this idea please. Are you saying that human languages are self-replicating abstract entities?
Seems like very similar to just asking the model for a question and asking it to provide sources? Is this a realistic competitor to Google search and friends?
Reminds of the Turing Machine game from Steam
I Hate You, Please Stan Me
UK councils bat away DDoS barrage from pro-Russia keyboard warriors
Payroll employment essentially unchanged in October; jobless rate holds at 4.1%
I do brave on Android, it just works. If it's on iphone I'd use that.
> Short story: there is no Undo-Redo.

OK, fair enough, but that doesn't have to preclude autosaving.

> If you implement auto-save, users will expect every click/keystroke to be saved. [...] Simply adding a 1-minute timer will make people lose work in the last minute.

I think a nicer compromise might be a simple debounced isDirty state. If it detects any changes, wait 5 or 10 seconds. If any more changes happen in that same time, wait again (up to some sane max, like a min or few). If no further changes, create a new automatic checkpoint.

It's usually not a big deal if someone loses 10 seconds of work. It is if they lose a few hours.

> Save button plays the role of making a checkpoint, trying out something, reverting if needed. With autosave this could be ruined.

Only if you make the autosave overwrite user checkpoints. Can't they produce their own separate bin of autosave checkpoints? Word has done that for decades, as have video games.

The user can choose to revert to "Blahblah save (10/31/24)" or "Autosave (3 min ago)".

Even if it is a generational thing, it's also just good UX IMO.
Remember the semantic web where people annotate search pages with data? I think the "meta" keywords tag was the closest that ever got to adoption.

Guess why it failed? It was largely used as a way to trick search engines. Same reason as your vision of the perfectly honest and correct search engine and look chatbot will never be perfect. It's because people lie to search engines to spam and get traffic they don't deserve. The whole history of search is Google and others dealing with spam. Same goes for email. Google largely defeating spam made them the kings of the email world.

Everyone will need their own personal spam filter for the world for everything ones the artificial super intelligences fill the whole world with spam, scams and just plain old social engineering propaganda because we will be like helpless four year old children in the world of AI super intelligence without our AI parents to look out for us.

Your vision of the god system determining what is truth is like saying there will be a single source of truth for what is and is not a spam email. Not going to scale and not going to be perfect, but good enough with AI and technology. Really hope there's an opt-out though since Google had memoryholed most of the Internet.
Memory is only a con in some use cases. If the LLM goes down the wrong path, sometimes its impossible to get it to think differently without asking it to wipe its memory or starting a new session with a blank context.
Speculatively, because humans trust assurance from other humans.
From a messaging point of view, “wait until 8th” and “until at least the end of 8th grade” may as well be a mile wide difference to kids at that age, and it’s unclear to parents who want to actually follow this guideline without reading all the particulars
> "hardly-more-than-cardboard construction standards"

You are a silly person, what does this even have to do with cooking? Sorry America has got you so upset.

Do you even have a counterpoint to what I said beyond your weird hate for America? Most of the places I have traveled and lived in around the world, most people are not going out to eat for socializing but for the elimination of the labor and time it takes to cook the same meal at home. Sure socialization can play a role but thats not the prime value.
Doesn't disabling SIP weaken the security?
xAI picked Ethernet over InfiniBand for its H100 Colossus training cluster
IOMMU is my borrow checker
Can it find free to watch streams of tv shows and movies? Well Google doesn't work for that either anymore really, but I tried the russian search engine some time ago and it actually delivered.

Edit: Got the recommendation to try the russian search engine for another topic while i frustrated couldn't find anything on the common search engines and it worked. So for anyone out there looking into uncommon topics which are filtered you can give it a try.
As a layman who has been following this topic for decades and has read many popularizations by leading physicists, and had a good undergraduate education in math and physics ... I have no clue how solid the charges are. My background on this is way too weak to justify holding an opinion. I generally don't hesitate in opining about things I'm mostly clueless about but in this case my ignorance is so vast that it is obvious even to me. If the greatest physicists can't agree on an abstruse physics topic I can't imagine what the opinion of a rando web dev might add.
Bit of an unrealistic comment, this might be a choice you can make for yourself, but most people don't live alone and share their internet connection with others – I doubt telling your partner or housemates to get a new bank because of the DNS ad blocker you set up on the network will go down well.

Ad blockers pretty much all rely on community-maintained block-lists, there are always going to be mistakes in those that break some sites, or some sites might not act well when unable to send ad/tracking events. I recently had an issue booking a train, which was because of this, turned off the ad blocker and it worked fine, not something that's as easy to do with network level blocking, especially if it was set up by someone else and you're not a technical person. Not booking the train because their site is bad is not a realistic option.
You are deeply confused as to how password managers work.

Password managers—all password managers—require stored passwords to be encrypted such that they can be decrypted. Otherwise they would have no possibly way to retrieve the stored secret for the sake of submitting it to the verifying party.

Best practice for verifiers is to use a one-way memory-hard password hash.

Keychain is a password manager.
Not even that. You might want it to win, not care about the outcome or not think that it will win without putting the US through a long depression, in all those cases it makes US officials reluctant to put themselves in such vulnerable position especially given the new rising world powers
Yes, and Idris actively encouraged iterative development that was based around its holes -- the book by Idris' creator Edwin Brady, Type-Driven Development[1], is an eye-opening introduction to this style of coding.

[1] - https://www.manning.com/books/type-driven-development-with-i...
US, Israel Describe Iranian Hackers' Targeting of Olympics, Surveillance Cameras
I couldn’t find the command you mentioned “org-insert-radio-target-brackets” in my Emacs and it doesn’t appear to be in the manual[1] either. But of course it is very trivial to write, in case anyone else needs this:

(defun org-insert-radio-target-brackets (start end)
"Wraps a region with angular brackets to create a radio target."
(interactive "r")
(save-excursion
(goto-char end)
(insert ">>>")
(goto-char start)
(insert "<<<")))

(keymap-set org-mode-map "C-c n r" #'org-insert-radio-target-brackets)

[1]: https://orgmode.org/manual/Radio-Targets.html
Not only of course, but I find is a good reference point, as somebody that was right in the middle of it, got out, and has nothing to loose saying what she thinks is true. She could very well be doing videos explaining all the models she does not believe, and have much more subscribers.
Interesting, but your hypothesis assumes that 'tone' is one-dimensional, that there is a single axis you can remove. I think tone is very multidimensional, I'd expect to be removing multiple 'directions' from the embedding.
I don't really understand all the media hubbub about this. People die in private boats all the time, probably several more that week alone. But this is being treated like a major disaster and someone must be held responsible.

Is it just because it was some rich guy that died? I don't think that makes it worse in any way than any other accident where people died, to be honest.

I just don't really understand the outrage about this. When I hear that a young family is killed by a drunk driver I'm much more angry and sad. But you don't see the New York Times writing about those when they happen on the other side of the world. These people mattered too but they knowingly took a risk by camping out in the sea.
For me giving a talk to a quite camera is also a lot more exhausting. Got to make sure I remain in focus of the cam, hope the audio works and get no feedback (did the joke work? Am I too fast or too slow?)

And not being there also has the consequence that I do other things on the day and it's a lot more "in between" than focus.

All that, I assume, also reflects to the experience for the audience.
It also is bad that there is no Firefox equivalent of Electron either. That could have helped alleviate some of the problems.
Do you have an example where funding was given out with zero accountability? I've worked at a number of universities and national laboratories for particle research and they all had multiple layers of accountability. At the top of any public funding structure is congress and the president and bigger initiatives will even be line items in public agency budgets. At the bottom are the required regular reports (I had biannually) to grant monitors and often independent review panels and committees (for one big project I had to do that annually on top of reports). In the middle are people who make it their jobs to find ways to save money, get money to the most promising projects, and communicating up to elected/presidentially appointed officials and down to researchers to keep this together. Both DOE and NSF funding are structured this way and represent virtually all federal channels to get money for particle physics, both experiment and theory.

What's the funding you're referring to with zero accountability?
They're complaining because they run human written sites but they've been deranked because Google can no longer tell human content from AI. Google is now privileging sites like Forbes, USA Today and Reddit. Google wants to rank their sites but it can't distinguish their content from the ocean of AI content. They have a legitimate gripe, that Google is no longer favoring niche content sites.
https://sourceforge.net/projects/android-ports-for-gnu-emacs...
Exotic dancers and other human commodity products will still be in demand.

Until the Life-skin™ Sensubot™ lineup arrives
I understand that Apple claims that this is the case. But given their history of incompetence in the past, that claim affords me little confidence that their closed source software does not contain critical bugs that might lead to recording or exposing the users’ plaintext passwords.
Nice workaround. I just wish there was a less 'lossy' way to go about it!
Hey, X (formerly Twitter) is clearly doing great and was a good branding change that makes sense and is reasonable.
Our friends basically locked down an old phone to just the apps they approve of. Their 8-year-old is home alone for about an hour after school, and they don't have a landline.

We plugged in an old phone to a wall outlet, and just keep it locked with a pin. It allows for emergency calls. There is almost always someone home, so we don't feel the need to allow our kids to call us.

Another set of friends trusts their 11-year-old with full access.
You are right, having two buckets is probably the easiest way to solve this. Then when loading the page it'd ask what to do with the autosave version.
Your passwords are encrypted with keys stored only in the local on-device TPM.

This is a pretty lame windmill to tilt at.
Well, that people are really smart. Also I do bot think is bad faith. It just seems to not deliver all the answers we would like.
Show HN: Serverless Apps on Cloudflare – A book on the Cloudflare dev platform
Hello HN!

I am Ashley, author of the book Serverless Apps on Cloudflare, and I'm excited to share it with you and hopefully spread the awareness of the powerful and developer-focussed platform that Cloudflare has built, that I believe is currently flying under the radar!

For years, I've been building applications on Cloudflare - from websites, to APIs, to Discord bots and everything in-between. The platform has grown hugely in the past few years, to the point it has all the essential building blocks for modern applications. It's also built with engineers in mind, the developer experience (imo) is second to none. AWS is powerful, vast and very widely used, but I don't think anyone would shout about its developer experience in most cases.

Some of the features of the platform are incredibly unique and powerful. With a distributed architecture of many different services, you have to deal with services being down, or the network being down - with Bindings, you get a zero-cost abstraction to make inter-service calls between your different services (called Workers in Cloudflare) and they are automatically injected for you at runtime - no secrets, no credentials, no configuration - it just works. The same goes for databases, caches, queues and all the other supporting services you need - they all use bindings.

Everything runs seamlessly locally too, including databases, caches and everything else. No setup required, again, it just works and massively increases productivity and enjoyment when building applications. You don't need to worry about failover or redundancy, your application and resources are deployed and available globally, thanks to the edge network Cloudflare runs.

The pricing is great too, you only pay for what you use. For example, the CPU time you use in a Worker, you don't pay while your code waits on I/O (e.g. an API call), and there's zero egress fees.

Lastly, they have a very unique concept called Durable Objects. You can think of these like mini single-threaded servers, that act as a way to coordinate multiple clients or a single entity. You write them the same way you'd write a class in your code, and Cloudflare takes care of persisting those objects and hydrating them with state - as they come with built-in state too (key-value or SQLite). They also have native WebSocket support, allowing you to add WebSockets to your application in literally a few lines of code - they are super cool.

That's just a flavour of some of the cool offerings of the platform - if you want to learn more, it's available in eBook format via The Pragmatic Programmers (https://pragprog.com/titles/apapps/serverless-apps-on-cloudf...), as well as available to preorder in physical format via Amazon (https://www.amazon.com/dp/B0DFNTSMHP?maas=maas_adg_968101BB2...). It's content complete, and the beta tag will be removed in November.

Any questions or feedback, let me know!
Yeah, 'everything' as in 'everything that the model cares about' :)
By that token, you could find non-human animals that are smarter than some percentage of humanity in a few tasks. Are those animals AGI?

Now you could find a software that is smarter than some percentage of humanity in a few tasks. Is that software AGI? Is AlphaGo AGI? Is the Google Deep mind AI gamer AGI?
> when you submit iOS apps to the App Store they specifically require encryption standards and no "roll your own algos/cryptos"

This is not true.
> Removing nodes by adding a concept of implicit branches via "unless" clauses within a node doesn't necessarily make the system any easier to understand at a glance.

The original diagram does this too - it has an "A && B" node.
You just open Keychain/Passwords and delete the passwords.

Has been this way for at least a decade.
Unfortunately, "Org-mode" (or Orgmode) means two different things: (1) the lightweight markup syntax and (2) the Elisp implementation of a PIM/PKM tool within GNU Emacs.

This seems to be subtle but it results in many misunderstandings and unnecessary discussion issues.

To "solve" this situation, I tried to coin the term "Orgdown" for the syntax alone: https://gitlab.com/publicvoit/orgdown/ and https://karl-voit.at/2021/11/27/orgdown/

There are many use-cases to use Orgdown outside of Emacs and there are many tools that support Orgdown already: https://gitlab.com/publicvoit/orgdown/-/blob/master/doc/Tool...

Although I'm using Orgdown and Org-mode for over a decade, I do think that even with an objective point of view, Orgdown does have its benefits from a syntax definition point of view in comparison to Markdown and other lightweight markup languages (LML): https://karl-voit.at/2017/09/23/orgmode-as-markup-only/

Oh and btw, the linked cheat-sheet covers only the most basic Orgdown syntax elements. Within the Orgdown concept, I defined misc "levels" of syntax elements, starting with OD1: https://gitlab.com/publicvoit/orgdown/-/blob/master/doc/Orgd... This also serves as some sort of cheat sheet I guess.

HTH
Practicing (ie. trying to the improve skill of) fasting. I have the best results when I start after lunch and drink bone-broth on the fasting days; I treat it like a improvable skill, not as an exercise in sheer willpower; fwiw my record is 15-days.
You could of course compute multiple "tone" directions for every "tone" you can identify and subtract all of them. It might work better, but it will definitely be more work.
Murphy's law, arguably. If you can imagine a way it could happen, it most probably did.
When someone says unsinkable most people think titanic
is typing... zzz
It's not about the abstract strategy. It is also about trust. Are they presenting it in a way I trust they believe it? Is it just show?
Examples ????
There are a lot of methods, optimized for different purposes. Some are easy to learn, but take a very large number of moves to solve the cube. Some are exactly the opposite: Difficult to learn, but enables you to solve the cube in just a few seconds. Others are optimized for solving the cube in the fewest possible number of moves, but requires so much thinking that they are not suitable for fast solutions. Others again are optimized for blindfolded solving.

My two favorite methods are Roux and 3-style.

Roux is the second most common method for speedsolving. Compared to the more popular CFOP method, Roux is more intuitive (in the sense that you mostly solve by thinking rather than by executing memorized algorithms), and requires fewer moves. Roux is much more fun than CFOP, if you ask me, and for adults and/or people who are attracted to the puzzle-solving nature of the cube rather than in learning algorithms and finger-tricks, I think it's easier to learn. Kian Mansour's tutorials on YouTube is a good place to start learning it.

3-style is a method designed for blindfolded solving, but it's a fun way to solve the cube even in sighted solves. It's a very elegant way to solve the cube, based on the concept of commutators. It takes a lot of moves compared to Roux, but the fun thing is that it can be done 100% intuitively, without any memorized algorithms (Roux requires a few, though not nearly as many as CFOP). It's satisfactory to be able to solve the cube in a way where you understand and can explain every single step of your solution. As an added bonus, if you know 3-style, you can easily learn blindfolded solving, which is tremendously fun, and not nearly as difficult as it sounds.

Edit: If you do decide you want to learn, make sure you get a good modern cube. The hardware has advanced enormously since the 1980s, modern cubes are so much easier and more fun to use. There are plenty of good choices. Stay away from original Rubik's cubes, get a recent cube from a brand like Moyu, X-man or Gan.
> Ray tracing is just math, is that math applicable for any non graphics use?

It's not "just math", it's data structures and algorithms for tree traversal, with a focus on memory cache hardware friendliness.

The math part is trivial. It's the memory part that's hard.

Ray tracing hardware and acceleration structures are highly specific to ray tracing and not really usable for other kinds of spatial queries. That said, ray tracing has applications outside of computer graphics. Medical imaging for example.
https://github.com/goblint/cil/blob/develop/LICENSE
Copyright (c) 2001-2020

(I first learned about CIL in https://people.eecs.berkeley.edu/~necula/Papers/cil_cc02.pdf)

I guess ECMA should have done better research.
I am not sure if you are ignorant or what, but GP obviously means someone else other than Apple
> The Indonesian rule requires tech companies to source 40% of handset and tablet components domestically, a requirement that can be met through local manufacturing, firmware development or direct investment in innovation projects

interesting. I wonder if the math is worth the investment.
As a possible counter to

> but if you’re looking for iOS/iPadOS/macOS/tvOS, note that NextDNS does not work well on these

If your situation supports it I've had zero issues (since May 2021) using NextDNS via tailscale[1] on all of the above devices[2].

I do realise it's not feasible to ask people to set up a VPN just for some adblocking but it's a decent option if you were going to do it anyway :)

[1]: https://tailscale.com/kb/1218/nextdns

[2]: Yes even tvOS: https://tailscale.com/kb/1280/appletv
They have arbitrarily shifted the goal posts to fit their conclusion:

> working out that even if all the chimpanzees in the world were given the entire lifespan of the universe, they would “almost certainly” never

Who assumed the original adage had the constraint of the universe’s lifetime.
The only person guaranteeing this is the case and will stay the case is the person keeping your passwords. That seems to me to be a pretty wild thing to have faith in.
> Smart phones for kids is not good. It’s really simple.

The shape of the computer doesn't magically make it bad: It's what kids do that's the problem.

We took our kids tablets away because they weren't disengaging. But that's because they were into Youtube, which is highly addictive. If they were just using the tablets as e-readers, it would be a different story.
I like the idea of imagining that we can arbitrarily adjust the carefulness knob, but I don't think it works like that in reality. You can certainly spend more time writing tests, but a lot of the unforeseen problems I've hit over the years weren't caused by lack of testing--they were caused by unknown things that we couldn't have known regardless of how careful we were. It doesn't make for a very satisfying post mortem.
How do content creators get paid?
A decade ago this was more true but all of the major browsers include a cloud password manager now, and this is very popular with normal people because it means a lost or failed device doesn’t mean they have to go through a bunch of password resets.

The big question here is whether there’s a reproducible way that the opt-in changes. iCloud Keychain has robust end to end encryption but it still needs to inform the user.
I really can't relate to this attitude at all. :) Agree to disagree.