skysight-inc/HackerNews huggingface dataset:
Quite a comprehensive summary of the implications of Turing-Completeness. There aren't any outright errors that pop out to me which is high bar if other articles are anything to judge by.

> This was “easy” because the other major thing about UTM’s is how well they generalize to proving that just about any property of an algorithm is not computable, in the general case.

This paraphrasing of Rice's theorem is good enough, but the mathematical result is meaningless in the practical Turing Complete sense. Rice's theorem is misused often on the internet to put limits on static analysis, but in most cases you can successfully prove that a given program terminates. And by proving that, Rice's theorem no longer prevents you from proving anything.

> That looks like an unprovable property, which is exactly what you would have in a Turing-complete language.

> ...

> In essence, your language is still Turing-complete in practice.

The implication of this statement is that because it is not obvious how to prove a given statement, it must be impossible to prove ANY statements in the general case. No additional argument beyond Rice's theorem has been given to explain why proving other properties would be impossible in the general case.

It is exactly this thought process that makes me strongly dislike Rice's theorem. It is easy to decide that "I must not be able to prove this because its impossible" even when it is practically provable.
Should liquor stores be required to stop children from buying alcohol?

Should 7-11 be required to stop children from buying pornography magazines?
This problem is only worsening. I recommend running nmap vulners or flan on a cron at home against your network.

I found multiple CVEs in my brand new (2023) router. They were running old versions of dropbear SSH, dnsmasq that had vulns.

Most routers are just cobbled together from years-old OpenWRT releases or worse.

I also found vulns on a brother printer, a smart plug, wifi-enabled air filter.

Everything in your house that has wifi probably has a vuln on it.

https://github.com/vulnersCom/nmap-vulners

https://github.com/cloudflare/flan

I urge everyone to check you'll definitely find a CVE
I highly doubt it. The trial would be held in Virginia, the home of the CIA, and the jurors likely made up of members of public that most likely have a loose connection to the CIA, even if only geographically (Alexandria is 40 minute drive to Langley).

One of the conditions for the appeal is that Assange be granted 1st amendments rights, since the USG had argued that it wouldn’t be relevant because he wasn’t a US citizen, as well as assurances that a death penalty could not be applied in any case.

The USG has found the Assange and Snowden cases, and their continuing “limbo” status to be a very effective deterrent to any journalists, especially those who are not US citizens, or whistleblowers, from taking action on USG classified material, regardless of how damning it might be.
> Data structures with circular references are so incredibly rare in practice

A doubly-linked list enters the chat...
Whoa, this post is actually really inspiring! It gives me a better understanding for why Echo Chess has more replayability than other lil' games I've toyed with. It makes me want to poke at new ideas now. Thanks for sharing this crazy journey of yours!

I guess I also want to ask: are you making money on this? Like, how do you have this much time to spend on this project?
I'm sure you could but it would involve setting up an in-person appointment at a specific location of their choosing. Also, expect to fill out a bunch of extra paperwork to show where the cash came from.
It was a fancy way of saying "you're wrong".
Janky is literally the PSX's style due to its lack of floating point capability

[0]:https://youtu.be/x8TO-nrUtSI?t=222
As I said, I think that some amount of piracy is necessary, and even hosting copyrighted media on IA is reasonable enough, just like any other library. I think controlled digital lending, for example, would have been fine. This has worked quite well for the US public library system (at least in NYC). I have only ever borrowed physical books a handful of times, but I've checked out hundreds of digital books without any issue.

I get that your question is asking more the "how do we protect ourselves from lost media being (intentionally) created if we're not allowed to break copyright?" and I don't think the uploading to IA itself of copyrighted media is even what the media companies have an issue with. If I rip a blu-ray and store it into a private data store (e.g. a non-public Google Drive or my personal NAS or something), I doubt that the entertainment and publishing companies would have much issue. I think the issue comes from the fact that the way that IA currently operates basically has no real difference between ThePirateBay, minus the ads. Any number of people can download any number of files at a time from IA, completely unrestricted, usually without DRM, and a lot of it is media that is still actively being sold.

It would be different if IA operated more-or-less like Abandonia, where they only allow public downloads of media that has no legal way to purchase it, because at that point it would be hard to argue that they're causing any damages. If they did that, I don't think anyone would bother suing them.

I'm hardly a moral paragon; I've torrented my fair share of movies and music in my day. I've also defended piracy as a way to fight against the huge number of streaming services [1]. It's not even that I necessarily have a "problem" with how IA operates, it's that I think that if they don't look like they're making a reasonable effort to fight pirated content, they're going to get sued over and over again. Whether or not they're in the moral "right" isn't really what's at issue.

[1] https://news.ycombinator.com/item?id=39692375

ETA:

I am aware that IA did do some amount of Controlled Digital Lending, but that's not what I am taking issue with. A lot of games/movies are just publicly available, unrestricted, for anyone to download.
Interesting. Was it actually UTF-8? Or was it UCS2? The thread in question is discussing UTF-8, as opposed to local codepages, but it's possible they're getting confused by the fact that it requires conversion to UTF-8 to pass the strings around. I'm guessing Windows is taking those UTF-8 strings and transparently converting them to UCS2 though, since Windows internals have stuck to UCS2 for so long.
https://approximated.app - reliably automating custom domains and their SSL certs at scale. For SaaS, marketplaces, platforms, outbound services, etc. who have a lot of domains to manage.

Coming up on a million domains served, it's been a fun ride!
Work Protocol for Software Engineers
I'll be the odd guy out and say it should probably be illegal to attempt to enter a contract (AUP, privacy policy, etc) with a minor anyway (for a lot of reasons around exploitation), so I don't _really_ have a major issue with this at face value.

I know the devil is in the details though, so kinda curious what the actual provisions are.

The alternative is a free internet, where we don't need accounts to do things, because we're not building or storing advertising profiles on users. Hmmmm... imagine that.
Anonymous verification could be something like OAuth. Government run or certified probably. You'd need to provide an ID to OAuth provider once, but the actual service requesting verification would get as little as your age and email.
And yet there isn't, so if you want such hardware you must do the work to make it.
Those are only the "notable" languages. If we consider less than notable languages as well, we might get something like the languages on Rosetta Code [1]. Looking throught the history of that page, I see that about 10% of the current 834 languages were added in just the last 5 years. Which is much less suggestive of a downward trend.

[1] https://rosettacode.org/wiki/Rosetta_Code/Rank_languages_by_...
I have a repo [1] on awesome architecture docs if anyone wants more examples.
It should be copied over to here [2] soon, too.

[1] https://github.com/noahbald/awesome-architecture-md
[2] https://github.com/matiassingers/awesome-readme
Thats just solipsism.
“Think of the children!!!” Has been used for a very very long time to enact terrible laws and quietly remove rights. It is everywhere you look.
Your math appears off by an order of magnitude. KE = ½mv^2. [J]

Ship KE = 0.5 * (114000 short tons) * (7.5 knots)^2 = ~7.7e8 J.

747 KE = 0.5 * (510,000 lbs) * (560 mph)^2 = ~7.25e9 J.

747 avg weight = (MTOW + OEW) / 2 = ~510,000 lbs
Yeah it's right around 20000lb displacement, so momentum is a real thing ;). The fiberglass is over 2" thick at the keel tapering to a mere 1" at the hull to deck joint. Decks are solid glass as well. At the time it was a newfangled material and they were scared of it so they used a lot.

Also, the bow seems to catch the wind really hard so you can get spun around if it's blowing and you head off the wind too much without enough way on. Leave room, plan ahead, have a backup plan, etc.
Its not. Mostly it is an argument that turing-completeness is too mathematical to be practical.

> I still had the mainstream belief that AI would be just as capable as humans.
It seems like they're trying to solve a problem that they've observed. I know I'd like to read more on the "recognizes user intent and supports it with rich interactions" comment. Time for a manifesto?
> all nonlinear equation systems are nonconvex

> I was talking in terms of convex optimization

I'm not sure what subtlety you're pointing to here. As far as non-convex problems, though, my point is that IPOPT isn't special in this regard. Any convex solver can be a non-convex solver if you don't care about global optimality.
They sound like incompetent business proprietors. When did having a website become something exclusively for old people? Millennials are in their 30s and 40s.
> Look at the Quakers for a really admirable but ultimately pessimistic illustration of it

> And the only thriving, growing communities among them are in africa, with belief and worship virtually indistinguishable from the local main stream of evangelical christianity.

To add to what you say, not just in Africa but also in the West, the branchers of Quakerism which seem to be in the greatest health, are at its evangelical Protestant end – whereas, the end of the Quaker spectrum which you are talking about, is the one in the worst health
It lets you run commands on program output text incrementally instead of piping the initial command or re-running it.
what feels strange is that almost none of chess rules apply...
I use Teams for work. I also use zoom fairly frequently for calls with firms who use that instead. Honestly for video calls it's very much of a muchness, though I do wish Teams was a little bit less resource heavy (having said that "new" Teams does seem to be a bit of an improvement on that front). They both work pretty much as well as each other for straight video calling, they each have their quirks but I wouldn't say either is particularly better.

But as you say Teams also has text chat integrated with the company directory, and much better integration with Outlook etc. It's gradually swallowing SharePoint as well from what I can tell (which is no bad thing).

The product in this space I really dread having to use is WebEx.
I like this a lot, thank you. Have to try it out in a project.

Is the default encoding when handling files UTF8 OR UTF8-BOM? Is both supported?

Another question: in the readme you have this example

`var joined = U8String.Join(',', boolean.Runes); // "T,r,u,e"`

Why is " T" of true in uppercase?
https://lobste.rs/about#invitations

Invites push people to exercise discretion, and not pollute the commons. Send me an email, solardev, if you want an invite.
This sounds very useful, but isn't this service going to automatically fail as soon as it starts to be known because you can't market it to the intended audience (the gift-receivers) without marketing at the same time to the adversarial audience (the gift-givers)?
Estimates are between 0.8 and 30%, crazy range for a 'scientific estimate' https://www.ncbi.nlm.nih.gov/pmc/articles/PMC1733152/

It is likely a few percent, but having draconian collection processes and lower levels of enforcement of child support fraud are issues. There have been problems with these draconian laws being exploited where the 'Mom' takes her judgement to a new state and starts collecting all over again. While it would be fraud to sign the initial affidavit, it can be tough for the target to shake it off. I have talked to two men whom this has happened to. I am in no way saying legitimate child support claims should be upheld but automated punishment that exposes the target to arrest rather than it being at least at first a civil court process with maybe failure to appear as part doesn't seem to help anyone but a vindictive or manipulative ex.
I've been working on a social link sharing site called lynmki that allows you to follow a subset of someone's interests rather than having to follow everything they post. E.g. Someone posts lovely examples of typography, and also about events on in their city but you live halfway across the globe so just want the typography.

I'm focussing on smaller circles, avoiding "algorithmic" feeds (aware sorting by reverse chronological order is an algorithm), and no advertising.

It borrows a lot from the greats like HN, Delicious, etc. and there's a long way to go (I just added likes last week) but people are already finding some nice links from it!

You can see it at https://lynkmi.com/ and I'd recommend reading the about page for even more. If it sounds interesting to you please sign up to the waitlist—it's very short!

I'm also building it in public so follow along if you want: https://twitter.com/TheOisinMoran/status/1725929527761596434
> Before that I have over a decade of software development experience at companies small and large.

Can anyone with actual engineering experience comment? Software development is not engineering.
I am deeply offended by the key of Bb. </dryhumor>
Oof, double free is one of those notorious bugs. And to think it comes from something as innocuous as netfilter rules.
I'm surprised forward texture mapping can work at all. What happens if the quad is too big? Does it have gaps?

Forward texture mapping sounds like something I would have imagined as a novice before I learned how inverse texture mapping worked.
I am very thankful for your reply sir. About the problem - I don't necessarily have a specific problem I want to solve besides the fact I want to run a software/website company´and try to make customers as happy as possible. I don't care about the money. My mission is really to recreate that feeling of trying a new software and incooperating it into your life. Platforms I idealize and wish I was the creator of would be the likes of Reddit, Tinder, Substack, X, Tumbler or Letterboxd.
RFK Jr. Picks Nicole Shanahan as VP: Tech Lawyer Once Married to Sergey Brin
I spent a year getting maybe 75% of my stuff into a Johnny Decimal filesystem with the remaining maybe 25% firewalled off into an "unsorted" backlog. It's going to be a major pain to do the last 25%, but I can say with some longevity of experience at this point that I will definitely do it because having that first 75% so well structured has been awesome. The key to it was accepting that you can always move things around and restructure. You don't have to get it 100% perfect out of the gate.
I noticed a shift in my attitude in strong priors when I switched from academia to industry and have only recently realized why.

When doing an analysis in an academic setting, the goal is to get a paper past reviewers to be published. And the reviewers were adversaries that were trying to disprove your work (at best these were helpful critique; at worst they were bad-faith nit-pickers that were looking for any excuse to reject). If you did a Bayesian analysis in this setting, the mean reviewers would just just point to the priors and say "you can't justify that choice, REJECT".

But in industry, there are no reviewers serving as adversarial gatekeepers. You may present analyses to a skeptical audience, but if they disagreed with your model priors you would work with them to come up with a mutually agreeable model because you're all on the same team.
Semi-related idea: make an emoji font that renders emoji's ASCII equivalent whenever possible.
that's a better way to put it!
I miss church, but mostly the church community. A lot of good people who genuinely love each other.

I cannot find my Cheers bar.
Wasn't it 180.000 EUR? Once you start buying equipment for the industry you will discover that consumer price levels do not apply here. Perhaps it is the lower scale, or it is the burden of compliance.
Well, I'll throw one my customer's ideas out there. "Only validate their age if they're under 16."

Originally, "Only require a middle name when they have one."
MIT Open Learning Library
I saw it via the recent HN post about Mathematics for Computer Science, which has also been posted multiple times before here.
I had a conversation with a mom recently where she wanted my input on her media choices because she thought what I was doing was cool and admirable.

It all fell apart when she realized that she'd have to yank the XBox, the PS*, the Switch, etc.

Her kid, and all of the other entitled ones with endless access to everything on the internet, are utterly intolerable when they come over -- until they go outside with my kids for a few hours and come back in with their heads reset!
I find it funny how enthused programmers are about creating localised surveillance states for every other worker, yet the mere idea of having a manager for coders is anathema to so many if them. Coders aren't that special. Over management makes everything worse, programming isn't a special case.
This is an unfair parallel, but it's like worrying about businesses who advertise on pornographic sites or on cigarette boxes. Allowing visibility to businesses who advertise on a certain platform could be judged (by society, law, and voters) to be outweighed by the need to restrict youth access to social media. There is a variety of precedent in society and law in restricting youth access to something that is otherwise deemed legal. Just because businesses advertise on social media (in my opinion), the decision to restrict access should not be altered by that advertising strategy.
> I don't think even Google would lightly break THAT many of their existing (often paid) users.

Says everyone using GCP services that get deprecated.
The PS2 was infamous to develop for. Most of the bottleneck came from the vector units. Most middleware eventually made working around the strange hardware much easier.

When asked if they were weary about developing on PS2, due to its reputation of it being tough to code for, Sega devs famously laughed and replied that they already mastered the Saturn - how much harder could it get?
You're absolutely right; I posted the wrong link.

https://www.youtube.com/watch?v=tfA0ftgWI7U
No, there's Viva Designer, a German desktop publishing program.
Fenders and such. A major problem is this bridge was designed and built in an era where ships were substantially smaller (3000 TEU) than they are today (20000 TEU).
Reading what I originally wrote again, I didn't explain that I was talking about situations where on the surface at least, it would seem that those in authority wouldn't be able to tell that they were poor. Which is why I suspect that there might be some sort of more subtle tell that people are responding to.
It seems much more reasonable to only disengage the tugboats that were already helping the container ship get under way once it clears navigation hazards like the bridge, instead of keeping 24/7 quick-response tugboats at the bridge that try to intercept an out of control ship in a bare few minutes.
That is for the individual to decide, just like any other malady.
I think some of these dataset examples are useful: https://youtube.com/playlist?list=PLfRs4l8INQS44y62Z2aFzPzHH...
Affinity Publisher lacks epub export.
I’m not sure if you can measure time without employing something that changes spatially though can you?
6.1.65 and that option doesn't exist. Did it get renamed?
I would recommend this as a starting point for learning about Nix and NixOS: https://zero-to-nix.com/

And this as a second reference: https://nix.dev/tutorials/first-steps/index.html
Sorry, but you're very wrong. A civil engineer on Sky News even raised this issue.

https://www.container-transportation.com/worlds-largest-cont...
New York has a process where the insurance companies are required to notify the state if the policy lapses. There is exactly a 5 day grace period before an automatic suspension after this.
No, it's due to limited precision in the vertices. If you had 64 bit integers you could have 32.32 fixed-point and it would look as good as floating-point.
Management is supposed to be a support role, and it behaves that way in some professions (eg law, medicine).

But once you give them control over salaries and budgets, they end up controlling everything else. And management begets more and more management.
So, even though you'll have both installed in your phone, separating that over apps helps you think? Why not just of two keepass databases then?
Viva Designer is a German desktop publishing program which does not use a subscription-based model.
Haven't seen it mentioned here.
My understanding is that they simply use a tug when they're maneuvering by the dock. That's what a lot of tugs do all day.
you can make it yourself!

just boil some raw (even pasteurized works afaik), and keep it uncovered inside the refrigerator overnight. in the morning you'll have thick malai (cream) on the top which you can scoop up and enjoy with anything.

i personally have it cold topped with crystallized sugar as a monthly treat :)
I’ve been working on a free rss client. It runs as a PWA on mobile phones, and is very simple, and fast.

Don’t even have a landing page yet, but you can sign up for free.

https://app.srssly.com
That's also a thing.

But note how the main bridge piers are on giant islands much larger than the pier itself: https://en.wikipedia.org/wiki/Dolphin_(structure)#/media/Fil...

If you really want to make it unblockable you build a bridge+tunnel. https://en.wikipedia.org/wiki/Bridge%E2%80%93tunnel
How are your clients sure that your storage lasts decades and doesn't end if you lose interest / fail / sell to another company? (They can't, of course, so: how do you convince them?)
The author GPLed it and put it on the internet at one point: http://martrans.org/documents/2006/safety/The%20_tankership_...
The goal was to prove to third-party developers that it was trivial to port an existing Windows game to Dreamcast. It was sort of a tech demo for the industry.

The end result though was… demonstrating the Windows CE overhead.
I would think that by comparison to image models synthetic data would be relatively easy to generate for audio model training. I’m curious then why it continues to be so difficult to build a nearly flawless audio separation model. Is synthetic data being widely used? Is it just too hard of a problem to train even with this data? I don’t have a good sense of what the most challenging aspects are of audio models.
Didn't they eat lot of fungi-based food on the Expanse? usually on the poorer spectrum of society?