skysight-inc/HackerNews huggingface dataset:
> "Full self-driving, but keep your hands on the steering wheel, just in case" setup

This is actually a trick though. No one working on self driving actually expects people to actually babysit it for long at all. Babysitting actually feels worse than driving. I just saw a video on self-driving trucks and how the human driver had his hands hovering on the wheel. The goal of the video is to make you think about how amazing self-driving rigs will be, but all I could think about was what an absolutely horrible job it will be to babysit these things.

Working full-time on AI code reviews sounds even worse. Maybe if it's more of a conversation and you're collaboratively iterating on small chunks of code then it wouldn't be so bad. In reality though, we'll just end up trusting the AI because it'll save us a ton of money and we'll find a way to externalize the screw ups.
Thanks for this. Looks cool!

I see you mentioned Radicle. What are the major differences compared to Radicle? Having read just the blog post I would guess it's the source of the identity as a start, so you can use users' existing atproto did s whereas Radicle has to bootstrap a whole new identity web.
Well... that depends on supply/demand elasticity. A tax on revenue relatively disadvantages companies that both sell goods that consumers aren't willing to pay more for, and that don't have the margins to support keeping prices to whatever consumers are willing to pay for. So in some senses it's a consumer win - they lose out on the goods with the least marginal benefit to them, and margins get squeezed into public/consumer coffers for other goods.

Conversely, raising the income tax relatively disadvantages companies in a different way, depending on which way you raise the income tax.

Who pays taxes is always based on supply/demand elasticity. There are various reasons that some tax or some combination of taxes might be preferable to some different combination of taxes that don't have to do with "who pays". Taxes are largely zero-sum-or-less in the effect collection/application effect, so the winners/losers aren't e.g. consumer vs corporations, but rather corporation A vs corporation B or consumer A vs consumer B.
I think this is a great line:
> My fear is that LLM generated code will look great to me, I won't understand it fully but it will work

This is a degree of humility that made the scenario we are in much clearer.

Our information environment got polluted by the lack of such humility. Rhetoric that sounded ‘right’ is used everywhere. If it looks like an Oxford Don, sounds like an Oxford Don, then it must be an academic. Thus it is believable, even if they are saying the Titanic isn’t sinking.

Verification is the heart of everything humanity does, our governance structures, our judicial systems, economic systems, academia, news, media - everything.

It’s a massive computation effort to figure out what the best ways to allocate resources given current information, allowing humans to create surplus and survive.

This is why we dislike monopolies, or manipulations of these markets - they create bad goods, and screw up our ability to verify what is real.
Would be cool if you make him run when the scroll becomes faster
You’re equating computer programs producing “wrong results” and the notion of inconsistency - a technical property of formal logic systems. This is not what inconsistency means. An inconsistent formalization of human knowledge in the form of a computer program is trivial and uninteresting - it just answers “yes that’s true” to every single question you ask it. Such formalizations are not interesting or even relevant to the discussion or argument.

I think much of the confusion arises from mixing up the object language (computer systems) and the meta language. Fairly natural since the central “trick” of the Gödel proof itself is to allow the expression of statements at the meta level to be expressed using the formal system itself.
A Distributed Snowflake-Like ID Generator
> into your cluster

I guess the point is: what if you don't have a cluster.
IMX, quite a few Python users - including ones who think they know what they're doing - run into that same confusion, because they haven't properly understood fundamentals e.g. about how virtual environments work, or how to read documentation effectively. Or sometimes just because they've been careless and don't have good habits for ensuring (or troubleshooting) the environment.
>> Wait, there's something here that I'm not getting. Why are you compiling the code to WebAssembly instead of just running it directly on the server?

> Well, everything's a tradeoff. Let's imagine a world where you run the code on the server directly.

> If you're using a language like Python, you need to have the Python runtime and any dependencies installed. This means you have to incur the famous wrath of pip (pip hell is a real place and you will go there without notice). If you're using a language like Go, you need to have either the Go compiler toolchain installed or prebuild binaries for every permutation of CPU architecture and OS that you want to run your infrastructure on. This doesn't scale well.

> One of the main advantages of using WebAssembly here is that you can compile your code once and then run it anywhere that has a WebAssembly runtime, such as with the yoke CLI or with Air Traffic Controller.

At this point, why not use a proper runtime like JVM or .Net?

Then one can also easily use reasonable languages like C#, Java or Kotlin as well.
This seems like a great approach that sits between using the sdk directly and a dsl/yaml. My experience has been that most of the people configuring these systems don’t know how to code, and configuration languages is their gateway. Most never venture past configuration which is why yaml is so used and difficult to get any traction outside of it. I think terraform adopted some of the patterns which have been around since a long time ( remember the chef va puppet discussion from a decade ago) and it massively helped with adoption. Cue seems a step up from terraform ( you can use cue vet for type checking, even if CRDs are not yet supported all the way) but tracking seems to be low as it’s hard for non-programmers to grasp. Maybe Claude will help to move all people that don’t want to manage these systems with code to something even more simpler than yaml and open the door for real infra as code for the rest.
> capitalism favors profits over anything else.

At what rate of return does "profits" turn into unbridled greed and capitalism turns into parasitic exploitation?
Once SpaceX gets Starship launching weekly, it'll probably be cheaper to send a bot with a camera to the moon than to rent a sound stage and build a big set!
Except it's not, because their example is trivially easy and common in Terraform.
Oh yeah, completely. Was just an offhand comment about my very recent experience with aging rubber of one particular type.
Who has that much time and money when your boss is breathing down your neck?
Purely a gut feel as I haven't verified, the amount of solar irradiance the surface receives would make any geothermal amount insignificant.
Wow, I wish I'd had this.

Closest I got was building theatre sets. But they were some awesome sets, with huge moving parts counterweighted via airline cable and sandbags, and we conceived and designed it all from scratch under very little supervision. Come to think of it I'm sure it wouldn't fly these days (I remember a substitute teacher walking into the gym flabbergasted at one point when I was climbing in the rafters drilling anchor holes for pulleys... the regular guy knew well enough when to be present and when to stay away).
“Algorithm” just means something which follows a series of steps (like a recipe). It absolutely does not require understanding and doesn’t require determinism or reliable outputs. I am sympathetic to the distinction that (I think) you’re trying to make but ANNs and inference are most certainly algorithms.
The confidence I gained from my middle school wood and metal shop classes in the late 80s came in handy 30ish years later when I remodeled significant portions of my own house in the 2020s, from the building fabric in to the floors and finishings. My white collar peers were surprised I could do such a thing, to say nothing of my South Asian professional immigrant family.

I feel like I got the best what those classes were meant for: teaching people how to build many of the things they need in their lives rather than be dependent on the consumerist systems. Self reliance taught through a socialist public education system in the Rust Belt. Go figure.

I'm so lucky I had it because most such classes were cut in the following years as public school funding was cut back.

I still have one of the industrial art pieces I made back in 8th grade shop class - a cast aluminum Great Seal of America, mounted on a wooden plaque.
Almost certainly, insofar as it’s already known and described in a number of places, including Wikipedia.
We've had people warn for the spam avalanche when we wanted to implement it company wide (about 500 domains).

After 3 years: ZERO spam
> If you really do think that Terraform is code, then go try and make multiple DNS records for each random instance ID based on a dynamic number of instances. Correct me if I'm wrong, but I don't think you can do that in Terraform.

It depends on where the source of dynamism is coming from, but yes you can do this in Terraform. You get the instances with data.aws_instances, feed it into aws_route53_record with a for_each, and you're done. Maybe you need to play around with putting them into different modules because of issues with dynamic state identifiers, but it's not remotely the most complicated Terraform I've come across.

That's a separate question from whether or not it's a good idea. Terraform is a one-shot CLI tool, not a daemon, and it doesn't provide auto-reconciliation on its own (albeit there are daemons like Terraform Enterprise / TerraKube that will run Terraform on a schedule for you and thus provide auto-reconciliation). Stuff like DNS records for Kubernetes ingress is much better handled by external-dns, which itself is statically present in a Kubernetes cluster and therefore might be more properly installed with Terraform.
> Since when are meetings between the US President and other heads of state televised live anyway?

With Trump, it's been normal through his current term.
To be clear, by "clinical-non-clinical", you mean a boolean flag for whether the appointment is clinical?
Isn't this just bringing stock buy backs to Crypto / Government. I'm sure the administration (individuals personally) has or will buy a lot of crypto. Next have the government buy it over a period of time, and then have the administration sell at the height. Effectively a way to pay the executive team. Similar to when Corporations do stock buy backs.

I wouldn't be surprised if they make reporting this optional.
It happens all the time. Way before LLM. There were countless times I implemented an algorithm from a paper or a book while not fully understanding it (in other words, I can't prove the correctness or time complexity without referencing the original paper).
I don't believe Google has directly caused the leaking of classified information, or attacking vital infrastructure, as of yet. Kaspersky, yes [0]. TikTok, yes [1]. Google do, however, publish information on commercial spy networks [2].

However, it is likely that I would do so if they show themselves to be an enemy of my nation. If you've found Google attacking a government, I'm sure plenty of people would love to see the evidence.

[0] https://securityaffairs.com/174586/intelligence/australia-ba...

[1] https://www.nytimes.com/2022/12/22/technology/byte-dance-tik...

[2] https://storage.googleapis.com/gweb-uniblog-publish-prod/doc...
> traction seems to be low when referring to cue. Autocorect issue
I don’t know what 120hz scrolling is but it runs fine on intel Monterey default settings plus privacy badger. I wish privacy badger would work in Kagi's Orion.
I have not seen any credible indications of post-election regret from his coalition.

They believed that things were bad and that Trump would make them better rather than worse. If that's not gullibility, I don't know what is.

His voters will ultimately be among his greatest victims... but he'll blame Biden for whatever goes wrong, and they'll lap it up like a dog with a dish of antifreeze, just like they always do.
How? I've looked for this in the past and it wasn't a feature...
I find ediff from Emacs to be superior to the JetBrains conflict resolution view. And I've had to deal with some gnarly (and large) merges at $JOB.

I dunno, something about its keyboard-driven design (and in general being Emacs-based) makes it clearer in usage than the JetBrains offering. Although this is probably what one is used to.

Of course, the really important thing is that people set merge.conflictStyle = zdiff3. Maybe a bit opinionated, but it really makes proper merging a lot easier.
Yes I think this is one way to attack the argument but you have to break the circularity somehow. Many of the dismissals of the Hofstadter/Penrose argument I’ve read here, I think, do not appreciate the actual argument.
Anybody remember Comet Cursor?[1]

[1] https://en.wikipedia.org/wiki/Comet_Cursor
> But, truly, what is the solution?

Let's use GitHub as an example. We have forks, and stars. Maybe we could also have some kind of build endorsement?

How one would verify that the endorser is worth your trust, I am not entirely sure.

Maybe endorsers could eventually be rated by CVEs found in their endorsements, and that would build trust?
Animation of Flow (Blender Conference 2024)
https://www.youtube.com/watch?v=fxz6p-QATfs
This soft touch plastic is a plague of early 2000s cars too
> Long story short, they all ghosted me. And, on top of that, Los Angeles County demanded a $2 million dollar bond (or whatever it was) as a precondition. Just f-ing crazy. I walked away and never spoke to anyone at the school district about this or any other STEM ideas again.

You just needed someone familiar with how this sort of bureaucracy works (I'm not agreeing with it, just pointing out that this is pretty standard). It really isn't hard and it is just box checking. They weren't asking you for $2-million in bonds, they were asking you to be insured or bonded for that amount of liability. I would be surprised if it cost more ~$200/year. Basically if you injure a kid when they stick their finger in an RC plane prop, they want to know that you are capable of making it right financially.

As far as principles ghosting you: yeah, they have a million issues that they are dealing with. They get a lot of people reaching out about various opportunities and programs, many of which will require more effort or time than they have available. People who do this work regularly understand that you have to be ready to show up with a turnkey program or do the admin work yourself, because admin is already under-resourced, and they don't really have time to explain to someone why they need to be insured or bonded, and why that is a pretty standard ask in today's world.

It sucks, but it is the nature of large scale organizations. Those organizations are organized around trying to meet their legal obligations to provide a basic education (based on criteria they have little input on) to every child in an area on a limited budget. They have precisely no organizational motive for an RC airplane club taught by an outsider. So when someone shows up and says that they want to teach an extracurricular course once a week, and then can't get his ducks in a row to get insurance, they rightfully deprioritise it. At then end of the day, the principal is balancing a fun extracurricular for 10-30 students against the needs of hundreds or thousands of students and dozens of staff.
>though I am slightly concerned that some people are copypasting large swaths of code from ChatGPT that looks mostly fine but hides subtle bugs.

They used to do the same with Stack Overflow. But now it's more dangerous, because the code can be "subtly wrong in ways the user can't fathom" to order.
> With code you get a powerful form of fact checking for free. Run the code, see if it works.

Um. No.

This is oversimplification that falls apart in any at minimum level system.

Over my career I’ve encountered plenty of reliability caused consequences. Code that would run but side effects of not processing something, processing it too slow or processing it twice would have serious consequences - financial and personal ones.

And those weren’t „nuclear power plant management” kind of critical. I often reminisce about educational game that was used at school and cost of losing a single save progress meant couple thousand dollars of reimbursement.

https://xlii.space/blog/network-scenarios/

This a cheatsheet I made for my colleagues. This is the thing we need to keep in mind when designing system I’m working on. Rarely any LLM thinks about it. It’s not a popular engineering by any sort, but it it’s here.

As for today I’ve yet to name single instance where any of ChatGPT produced code actually would save me time. I’ve seen macro generation code recommendation for Go (Go doesnt have macros), object mutations for Elixir (Elixir doesn’t have objects but immutable structs), list splicing in Fennel (Fennel doesn’t have splicing), language feature pragma ported from another or pure byte representation of memory in Rust and the code used UTF-8 string parsing to do it. My trust toward any non-ephemeral generated code is sub zero.

It’s exhausting and annoying. It feels like interacting with Calvin’s (of Calvin and Hobbes) dad but with all the humor taken away.
“Pretty easily”

Sure, how hard can it be to police the payment terms on every one of the likely billions of invoices out there and drag non-payers to court.

Such a system will totally not get abused with bogus invoices either.
Trump and his kids have admitted that their real estate business had a disproportionate amount of its revenue originating from Russia — most probably money laundering or simply keeping wealth safe from Putin.

Trump doesn’t see any problem with Russia because he’s not personally negatively affected by them, but he profits from their business.

It’s as simple as that.
That the Pentagon has announced it will cease defending Americans against Russian threats hardly means that Americans are not threatened.
Ownership isn’t a problem developers can solve, but lawyers will line up for it. After 50 or whatever years there is a lot of calcification around email.
Just read an article about one of these in the local newspaper.

They currently have some challenges with bureaucracy, at least in Austria:

Given that it is an industrial facility it has to be secured from unauthorized access, but as it is a field, it has to be accessable to small animals. So now it is fenced with barbed wire on the top but it's open at the bottom.
In my suburban middle school in Northern NJ, everyone (boys & girls) was required to take:

* Wood shop

* Metal shop

* Cooking

* Sewing

* Typing

I never saw an injury.

Learning to work with our hands safely was quite valuable.
CBOR started as a complimentary project to previous-decade IoT (Internet of Things) and WSN (Wireless Sensor Networks) initiaties. It was designed together with 6LoWPAN, CoAP, RPL and other standards. Main improvement over message pack was discriminating between byte strings and text strings - an important usecase for firmware updates etc. Reasoning is probably available in IETF mailing archive somewhere.

All these standards were designed as a research and seem rather slow to gain general popularity (6LoWPAN is used by Thread, but its uptake is also quite slow - e.g. Nanoleaf announced dropping support for it).

I would say if CBOR fits your purpose it's a good pick, and you shouldn't be worried by it being "not cool". Design by committee is how IETF works, and I wouldn't call it a weakness, although in DOGE times it might sound bloated and outdated.
I am a non-technical person, but your website looks super neaaat! Congrats on the launch tho.
In a somewhat big org with expanding in hiring. I myself am quite new (~ 6 months), and we have many teams working on a monorepo. It helps a lot when you spend 10 mins with a new joiner and just explain to them the overall process(s) and the exact issue: hey I noticed that the pipeline is failing perhaps you didn't install a tool locally etc let me get this chance to get to know you while we go over this issue.
You lost the opportunity to learn it if you did it normally
solar isn't free but it is the cheapest form of electricity we have (LCOE), and it's cost fell by a factor of 4 in the past decade. people absolutely want to hear their homes and boil water, but both of those are energy demands that are easy to time shift. any reasonably built home in the past decade is insulated well enough that you can only heat it during the day and keep it at a comfortable temperature. similarly, hot water tanks can be heated hours in advance when there's plenty of spare electricity. this obviously doesn't apply to all forms of energy demand, but heating (air and water) is the majority of consumer demand and is easily shiftable.
I'd be interested to see how this stacks up against Manticore or Meilisearch.
yes, I am aware. Maybe I was not able to communicate my opinion on that matter clearly, so yet me reiterate: does any of those robots can replicate? Can any of this robot survive in harsh industrial environment without maintenance for long? I.e. usually home appliances have IP code 22 [0], in industrial complexes it is IP 44 as far as I remember. Outside you need IP 65 or 66. I doubt any of those robots have anything higher then 20.
And how about batteries?

I do not think we are everywhere near self-sufficient robotics.

[0]: https://en.wikipedia.org/wiki/IP_code
https://archive.ph/vyGMw
>the majority of programmers can’t write FizzBuzz

How did they get through the Leetcode-style interviews before LLMs and remote interviewing?
Like someone below said:

> They just let pressure build up higher than normal for 6-8 hours and then the turbine generates more power than normal until the pressure falls back to normal levels again.

So they can run at more than 100%.
Was wondering this when the film started winning stuff earlier in Awards season...

What is the connection between these things?
Quirky meme video from awhile back: https://vm.tiktok.com/ZMkyTWLpV/

I don't really understand the Blender model/meme-world crossover here - can someone explain? Similar models? Similar concept? Same creators? Kinda wacky. Complete coincidence?!
Coooool. Please share code
respect to the dude, what a great act !
Both these (sløyd /woodworking, heimekunnskap/cooking and home economics) were mandatory for everyone in Norway back in the nineties(although to be fair shop time was limited to wood, we weren't allowed to use metal lathes etc anymore), as was sewing (both with hand and machines).

I'm still thankful because of all the stuff I can relatively easy cook, fix or make thanks to those few hours in school.

(I'd also say they made for extremely welcome breaks between boring stuff in other subjects and being bullied during breaks.)
> If their [swallows'] designer had any regard for the effect their flight would have on human beings, then they exist to bring out the bit of that child that is still left in us.

Besides the flight, I like how they are monogamous, some build mud nests, and if they migrate they'd often come back to the same nest. One family of swallows have built their nest by my aging parent's balcony, and have been visiting them for a few years every summer. It brings them tremendous joy watching them and seeing them care for the chicks.

Apropos of colorful descriptions of birds, it's hard not to mention The Peregrine by J. A. Baker. Someone recommended the book to me and I really enjoyed it.