skysight-inc/HackerNews huggingface dataset:
I attempted to create a general purpose model for the exact version of the "what comes next problem." It enumerated primitive recursive functions, trying them out as it went. The limitation to primitive recursive functions was convenient because they always terminate. I didn't have to filter out the functions that ran for too long. (or do I?)

The enumeration inherently includes functions of several variables, so I wasn't restricted to examples such as 1->1, 2->4, 3->9, 4->16 etc.

I could try it out on examples such as (1,2)->3 (2,1)->3 (0,2)->2, etc. Perhaps with enough it would "learn to add" = find a primitive recursive function that did addition.

I got as far as finding the first problem. The enumeration technique that I used was effectively doing a tree recursion, like that function for computing Fibonacci numbers that bogs down because Fib(10) is computing Fib(5) lots of times. I had a lot of numbers that coded for the identity function, lots of numbers that coded for the first few functions, making the whole thing bog down, trying the same few functions over and over under different numerical disguises.

I thought that I could see my way to fixing this first problem. Have some way of recognizing numbers that give forms that give the same function. I guessed that I could approximate this by saying that if two functions give the same value on a variety of arguments they are probably the same. Then I parameterise this criterion and tune. That opens the way to creating a consolidated enumeration, analogous to fixing the tree recursive fibonacci function by memoization, except trickier.

But my health is poor and I ran out of energy.

Also, I have a guess for the second problem. What happens if I fix the first problem and my enumeration reaches decently complicated primitive recursive functions. While they will all terminate, some might run for far too long, causing the process to bog down. Rejecting them on the basis of limiting the run time might work well. We are happy to only learn reasonably effect functions for doing maths.

It is a fun idea and I encourage others to have a go.
I get their reasoning that SMS is insecure and you don't want to accidentially send an SMS. I use Signal mostly for "confidential" things, but every now and then for the occasional person who contacts me there. So Signal is my "secure" app, Whatsapp my "family" app, and so on. It's really weird if a family member shows up in my secure activism chat app.

It would make more sense if there was one codebase that supported all apps. And then I could make a "silo" for each use case. I would make one icon for activism, one for work, one for friends. The first one must use E2EE, the second one must use my company's Rocketchat, etc..

It's a pity Signal doesn't allow third party clients. I really hope somebody makes a rouge multi protocoll app, like Pidgin used to be. I bet a dedicated small team could make it in a year.
Yes, that's why it's switching.
> and a few shows include brief promotional interruptions to keep you in the loop on new and upcoming Paramount+ programming

I absolutely hate this trend. Whenever Prime Video does it I just get annoyed and skip either way.
RTSP running on generic crappy ip cams is a known issue.

Google it. There’s entire websites to browse these streams. Some even have access to the PTZ.
I hate SMS too, but I think this decision will hurt Signal infinitely more than it will hurt SMS. By that I mean it will not affect SMS at all and only Signal.
Taking LiveView Native for a test-drive
Well, isn't the point that more people using signal strengthens the privacy/security of everyone? I would be sad if I wanted to send a message to gerty, and I find out he stopped using signal because of this.

It's not like I wouldn't still want to message him, right?

Convenience is extremely powerful in getting the layman to adopt this kind of tech, and I feel like it should be prioritized.
I don't like explaining to people that "yes it can do sms, and signal is sort of sms but not really" etc.

and the workflow when adding someone is different (waiting for approval or not).
Is there some Facebook:IBM, Microsoft:Microsoft analogy here?
Nobody suggested they were not made by Egyptians. You made that up, too.

We don't know which generation of Egyptians did the top quality work. As already noted, inscriptions only establish a lower bound on age, but no upper bound. Evidence strongly suggests the means to do such work were lost, early on.

"Machined" describes the precision of the work. If you know how to get that without precision equipment, reveal it.
It’s morally dubious to practice blind adherence to the law for the sake of it being the law
> Or people do actually prefer the slightly-more-expensive option, but it gets phased out and then there is only the cheap option and some artisanal bullshit version that costs 5x and much so only rich people buy it.

If the majority of people prefer plastic jugs of milk over reusable bottles of milk, then the milkman no longer benefits from economies of scale, so they have to increase prices. This causes more people to switch to plastic jugs of milk, so milkmen have even less economies of scale, etc. The only stable equilibrium is for the milkman to market his service as a luxury.
I use Silence. It hasn't been updated in a while, but I like the way it looks.

I don't know anybody else who uses Silence so I could exchange encrypted messages with them.

Oh well. Maybe somebody here could resurrect this?

https://f-droid.org/en/packages/org.smssecure.smssecure/

https://git.silence.dev/Silence/Silence-Android/
> It is frequently "competition for thee but not for me"

Indeed. Welfare state for the economic elite, unregulated capitalism for the workforce.
> If User A (who uses the signal app) regularly communicates with User B (who doesn't), then this change might encourage User A to ask User B to join signal. It makes a stronger network effect, and will increase viral growth.

Conversely, the inconvenience of having multiple messaging apps could cause User A to stop using Signal. Look at what happened with Hangouts when they dropped SMS support.
That's interesting, I hadn't made the connection between executive function and intelligence.

I went through a burnout in 2019 that felt like having a stroke. My brain finally reached such a level of negative reinforcement after years of failure that it wouldn't let me work anymore. I'd go to do very simple tasks, everything from brushing my teath to writing a TODO list, and it was like the part of my brain that performed those tasks wasn't there anymore. Or at least, it no longer obeyed if it perceived a potential reward involved. It was like my motivation got reversed. I had to relearn how to do everything, despite knowing that no reward might come for a very long time, which took at least 6 months before I began recovering. The closest answer I have is that my brain healed through faith.

I only bring it up because executive function may be associated with a subjective experience of meaning. If there's truly no point to anything, then it's hard to summon the motivation to string together a sequence of AI tasks into something more like AGI.

I guess that's another way of saying that nihilism could be the final hurdle for AGI to overcome. It's like the human philosophical question of why there's something instead of nothing. Or why angels would choose to be incarnate on Earth to experience a life of suffering when it's so much easier to remain dissociated.
short $META?
So is mine, but I cut the cord 10 years ago, when my Internet + TV bill hit $250. Cable bills basically keep going up until you leave.

Now, because of inflation, $100 is not even what it was 10 years ago, so I am not sure why people are getting torqued about this. It's still a very good deal, considering the quality and amount of entertainment that you get, which is light years better compared to back when Facebook was still cool.
The downloaded files are technically sitting on Amazon's server (IIRC). Put.io doesn't know an illegal file is there (it's encrypted), so how would any one else?
Do you agree with the assumptions of the Anki scheduler? That each time you review a card you'll remember it for incrementally longer and longer?

If so then a fixed amount of review time per day will let you remember things for longer & longer.
I switched years ago figuring it's just like my SMS app but sometimes I'll have more secure convos with other adopters. There was no buy-in cost.

Now that it's just some random chat app with its own protocol I could not be more allergic to their brand.

Hopefully they didn't need my user type for their flywheel.
If you exclude organizations like the PKK, which ones would you consider to be the true anarchists? How about the Industrial Workers of the World, one of the most prominent international anarchist organizations? You can read the constitution at iww.org, and it mainly defines the organizational hierarchy.

I'm curious about your perspective, because when I've seen this argument before, it seems to be based on a personal literal interpretation of the world anarchism as the negation of hierarchy, as if the etymology of the term is more important of the history of the movement. If you have a deeper insight beyond that, it's worth explaining!

Another definition that might be helpful comes from Noam Chomsky's "What is Anarchism?"

"...anarchism is a tendency in human development that seeks to identify structures of hierarchy, domination, authority, and others that constrain human development. And then it seeks to subject them to a very reasonable challenge: Justify yourself, demonstrate that you're legitimate, and maybe in some special circumstances or conceivably in principle. And if you can't meet that challenge, which is the usual case, the structures should be dismantled, not just dismantled but reconstructed from below."

https://theanarchistlibrary.org/library/noam-chomsky-what-is...
Thanks for the questions!

Hellō is not decentralized -- apologies for any confusion -- did I mistakenly write that somewhere?

The governance is decentralized. Yes, it is another point of failure, as is any other service you build your app on. I have extensive experience with tier zero services such as AWS IAM and have applied those learnings to the Hellō deployment if that is any consolation.

The value proposition of Hellō is not as great for you as you have already made a substantial investment in your identity implementation. In the future when Hellō has a larger claims selection than verified email, phone and ethereum address -- you may find it valuable to use Hellō to request claims from your users. Additionally, depending on your application, you may want to make claims about your users that they can share with other sites. Empowering users to control their identity and share it is our mission. Claims can range from VIP cards to memberships to reputation scores.

Fully agree that social login is not hard to implement. (I'll take that as a compliment as one of the designers!) As you add additional providers so that you provider more choice to your users, the risk of a user fragmenting their identity by choosing a different provider when they return increases. Dealing with fragmented identities in your app is hard.

Additionally, registering and configuring your app at Apple / Facebook / Google etc. is non-trivial. I know what I am doing in theory, and I have already invested a week of time in configuration and approvals and updates.
Does AOSP Messaging do RCS? I am assuming not.
TypeScript a Decade On
In the US? Old people (so, probably some members of your family), spammers, and ~100% of businesses that communicate via any kind of IM service instead of or in addition to phone and email.
Pass it anyway. Happy to see them refuse to participate.
So the guy who sold these ghost guns drove from a different state to sell these guns, in an attempt to "gotcha" the buyback program?

I mean fine, you don't care for the buy back or support the idea of forfeiting your firearms but what did he intend to prove by doing this?

I'm more surprised he was allowed to sell firearms with an out of state license or no proof of living within the state.
> they do not guarantee freedom to users.

FSF GPL Licenses are the only open source licenses that protect the freedom of the creator and the users (the end user who actually uses the software as a product).

Most permissive licenses only seek to protect coder / author attribution. Programmers who use such license for their code don't mind if you use it in open or closed source project as long as they are credited for creating the code used.

But the goal behind FSF GPL is to ensure both author attribution and more importantly that the source code is always available to the user. So from a user perspective, FSF GPL license guarantees more freedom to a user because using a GPL license software means the user will always have access to the source code. And so they will always have the freedom to modify it.

As a programmer, GPL gives you the right to use or modify the GPL licensed code as you want. You have to share the modifications (make your source code open and available) only if you decide to distribute your application to others. That means if I buy the application from you, GPL says I as a user must also get the complete source code of the application (if I so desire).
Err, the number of super-diagonals in U obviously, haha, oops.
Hug of death it is.
Programming as an Experience: The Inspiration for Self [pdf]
Usually the images are done per project.

VSCode Web as modern version of X Windows based IDEs is great, as yet another Electron app not really.
Maybe you can change Meta+C to start the terminal with bc already running? ;-)

Disclaimer: bc implementer. I'm biased. I use bc for all of my calculation. And Mac doesn't have my bc.
> Merely the minutest lag when rotating your head can cause nausea in a statistically significant number of people

Do you have a source for that? The lag issue seems entirely solved now, on a device like the Quest 2, it was an issue only in earlier days with slower hardware.

There were lots of different theories early on, but now the cause of nausea seems to be entirely based on motion over a large field of view, which causes a disconnect between your inner ear telling you you're not moving, and your eyes telling you you are. Hence why VR games generally default to teleporting rather than walking/running.

(There can be separate issues such as eyestrain if your IPD doesn't match or relating to wearing glasses, but those are device-specific.)
SMS/MMS needs to die at this point. I am glad to see Signal take a hard line here even though it will cause some headache for users, of which I am one, though I do not use it to send outgoing SMS/MMS.

These protocols are insecure, not private, and fundamentally incompatible with Signal's mission. Supporting them at all, while highly convenient, is a queer oxymoron for an app like Signal. We have to rip the bandaid off eventually.
I left some feedback asking them to reconsider.

https://support.signal.org/hc/en-us/requests/new
Well, with imessage being on topic, apple seems to be really terrible at changing to sms when someone is not available online — I ran out of internet data once and tried to text my girlfriend on imessage assuming it will just send an sms, and it just waited for like 10 minutes before telling me it couldn’t be sent. The other side is even worse - I would have assumed apple checks whether the other half is expected to come online anytime soon and if not, send an sms instead. Nope, you just don’t get a message and are expected to long press and send as sms manually.
This is a very uncharitable reading of the comment. Irrigation in the Central Valley could only be called Capitalist in so far is it concentrates resources into the hands of a greedy, wealthy few. But the irrigation does not follow anything close to a free market. The amount of tax payer support for irrigation projects that benefit the massive landholdings of some of the richest farms on earth is pretty shocking, and this leads to massively inefficient uses of water (growing cotton and beef for example).
There is no market allocation here but I would be willing to bet that such an allocation would be more moral than the current distribution of resources that grows unprofitable crops while local towns are asked to ration.
i think they are just taking the piss out of people that say similar regarding sites that put up dark UI elements that prevent/slow down the reading of a site so that people bounce quickly. only, it just wasn't a good attempt at whatever was being attempted (humor/parody/sarcasm???). then again, maybe i'm just being way too nice to a non-coherent thought?
Fwiw, most of the cameras are behind NATs, the ones on the sites have public IPs. A NAT effectively firewalls your camera from the internet, but yes once on LAN they’re unauthenticated.
I'm not really sure there's any useful solution to the USB-C power delivery problem, unless it becomes mandated that every device offers some sort of UI-friendly prompt informing them of what exactly it's 'connected to'. That seems difficult to enforce, and puts a lot of burden on manufacturers.

You already can grok the information of what a USB-C charger is capable of from the voltage/current figures on the label... but consumers don't understand those. Likewise, I don't think the labels on the actual chargers are particularly useful, as no phones/laptops actually enumerate what they need to charge as quickly as possible.

I think the bigger problem (also highlighted in the article, obviously) is incompatibility for data-related needs. Power needs, it's a soft failure (my device doesn't charge fast enough... or maybe for a laptop, it can't charge fast enough to keep up), whereas a if my data cable doesn't work, it just flat out doesn't do the thing I want it to do (Thunderbolt, displays, etc etc).
so its only an American thing because everyone in your continent agrees that SMS sucks too and should shun anyone using it

Yes, thats exactly whats going on in the US as well

(and yes, we know that Google has recently adopted some other open source messaging standard that now Apple hasn't.)
> Gains have to come from somewhere.

Yes. Key concept. There were people in the crypto space who believed they'd invented financial perpetual motion. If you could run money through enough different transactions, you'd get a net gain without doing anything in the real world. That mostly went away when the entire crypto sector crashed. The "Line goes up" video[1] covers this mindset.

[1] https://www.youtube.com/watch?v=YQ_xWvX1n9g
Leaders are competitive and brandish individualism.

Workers are helpful and brandish collective trends.

Axioms of the western culture.

Meanwhile human resources wants leaders and workers to be: "More human".

Pretty psychotic.
I'd chalk it up to dang.

HN: one of the last remaining Great Good Places of the Internet, a lone tavern in an iconic gateway town to the now not-so-wild west.

Beyond the western borders of this little town, the tech gold rush has both expanded to epic proportions, affecting all the economies in the world, and also gone through enough booms and busts that the phrase "gold rush" seems somehow off.

As more and more young'uns join and jaded veterans return to throng the tavern alike, it often seems to be on the brink of either exploding with the largest gun fight in history, or jumping the shark.

And yet, against all odds, it retains its original magnetism - drawing throngs that grow in number and diversity while seers like tptacek continue to return - dispensing worldly wisdom worth its weight in gold from corner tables.

The secret is the man at the corner of the bar @dang, always around with a friendly smile and a towel on his shoulder. The only sheriff in the west who still doubles as the friendly bartender: always polite, always willing to break up a fight with kind words and clean up messes himself.

Yes a cold-hard look from him is all it takes to get most outlaws to back down, yes, his Colt-45 "moderator" edition is feared by all men, but the real secret to his success: his earnest passion (some call it an obsession) for the seemingly sisyphean task of sustaining good conflict - letting it simmer but keeping it all times below the boiling point based on "the code":

"Conflict is essential to human life, whether between different aspects of oneself, between oneself and the environment, between different individuals or between different groups. It follows that the aim of healthy living is not the direct elimination of conflict, which is possible only by forcible suppression of one or other of its antagonistic components, but the toleration of it—the capacity to bear the tensions of doubt and of unsatisfied need and the willingness to hold judgement in suspense until finer and finer solutions can be discovered which integrate more and more the claims of both sides. It is the psychologist's job to make possible the acceptance of such an idea so that the richness of the varieties of experience, whether within the unit of the single personality or in the wider unit of the group, can come to expression."

May the last great tavern in the West and it's friendly bartender-sheriff live long and prosper.
I was thinking the same thing. That part seems like an afterthought. The real interesting part is the laser propulsion.
Please, please share with the general public. I have wanted something like this for years. I hope it works with Nest. My Nest cams work pretty well, I just wish I had control over the awful fucking interface it comes with. I have about 10 cameras in multiple locations, it is impossible to display all feeds tiled on one screen like you used to be able to do in, I don’t know, the 80s?
Perhaps there's a chance other people already know about this bug and are already streaming video directly from your house. It's in your interest to have this fixed if you want to keep the camera.
Also along these lines, there's a really neat little library called "SimpleWebAuthn" that also supports Passkeys, and is basically a small dependency-free set of client Javascript (for initiating the user flow) and a small JavaScript server component to go with it: https://simplewebauthn.dev/

The code is pretty simple and a good place to start, as well as AuthCompation, if you wanted to roll your own library in your language of choice or whatever, or something very custom. I found both useful recently.
I feel like this change will increase the amount of SMS users if anything
Since you are asking, I'd assume you care for the consequences on others. So I'd say contact the manufacturer, try to have it fixed in a reasonable time (like 2 months). After that the safest thing you can do for others is to disclose so that they can either fix themselves or stop using the product (as it's not unlikely you are not the only one to have found the flaw anyway and it becomes more and more likely as time passes)
Are you talking about accessing the stream of a camera via its IP on your local network, or externally by the public IP of your home connection? This pretty drastically changes the severity of what you're describing.
Which could be as simple as sequestering them off on their own subnet, no?
While the various product are more or less different flavors of the same program, if you want do work on a polyglot project the best choice is probably Idea since is the more flexible. The others have a better out of the box experience for a specific language but have a few limitations here and there.

For example (and if I remember correctly), Webstorm doesn't support a project with different modules, so if you want to split it in two or more parts you have to either create it with Idea and "import" it in Webstorm, or manually edit the project file.
What? No. Apple is directly responsible, like the GP said.