skysight-inc/HackerNews huggingface dataset:
I have had a number of times where static typing would have saved me a lot of time in both Python and Javascript. I have a recursive-descent parser for a non-trivial language in Python, so when you pass something incorrect down in the bottom it bubbles up and fails up the stack and a bunch of calls later. But if I'd had static typing, the compiler would have caught it immediately. Similar story for a 3D model generator in Python. I've wasted enough time on stuff like this that then next Python project I do that I think will be over 1000 lines long I'm going to write in some statically-typed language.
> Read about trade deficits as they relate to a country who’s currency is a global reserve currency.

US has around 1 trillion USD trade deficit every year, that money needs to come from somewhere and GDP seems to go up every year.

US also has budget deficit of around 1-1.4 trillion USD per year. So US is also printing 1.4 trillion to finance the budget.

So we are at around -2 trillion USD every year with debt of around 130% GDP.

Seems like the rest of the world is financing that debt? Or how does it work?
They also have store-specific models which may be the issue. All subtly different and generally only the base model is reviewed.
https://www.youtube.com/watch?v=0e58SiFSxLs
Oops, don't forget your meds, dude.
I remember getting a trip home with a mainframe programmer in the late 1970's. The entire time he spent telling how limited micro-computers were and how much programming knowledge he had.

I have doubts he could handle the machines that started going into businesses in the 1980's.
There would need to be a much higher level of societal trust than there has been justification to have in much of the world today. Add to that Tokyo's situation is built on a lot of suffering in silence. Tokyo is nice to visit, but the locals aren't nearly so keen. As a tourist you wouldn't see that so much. Of course that's not to say the world couldn't still learn a lot from the place. Besides, with many countries having children below replacement levels will such situations be necessary? Even for Japan perhaps not in the decades to come.
Thanks for the tip on the M28U, just bought one here in Europe for a similar price. The KVM feature is a huge bonus.
Examples are with code in french. English version is coming.
Yeah, the way I sometimes describe this is that Rust social media can be pretty toxic, but the actual Rust community is generally very friendly and supportive. The problem is that a lot of people confuse the two.
I'm not sure the capability for FSD will be ready by 2030, but I don't think these reasons are compelling. Insurance will solve these problems
The new stuff sounds great, but how durable is it?

Every time i've come across a new and improved breathable waterproofing technology recently, it comes with the significant downside that the fabric is a lot less durable. When it's raining, i wear my anorak. But when it's not raining, it's rolled up in a plastic bag and bungeed to my bike bag, or shoved into my satchel, or stuffed into a corner of my carry-on luggage. It probably does >10 hours carried for every hour worn! If a fabric can't stand up to that, sadly it doesn't matter how well it performs when i'm wearing it.
Why would Google fix anything?

Google makes money from keeping you clicking. If it shows you want you want right away, then it loses money.

Keeping you on a treadmill chasing bits of cheese is how it became a billion-dollar company.
Authenticating coins of the ‘Roman emperor’ Sponsian
Potentially also of interest is robots.txt. Who knew Tesla had ontologists?

https://www.tesla.com/robots.txt

Disallow: /taxonomy/term/*

404: https://www.tesla.com/taxonomy/term/
AFAIK, from the discussion here, training the network has been established as fair use on the US. But that doesn't apply to use the network's results in any way.
The site says "going live in 2 weeks" and rejects signing up for the free plan but I can pay $12.99/year? It sounds like I can't even use it yet, why would there be payment now.
I didn’t know Gore-TEX was ptfe. Damn, those things last forever (like BPC).

Think plastic is a problem?
PTFE is way worse.

Those are the microplastic we are going to find in breastmilk forever.
It's about the ads on the SEO trash pages. Those pages are typically loaded with ads which increases the likelihood you click on them.
Is Investopedia a clone? What is the original?
But what if they modify the article after you post a link to it?
This list is missing Guillotine from the extended “legend” section.

He wasn’t himself guillotined but for awhile there was confusion that he was: https://en.m.wikipedia.org/wiki/Joseph-Ignace_Guillotin

It’s locked otherwise I’d add it.

Another good one is the Soviet botanists who collected seeds and then starved to death refusing to eat them. I could see that can count: https://www.opindia.com/2022/01/the-siege-of-leningrad-russi...
I am addicted to Rotring pencils. I already have more than I will use in a lifetime (56). I have taken to gifting them to my loved ones. I am not sure all appreciate the quality, and the longevity of these pencils, but for those who do, this is a gift greatly appreciated.

That said, I was unable to resist myself and bought four to gift to my direct reports this holiday season, so, thank you OP!
I will add the doctests soon. And other languages will be supported.
Why would you assume companies only do legal things? Companies break the law constantly it’s consequences law departments care about not legality.

This is why we do heath inspections etc, it’s all about shifting the risk vs reward calculation.
Justin Sun's scam blockchain?
Haven’t tried it yet, thanks for the experience report - what aspects did you find tricky?

Agreed on Gherkin vs. declarative, a t depends on who the test is for. I’d probably only use Gherkin for APIs if my product was developer-focused (eg Stripe, Plaid).
Code to Diagram: A Developer’s Guide to Coding Beautiful Diagrams
Found this myself. Learning curve is steep. Still not there yet but once you get into it I can really see how more productive I am vs other languages.

Other languages just require a lot more trial and error to get them to do what you want. Rust, if it compiles, generally does what you expected.

It's not just type safety and the borrow checking either, it's the idioms, std lib, and other language design choices that lead on to improved devex in the wider ecosystem as a result.

I understand you can get the same features out of modern C++ now days but it's not just the features, it's everything that comes with it.
I have to say, I also find it fairly disturbing the waste of generating images over and over and over, hoping to find the right one.
I find writing tests is often not easy because test tech debt is usually worse than regular code tech debt! Really with non TDD the tests
are doing gymnastics to test that code. Code smell example: GetInternalHitCounter_ForTests()
I'd love to read it when it's published!
Those all came before the crackdown
The halting problem is not a big deal in practice. Plenty of compilers for many programming/proof languages out there (Agda, Idris, Coq, LEAN etc.) will reject code that the compiler can’t prove is terminating. And yet those programming languages are more than powerful enough for writing real world software. Including operating systems, compilers etc.

A good introduction to this subject is the book “Type Driven Development in Idris” or one of the Agda books.
Is there a source for this claim?

And if so, wouldn’t there have been a number of people reporting the app before the takeover, when it was perceived by the other political spectrum to be a woke platform advocating for something they deemed violated the respective TOS? And thinking further, wouldn’t there always be a bunch of activists—and wannabe saboteurs—making false reports for political gains (or other reasons; such as they like the competitor better)? So this if you are right, this is probably not a new thing, and I’m pretty sure the respective app stores have filters in place for their moderators to deal with this.
What I took away from their presentation:

1. They are very smart because they work on ML compilers (what are those?), but for some reason decided to work on public speaking now.

2. Something about presentations and delivery. "The medium is the message"

(Skipped ahead)

3. Here are some PowerPoint templates that are good

(Skipped ahead)

4. The end.

(Skipped back)

5. Here are some cool code editor templates, carbon, etc. They even have the MacOS 3 dots.

(Skipped forward)

6. Color palette of slides, where to get slides

(Gave up)

Where was the section about how to convey valuable information to the audience? And make arguments and how to reason?

I'm just curious: to them, what is the value in a presentation? Why is their job valuable and worth doing? These were the burning questions I had and must have skipped over the answers to.
Obviously Azure failed its customer here, but everyone with data centers in Europe is tightening their belts and preparing for the worst.

I suspect AWS and GCP just have more headroom in EU.
it became a billion dollar company by having a better index and search algorithm than anyone else

the carrot on a stick came later
I figured it out from a post of his where he links to an article and says that Simon singh said that I introduced him to something.. and then the article quotes Simon as saying David Hayes did that thing.

It's easy to find these things, especially with somebody who's been in computing for so long and probably has a huge digital trail and no desire to hide their identity. If I didn't see anything in 30 seconds of browsing his post history, next step would be to look up the authors of the papers quoted in the Bitcoin paper(not many) and see if any are still living and interested in astronomy, based on his username.
To gauge your interest, whether you hold any more arguments or not

Whether i live on mars or not doesn't change the facts on the planet earth
It seems that your assumption is that there could be an efficient algorithm that can analyze any program with a bounded number of states and check that it halts.

However, it is simple to show that this is at least as hard as NP complete. For instance, you can map the Hamiltonian cycle problem to a halting problem over programs that do an infinite walk on graphs without a Hamiltonian cycle and those that stop whenever they complete a walk along a Ham cycle.

At this time P vs NP is still wide open and, in general, statements in complexity theory are usually dependent on some unproven hypothesis so I still don't understand what is your point exactly.
From what I've read at that time here in Poland, the services weren't the problem - teachers either had a free hand in picking the platform to communicate or were told by local gov't which one to use. The problem was with some kids being able to attend this quickly deployed "cloud-run pandemic school" in first place. There were reports about the poorest families who couldn't afford a computer, whose kids had to attend class via phones or were simply called and instructed by their teachers about the curriculum. But that was eventually solved with schools renting machines and later with hybrid classes, which tried to give kids a substitute for normality.

We had already running digital services for schools - there were already remote reports with parents or logbooks, live cameras previews (tho some argued about the privacy side of such idea) but nobody expected we'll need the full remote education that fast.

Son of friends used Google Classroom; I've read about kids joining their classmates on zoom, discord or even facebook messenger
If you think .gitignore leaks too much info, you're going to love https://www.tesla.com/robots.txt

I wonder if these are some of the same people that Musk brought in to refactor Twitter.
If you want something a little further along (with nerdctl/containerd or docker/moby) that runs on mac/win/linux... there's Rancher Desktop [1]. The mac and linux setups are built on Lima. One of the Lima maintainers is the lead on Rancher Desktop. It also has Kubernetes (you can turn it off), a GUI, and more.

Disclaimer, I started Rancher Desktop so I have a little bit of a bias.

[1] https://rancherdesktop.io
If they are buying a coffee for a book, then consider leanpub.com

Or just set up your own stripe landing page.
I disagree entirely. Ideally there should be one valid way to format your code, and robust tools to make that formatting happen automatically.

Allowing alternatives yields zero benefit and causes pointless debates and diffs.
I love this. I question whether the 10 files is too complex or a brilliant feature. I've been thinking about building something similar and I don't know the answer.
People notice that. Archive links remove important info from the post, this is a pretty well-settled HN thing with lots of moderator commentary if you want an infinite supply of reasoning.
My understanding is that fentanyl is safer because the amount needed to overdose is 10x what's given in a medical setting while other opiates are 2x. These numbers are made up but something like that
Indeed this should be (2020) although it was New Years eve.
> Of course they don’t, because it’s extremely obvious that it’s decidable for finite state machines.

Wow, that's quite an interesting statement to make. And it doesn't explain dozens and dozens of statements that I've read over the years implying that people don't actually understand this.

Hell, even the tutorial that this post is about claims the following, right in the beginning:

> Turing famously showed that computers can’t decide whether your code halts.

Which, of course, is not true, unless you interpret this in a bit of a twisted way by imagining that the algorithm that does the halting analysis is running on a computer but it is only allowed to analyze the program as if it were running on a Turing machine, which is the least useful way to solve this problem.

> However, in practical terms computers are more usefully modeled as Turing machines than as FSMs

I'd argue the exact opposite, because it's obvious that if you do that, it will result in you proving that something is true when for what the real-world cases we care about it is actually false, as well as the "true" proof not actually being useful for almost anything interesting (except math-related results having to do with infinity).

But since you truly understand the implications, then I accept your difference of opinion.
> That's my whole point. You're thinking of it from an IP perspective where there are individual devices in some chain and they all need to autonomously figure out a path from my laptop to AWS. The reality is every device between me and AWS is owned by my ISP. They know exactly which physical path ahead of time will get a message from my laptop to AWS. So why waste all the time on the IP abstraction?

IP is concrete, not abstract. Whatever the form the network takes, when you make a request, your ISP is going to have a make a decision on how to route it over their physical assets to get it to the desired destination. Unless you are talking about your ISP provisioning a physical circuit directly between you and Amazon, with no multiplexing and no equipment on it, you are going to have those hops whether you use IP to choose the route or not. That is not really negotiable, or you're not describing a network (or something even remotely viable) at all. Maybe that path is invisible to you, but it exists.

And in fact, in many or even most carrier networks, this is abstracted in much the way that you describe within that particular network using MPLS. But this approach doesn't scale to the scope of the Internet, requires all edge devices have complete knowledge of every necessary path in the network, and makes inter-networking more difficult because every endpoint and its end-to-end path to every other needs to be shared and synchronized. This is actually more complex, and much more brittle, than the current implementation. And for what? I still have yet to understand what advantage you think would be gained here. Right now, if you want to talk to s3, you send a packet to s3, and your ISP does all the 'complex and byzantine' work. What do you care how they do it?

Ignoring the long tail is also silly. FAANG might represent a majority of traffic on the Internet, but the long tail is huge, and you can't just hand-wave it away like that. Enabling it is what makes the Internet what it is, and if your proposal doesn't account for it, it's dead in the water.

> And in general the more important part is within AWS' (or Microsoft's or enterprise X's) network why waste time on IP when the network owner knows exactly which host every compute process is running on?

Knowing that is the easy part. You still need to figure out a path and actually route the packets along it. You still need to deal with path selection, load balancing, fault tolerance, and synchronizing any necessary state. You still need devices along the path to know what to do with a packet they receive, somehow. It turns out that hop-by-hop routing is an efficient and viable way to accomplish this.

> Instead of thinking of an enterprise network as a set of autonomous hosts that need to figure out a path between each other think of it as a set of processes running on the same OS (the virtual infrastructure). Linux doesn't need to do BGP to figure out how to connect two processes so why does your network?

Because the 'network' you describe is not a network? It's processes running on the same machine? This is not analogous at all to a large distributed network like the Internet.
We had around 5 production servers colocated at he.com that were configured to use the serial port for BIOS I/O. This allowed us to manage a hardware RAID card for example. Linux was also configured to use the serial port for console I/O. We used "ttylog" to log all serial port I/O to log files.

Each server had 2 serial ports. We cabled them together in a circular daisy chain. To access server 2, we'd ssh into server 1 and use cu to connect to server 1's serial port. This was wired to server 2's console serial port.

The advantage of this setup is that even if a system had a hard failure and halted, we could still talk to it and get it going again. I guess it could be done with a terminal server connected to each console serial port, but the logging we got with ttylog was also nice: server 2's console log would be stored on server 1. And of course it was easily extendable and dirt cheap to implement. Worked really well for us for years.
I wonder why people haven't implemented it yet. Seems like a good project for me.
Yes, I can understand your frustrations, which stem probably from looking at the subprojects of go-ap as separate entities, when actually they form a whole library that can be used to create an ActivityPub server.

FedBOX was meant to be a "simple" example, but that was some years ago, and as these things go, I piled on work on it and now supports multiple storage backends, has its own oauth2 end points and storage, etc. I'm actively working on extracting from it the pieces that can be independent, to leave just the glue that combines the different parts of the library into a coherent and hopefully "simple" application.

Regarding your feedback, I'll act on making the wiki more visible and maybe make time to add some clarification why we need the separate jsonld package all together (which I thought it's implied because the ActivityPub specification states it in its first paragraphs). I guess I can clarify in the docs who the projects target: a go developer that wants to work in the fediverse space, has read a little from the specification but decided that code would be more understandable - which is I guess the point where I was at when I started them. :D
PG would call that a sitcom startup idea[1]. Sounds nice but who actually wants or needs that? Notice the parent commenter was not speaking from a position of wanting such a product. It just seems to them that it should exist.

What a product like that would theoretically look like is a fully customizable codebase that has drag and drop components. So both the dev and the non-technical person can do everything they want to do.

Thing is: that already exists. Wordpress is that. Along with many other open-source CMS products. The developer can dig in and change whatever they want to their hearts content. And usually they're not going to be happy with that either because of a) how hard it is to learn a huge and changing codebase someone else built and/or b) they're going to think those who built it made a bunch of bad choices and they'd rather just build it from scratch.

So I suppose that provides us a theoretical window for a product that pleases both the content creators and the developers in that regard. It should probably be very easy to learn and customize. Something like:

import { everythingToEveryone } from '@e2ejs';
import homeSpunUi from './bestUiEverBecauseThisDevWroteEverySingleLine.js';
import crapUi from './wordpressUiIfIdiotMarketeersWantIt.js';
import homeSpunComponents from './bestComponentLibraryEverBecauseThisDevWroteIt.js';
import garbageComponents from '/tailwinduiGarbageIfIdiotMarketeersWantIt.js';

// just gonna hardcode this until proven otherwise
const idiotMarketeer = true;

const cms = everythingToEveryone();
cms.ui = idiotMarketeer ? crapUI : homeSpunUi;
cms.components = idiotMarketeer ? garbageComponents : homeSpunComponents;

cms.mount();

A bare-bones, flexible skeleton through which the developer can load whatever they want, 3rd party or of their own creation. And content creators can use through any UI, with any 3rd party products the developer grants them permission to use - in my example, either one the dev rolled themselves, or Wordpress and TailwindUi.

Do I want that or need it? Nope. Does anybody want or need it? Maybe, I guess. The same way maybe some people may want or need a Facebook for horse owners[1]. I'm not going to build it to find out. I'd rather solve an actual problem I have or someone is screaming for others to fix for them.

[1] http://paulgraham.com/startupideas.html
Have you considered there may be a reason why so many large tech companies are so eager to move away from C++?
The court very much said the App Store wasn’t a monopoly. To argue otherwise means that every console maker’s digital store is also a “monopoly” as is the Roku’s store and every TV makers App Store (Samsung, FireTVs, etc).
2.0 is a mixed bag. It's set making pixel art back entirely. I'm pretty sure this is down to the aesthetic filter - it has a very biased idea of what good images are. It's silly to do that at the training stage, that should be something you do in the prompt.

Fine tuning is out of reach for me, so I'm sticking to 1.5.
That’s a hopelessly optimistic estimate. Just like 9 women cannot have a baby in a month, 100 of you cannot work 100x as fast as you do. I’d be surprised if the overall speed-up be anywhere more than 5-6x.

It might even be better if your team was smaller.

There’s a lot of overhead spent on communication. Probably even more so when converting legacy software.