skysight-inc/HackerNews huggingface dataset:
I think he argues that more thought should go into explicitly designing the behaviour of a software system ("What?"), independently from its implementation ("How?"). Explicitly designed program behaviour is an abstraction (an algorithm or a set of rules) separate from its implementation (code written in a specific language).

Even if a user cannot precisely explain what a program needs to do, programmers should still explicitly design its behaviour. The benefit, he argues, is that having this explicit design enables you to verify whether the implementation is actually correct. Real-world programs without such designs, he jokes, are by definition bug-free, because without a design you can't determine if certain behaviour is intentional or a bug.

Although I have no experience with TLA+ (which he designed for this purpose in the context of concurrency), this advice does ring true. I have mentored countless programmers, and I've observed that many (junior) programmers see program behaviour as an unintentional consequence of their code, rather than as deliberate choices made before or during programming. They often do not worry about "corner cases", accepting whichever behaviour emerges from their implementation.

Lamport says: no, all behaviour must be intentional. Furthermore, he argues that if you properly design the intended program behaviour, your implementation becomes much simpler. I fully agree!
While I agree with the sentiments, there is a societal need for gatekeepers in some professions. The engineer title often comes with legal liabilities. It’s not necessarily just about talent. Of course it often becomes misused as well.
Maybe it's just about the ratio of scammers vs. honestly capable people.

You should also have mentioned that: "This riled Heaviside, who asked Thomson to sponsor him, and along with support of the society's president he was admitted 'despite the P.O. snobs'".
There was a dude in my old Queens NYC neighborhood who was a local fixture. His job was distributing flyers, you'd see him walking along the business districts in and out of stores placing his flyers. Didn't matter what time of year it was, he wore the same outfit almost every day: wind breaker, tee shirt or tank top, short shorts, and bare foot. Dude even took the A train bare foot - something I would never do.
> Europe can eventually build EVs

Bosch has been building EV’s for literal years. Just because they’re selling them as parts doesn’t mean they’re incapable.
I was a bit late to the barefoot trend, probably more like 2015. Oh well, I've never been one of the cool kids, why start now?

Anyway, I ended up loving barefoot shoes for walking the dog, light hiking, etc. But for actual running? Not so much.

I like a low stack, low drop shoe for tempo and speed work. And a moderate stack, moderate drop for distance runs.

And I absolutely can't stand higher stack stuff... I want to like some of the newer "super shoes" for racing, but they're so tall... I feel like I'm going to twist an ankle.
That's fair. Programming Starship's flight computers is definitely one hardcore job that I can sleep on the floor. I do have a family but this feeling of "in something, for something" beats everything else combined by one hand.
>The current state of AI makes coders significantly more efficient and it's only getting better.

Do you have any data that supports this assertion and the associated upward trend?
Creators of tech vs users of tech are very different mindsets. My guess is the creators culture is not something you can just learn and work with. There is an inherent egotistical nature in the creator. And sometimes that is a difficult situation to work with .
There is a good article in the current ACM about how we don't agree on what abstractions are; and in spite of that, they are very useful. Point being that we largely agree where the important points are. We don't really agree on exactly what they are, or why they are important.

In that vein, I think people will often talk about the same general topics with massive agreement that they are the important ones. All the while not actually agreeing on any real points.

You will find lots of inspiration. Which, I think, has its own value.
> I could share some of my agent frameworks with you when I get home tonight if you'd like.

I'm super interested! Please share!
Definitely true. Most people walk/run on flattish, hard surfaces (roads and paths) most of the time, though, which is a change significant enough from what we evolved with that I'm not entirely sure the null hypothesis holds.
Out of curiosity, the various brands, were any of them in liquid form?

The reason I ask is because it's possible to be intolerant or allergic to one of the filler ingredients in a tablet.
I don't disagree with this (love Bosch except my dishwasher IoT annoyances), but OP believes you need to be Tesla or BYD to be "successful." You can always succeed if you get to define success. It's a marathon, not a sprint, and life is meant to be lived, not brutish and short grinding for silly KPIs.
It does work that way, but IP reputation is a thing as well so you need to keep that in mind. IPs need to be "seasoned" and "trusted" as well as domains.

This is how email-as-infra works, you're sending from a shared pool of their ips and they sign your emails with DKIM and you'll have SPF set up as well on your own.
Hate to burst your bubble but Anthropic has vastly tighter usage limits and is down much more often.
This is my observation. Not a scientific measurement by any means but from what I can see it isn't speeding anyone up

If I had to guess, people feel more productive because they are doing less of the work they are used to and more review / testing, but to reach the same level of confidence the review takes much longer

And the people who are not doing thorough review are producing absolute garbage, and are basically clueless
Very sparse on details.

I found https://en.wikipedia.org/wiki/Criticism_of_Unification_Churc... gave me some context.

(and https://en.wikipedia.org/wiki/Unification_Church#In_Japan_(1...)
Regardless of parent's bile, it's kinda hard to avoid Samsung products without living in a cabin in the woods.

Don't Apple phones use Samsung displays ? Doesn't the pixel phone use a Samsung processor ? Will you check if it's not Samsung RAM or SSD when buying a computer ?

It's just not a company that can be avoided that easily.
Wired did a long-form on it too https://www.wired.com/story/delirious-violent-impossible-tru...
Yes, and using the web as a workaround is like continuing to watch TV down at the pub.
Yup you are correct. I agree with article thats BS to gate keep functionality through cloud access requirements and boy am I happy that I bought the 800 series. That said I don't like contributing to the business model of paying for privacy - seems broken.
> Some of the time this fiber failure is (probably) because a raccoon got into your machine room

Or into your handhole/vault, along with her babies:

https://old.reddit.com/r/FiberOptics/comments/1ji3rrt/its_no...
The Unabomber wanted to end "technological society " but he did manage to improve postal safety standards. Mission accomplished?

If the goal of the 9/11 hijackers was to improve airport security then mission accomplished! But I think their goal was something else.

Clearly you don't read too well
The point is the opposite of "mediocre physique and complete lack of progress" mentioned in the third sentence, that is good physique and steady progress.
Too much Vitamin D can calcify your soft tissues, so be cateful following some of the reccomendations in these comments.

https://en.wikipedia.org/wiki/Vitamin_D#Excess
This struck a nerve. Here's another comment to downvote about how this is more about the widespread, illegal Signal usage than the war plans accidentally leaked over Signal. Both are major stories. One is an extraordinary security incident. The other is concerted effort to bypass recordkeeping and disclosure. Nobody will ever be able to be able to FOIA these messages, which rightfully belong to the American people.

I can't imagine the confusion of the mind that thinks it is conservative to behave in this way, or to think this is political and not related to technology.
Figure Demo –> RL is 'eating the world'
Another Figure demo, this time showing how they trained the humanoid gait with RL.

We all know to take robotics demos with a grain of salt, but I still think it's clear that RL is the path forward in robotics locomotion.

More compute, more sim, more robots!
I wanted to write a comment to you but I felt it was more general so I wrote it as a main comment here.

I just feel like you are troll not gonna lie. And I don't even want to feed into your brittle ego.

It just feels that you have some hate that you carry.

Care to elaborate where this hate comes from? Did you have a bad day today or what.

Anyways hoping that you give the path of hate and accept the path of giving constructive criticism.

Embrace peace. Reduce Hate.
Tangentially related, I feel that SWEs who claim that they are more productive with AI haven't actually demonstrated with real examples of how they are actually more productive.

Nobody I follow (including some prominent bloggers and YouTubers) claiming productivity increase is recording or detailing any workflow or showing real world, non-hobby (scalable, maintainable, readable, secure, etc.) workflows of how to do it. It's like everyone who "knows what they are doing" is hiding what the secret sauce for a competitive edge or that they are all just mediocre SWEs hyping AI up and lying because it makes them more money.

Even real SWEs in large companies I know can't really seem to tell me how their productivity is increasing, and when you dig deeper it always seem to be well-scoped and well-understood problems (which is great, but doesn't match the level of hype and productivity increase that everyone else is claiming) -- and they still have to be very careful with reviewing (for now).

It's almost like AI makes SWE brains go mush and forget about logic and data.
You will probably find the ones you like with simple interfaces and a few physical buttons for an additional price. Simple things are now premium.
Though the irony is that I myself don't follow it, so a man is full of contradictions. He wants to be shown as something when in reality he is something completely else.
A modern c++ programmer uses Rust so no.
> I immediately think people are dumb when ... What a joke!
Have to agree. The bottom line is that manufactures will continue to pull this trick as long as consumers keep buying. Even Jeff himself says that

> I don't think we should let vendors get away with this stuff.

But he _did_ let the vendor get away with it. That’s exactly what he did. He even spent a significant part of the article anticipating the push back by trying to reason why in his case he felt justified in doing so (because he’s busy, because he couldn’t wait a few days hand washing, because of family constraints), but presumably.. you shouldn’t?

So I don’t get it. It’s precisely the “do as I say, not as I do” that we have this problem. There is an immediate benefit to the saying part, on social media, the social signalling, etc (especially immediate for a YouTuber), but not so much for the doing part.

And I say that as largely a supporter, Jeff Geerling seems to be one of the good guys. Which I guess is why we are where we are?
My parents used to take me to Stanford Hall occasionally where there was an exhibit about Percy Pilcher, I suppose it was free to get in. I always found looking up at the waxwork's face slightly disturbing: https://stanfordhall.co.uk/family-history/the-percy-pilcher-...
Yeah, I was surprised that there wasn't even a passing mention of Shinzo Abe's assassination, which arguably kicked off this chain of events.
> OpenAI is raising its prices to absurd levels

When did they raise prices? I don't recall them ever raising prices.

> That said, I expect protectionist policies will be enabled by the US government to protect them and also X.AI/Grok from foreign competition, in particular Chinese

People love to say this but its hard to imagine which American or European businesses would be actively using models that are being run and hosted within mainland China. The risks are too great. Protectionist policies can be entirely ignored.
Normally I agree, but this is a Lamport talk. His stuff is pretty much always worth engaging with. I have learned more from his writings than nearly any other human in my life.
Thanks. I didn't actually know that - just knew that he had been rejected initially. The guy was a total beast of a mathematician so I have a lot of admiration for him. Reading that wiki page is facinating. I knew about him because of vector calculus etc, but among a bunch of things the dude invented the coaxial cable and went nuts at the end of his life painting his nails pink and using granite blocks as furniture while ranting against the theory of relativity. Really something else.
When You're on Vacation, Be on Vacation
I can't say for all possible implementations, but IMO (from industry experience) the content and consumer-focused benefits of AI/LLMs have been very much over-hyped. No one really wants to watch an AI-generated video of their favorite YouTuber, or pay for an AI-written newsletter. There is a ceiling to the direct usefulness of AI in the media industry, and the successful content creators will continue to be personality-driven and not anonymously generic.

Whether that also applies to B2B is a different question.
You are right. I didn't realize that OSF/1 was used by anyone other than DEC which rebranded their version as Digital Unix and then Tru64 Unix.

The wikipedia page has a link to this Intel Paragon supercomputer which specifically says OSF/1 and Mach 3.0 microkernel.

https://archive.org/details/bitsavers_intelsupergonXPSXPEBro...
The threat model is really simple, actually!

"I don't want other people to know my passwords".

Perhaps you don't understand what HTTPS does. Which is totally fine! Lots of people don't really get it (or even need to). But yelling "buzzwords" for the things you don't understand doesn't make the usefulness go away.

For someone so wrong about this, you're very opinionated! It's quite a dangerous mix. Thankfully, not dangerous to me, so I can just have a little chuckle and move on.
China is the world’s largest EV market.

The US is a smaller EV market than Europe.
Ah, I didn’t phrase this properly; I was referring to the broader military organisation orchestrating the actual long-Running operations, not the clowns in charge. They probably know best which information should be classified to protect deployed soldiers, and I would find it questionable to assume you know better than them about what may endanger individual servicemen abroad.
Regardless of the laws, you may not be able to do it at all. Apps can disable screen capturing. Try taking a screen capture of YouTube, for example. I'm sure some events will fail to prevent you, but anybody who really cares about selling replays will presumably prevent recording.

You can jailbreak the phone, but most users won't do that.
For wide cleats, check out Mizuno. I get mine on eBay from sellers in Japan. I tried literally every other wide cleat I could find in the US and nothing fit as well as Mizunos.

The Monarcida line is less expensive and has 4E sizing (the SW or Super-Wide models) but I’ve never really liked them because of the synthetic material they’re made from and the studs on the shoes.

The other option, which I’ve gone with, is the Monarca line. They’re usually made from Kangaroo leather (which can be stretched) and have a relatively wide sole plate. There are different Monarcas, looks for the “classic” ones not the alphas which have a synthetic upper and are said to run more narrow.
Of the Monarca line, the MIJ (Made In Japan) shoes are supposed to be the widest and highest quality.

After so many years of wearing minimalist shoes I’ve found that cleats aren’t too comfortable to run in so I’ve gone to just wearing turf shoes. Mizuno’s previous models had a very bendy sole that lets my foot move pretty freely.
It's been a while, so these may be out of date:

- https://blog.puls.com/top-appliance-brands-2020-guide

- https://cdn2.hubspot.net/hubfs/4039866/National%20Appliance%...

- https://blog.yaleappliance.com/is-consumer-reports-accurate-...

Also: please do your own homework, you should be able to find all this once pointed in the right direction.
SecondMe: Train Your AI Self
I see only two C files in the repo:
https://github.com/habedi/hann/blob/main/core/simd_distance....
https://github.com/habedi/hann/blob/main/core/simd_ops.c

So fixing to make it compile just with the Go toolchain (probably by rewriting in assembly) seems doable.
Using avo to produce assembly: https://github.com/mmcloughlin/avo
Curious.

Could you please share your physical activity level around the time of supplementation?

One of the most interesting studies I found in my research of vitamin D was a study in an elder care center where the patients were given massive doses of vitamin D.

The result of the massive doses were that patience had less hip fractures, but more falls compared to the control.

Now take this next part with a grain of salt because it’s me extrapolating from this result, but due to the known effects of vitamin D on muscle strength and also on bone density, I imagine that these patients were more active, but because vitamin D doesn’t give you coordination as well as strength they were falling more, their bones were more dense so they had less fractures per fall.

The point I’m trying to make and the reason I am curious about your own activity level, is that perhaps that there is a sensation or feeling of your muscles being more primed for action which can be agitating. Perhaps regular activity can link one’s sense of proprioception with increased muscular ability.

Apologies in advance if this is too personal of a pry.
As the article says, this is true for just about any cabling, copper, power, etc.

I’ve done cabling in two houses and I’ve never had too much. I’m always finding reasons to run more to new places.
> Which company, besides nvidia, has actually created a sustainable business model based on AI

NVidia's business model is not based on AI, is it? They are selling hardware. Their business success is "during a gold rush, sell shovels", isn't it?
> What are the practical implications of this kind of assembly language? Surely there’s more efficient means of describing 2D SDFs?

By analogy, you wouldn't program in LLVM IR, but it's a useful intermediate representation for a bunch of higher-level languages. Higher-level tools can target this representation, and then they all get to use a standard set of optimizations and algorithms (fast evaluation, rendering, etc).

(I gave a recent talk that's a broad overview of this research: https://www.youtube.com/watch?v=UxGxsGnbyJ4)

> My next thought would be to evaluate the program at a low resolution to create a low res SDF texture for the shader to draw at a higher resolution.

Glad you're enjoying the challenge! You may also be interested in

https://www.redblobgames.com/x/2403-distance-field-fonts/
The internet doesn't need to be the cloud.

Security cameras are the classic example of widespread self hosted but internet-accessible.

Even the ones that have proprietary apps are often just alternative frontends to a web server running on the home network.
Back when I was at school, I actually read the Book of Revelation[0]. I don't see anything that matches it to hard-takeoff — when AI folks talks of gates, it's the logical kind, not what existed when Revelation was written; nothing about seals, final battles, falling stars, imprisoning of seven-headed dragons in bottomless pits, etc. — while I wouldn't be surprised to see some connections (given how little imagination most people show), I just don't see any meaningful connection with any singularity stuff to the eschaton I was raised with.

So, I assume you mean something of a non-Catholic eschaton? And specifically, you have in mind something from a denomination that, regardless of what it says about biblical literalism, doesn't actually pay much attention to what's written in Revelation?

Hard-takeoff only differs from soft-takeoff in the speed of events; given how slow Revelations is ("thousand years" of peace, which I assume was written to mean "a really long time" and not even intended literally), I think that if anything, slow-takeoff is a closer fit than hard-takeoff.

Also, and this is kinda important, the Christian eschaton seems to assume the "good guys" will win[1]. AI-driven singularities just says that some AI — possibly plural, possibly singular — will win, but doesn't tell you anything about the morality of the AI, or if it's a replicated single mind, or a pantheon of different minds. The default assumption from many is more like the Cthulhu Mythos than like anything recognised as a real religion. There's no ten commandments for humans to follow to get into the AI's good books. Even if there was, digital copies of minds and a complete control over matter are much closer to the Hindu and Buddhist ideas of reincarnation than to the various Christian heaven/hell/purgatory combinations.

Even just upvotes and downvotes get me "karma", after all.

[0] I was raised Catholic to get me into a Catholic school, but that's not directly why I read it. My mum thought I wasn't reading enough, so paid me more pocket money for reading more books, and it just happened to be available.

[1] Christ/Yahweh and 12,000 from each of the 12 tribes of Israel, the latter of which makes a lot more sense when considering that the thing was at that point still an offshoot of Judaism, and had not yet developed a long-running antisemitic streak
Here's a museum catalogue entry [0] of a very similar object which the museum calls a fire mark.

The Licensed Victuallers' Association was a mutual benefit society for pub landlords. As well as operating institutions like schools and almshouses, it ran an insurance company.

[0] https://www.reading.ac.uk/adlib/Details/collect/12943
Deskilling labour in order to endroute around conflict in the workplace is as old as capitalism. It's not just about automating to reduce expenses, but also about reducing both bargaining power and the "specialness" of the worker.

Uppity Google employees raising a stink and not doing their job because of CEOs sexually harassing employees? Or passing around petitions about making weapons or unethical AI? Sharing their compensation package #s to improve bargaining position or deal with perceived injustices around salary differentials?

They only get away with that because they have bargaining power that management would dearly like them not to have.

The aggressive pivot to "AI" LLM tools is the desperate move of a managerial class sick of our uppity shit.
Thanks for the in-depth research; I should have done similar.

Your experience mirrors mine, down to the cranking being a vacation.

As I alluded to elsewhere I ended up outside Engineering for a substantial part of my career. Amusingly towards the end of my career I was offered a leadership position in the Engineering Department (I was in the Aviation Department, and this was an LHA) due to my background and my reputation within weeks of transferring onboard. It was unheard of, and there were some interesting meetings in the CPO Mess and Wardroom that I was involved in for that, but I ended up not taking it because I simply didn't want the hours.
Great search engine. I use it daily via SearXNG and an API key. Maintainer is very friendly.
Part 2: Validating the Breach Oracle Cloud Denied
Muscle cramps/spasms are a lot more than just vitamin D.. electrolytes are important.. If they have been deficient in vitamin D, chances are they are also deficient in electrolytes as well.
I was more referring to the types of economies.

Let me help you. Point one, of many: Argentina's economy is more agrarian than the USAs.

See? Wasn't that hard.
Here is an excellent video on the history of work. In short, the Dutch screwed it up for all of us. [0]

[0]: https://www.youtube.com/watch?v=hvk_XylEmLo