skysight-inc/HackerNews huggingface dataset:
> My experience has been that most of the people configuring these systems don’t know how to code, and configuration languages is their gateway

I don't really disagree but this is such a pessimistic, NIH-syndrome viewpoint. Feel free to look at the code for any of the major Terraform providers. There's a lot of production-hardened, battle-tested Go code that's dealing with the idiosyncrasies of the different cloud APIs. They are an incredibly deep abstraction. Terraform also implicitly builds a DAG to run operations in the right order. Comparing writing HCL to writing straight Go code with the AWS SDK, the HCL code has something like an order of magnitude fewer lines of code. It absolutely makes sense to use Terraform / HCL instead of writing straight Go code.
> To get max performance modern engines run hot, aka ox rich

Oxygen-rich means you have extra oxygen which doesn’t combust. That necessarily reduces performance. Most rocket engines run fuel rich because hot oxygen is a chemical terrorist.
> Second, there is a large pile of money being given to people who make it over a somewhat arbitrary bar. As a random person, why would I not try to jump over the bar, even if I'm not particularly good at jumping? There are a lot of such bars with a lot of such large piles of money behind them.

Why don't we see job positions for doctors and lawyers similarly flooded, then?
It looks like the author is mistakenly using the sync versions of SQLAlchemy calls. Unless it's on purpose. Either way, not a good sign.
Let's back up a little. Where the hell are you working, and why are they letting you dump proprietary company code into a third-party cloud application, and paste the result into your code base? What are you putting into the copyright header at the top of the file?

AI generated code is radioactive. I cannot even upstream anything in my open source projects if it's AI generated. Licensing has to be crystal clear. The person has to have the absolute rights to the code that they're trying to contribute.
russian facists.
>They still optimize airframes for dogfighting

no

>are laser-focused on hypersonic tech

no

>and we don't officially know how good their missile defense is

we do know. Its mediocre at best.

The thing about Russia that most people don't get is that even before all of this happened, there was no money to be made in terms of talent for stuff that requires engineering. Everyone who was smart was leaving the country so they could make much better salaries elsewhere.

They are a full scale paper tiger, none of their stuff even from cold war era is as good as the propaganda claimed.

Their only real playing card is nukes.
> There's literally nothing of value there.

ISRU water to hydrolox to reduce amount of uplift from earth's gravity well?
Which is funny because China is the king of solar panels including both production and deployment, specifically in rural areas [1]. I'm very interested the "village level aggregation" which sounds super communal and solarpunk, TBH.

The big difference between China and the west seems to be that in the west, we need to pay a tax to our wealthy by their ownership stake in major companies and private capital that keep enshittifying everything.

[1] https://www.aiib.org/en/news-events/media-center/blog/2024/H...
It's not magic and it's not invisible. And if it's a government for the people, then it's the people that are being authoritarian. Maybe a high-liberties society can only prosper if it protects itself from the outside.
Lookup the meaning of theoretical
Well how else do you expect to be able to keep the Moon up?
Title just sounds better that way.

The best part about Purdue is that I can use “top CS school” and “random state school” depending on which sounds better.
Haltbakk bunkers were also the ones that left a russian mega yacht without fuel a while ago :-)
> Are there any initiatives or technical proposals for implementing email portability that you're aware of?

No, nor should there be, not as you are thinking about it.

> regulatory oversight

There is no global regulatory body. The Internet is a loose federation. Even the DNS isn't necessarily sacrosant -- there are alternative DNS roots, the most recent I am aware of is to support ENS.

With that in mind it should be obvious that there isn't a way to make addresses in third-party domains portable. If there were it would be problematic wrt security.

Quite awhile back, there was this effort called ENUM[0] that seems to have withered. My thought is that because phone numbers are portable, via ENUM we can make a sort of canonical email addresses discovery service. This doesn't really solve the problem for you though, and would be itself pretty fraught.

[0] https://circleid.com/posts/enum_mapping_e164_into_dns
Take that, Canada. /s
Terraform added tests somewhat recently: https://developer.hashicorp.com/terraform/language/tests
First day of metalwork I managed to catch my hand on a sharp edge and got a cut that was bleeding juuuust enough to warrant a bandaid. I went to the teacher to ask for one. The look of confusion on his face is emblazoned on my memory. After a few minutes of scratching his head and thinking about the situation, he found some packing tape and covered the cut with that. And that was the last injury in that class!
If I didn't know before there is such a thing as a standard internet reference object for scale, I do know it now :)
A community cannot manufacture solar panels or high capacity batteries either. Like it or not, these things require large supply chains to manufacture in volume
Appreciate it! That means a lot, especially coming from a fresh perspective
None of that prevents extremely wealthy people and organizations from buying enough politicians and media to corrupt the system. Europe has a lot of those things and is struggling with the same issues as the US. We need to either prevent such concentrations of wealth or create a democratic system that money can't corrupt.
> Obviously MessagePack is what cool kids would use.

Why is that even a consideration?

> To measure complexity, you can often use documentation length as a proxy. MessagePack is just a markdown file. The CBOR spec has its own gravitational field.

That's a proxy for underspecification, not complexity.
Genetic diversity is a scientifically measurable feature of an organism or population, often diversity is stylized as π. I've heard of grants that mention this diversity in terms of mouse populations which are currently frozen. The solution is to talk about 1-π, or "purity". Scientifically the same. Politically acceptable. lol
>The real problem with hallucination is that we started using LLMs as search engines, so when it invents a function, you have to go and actually search the API on a real search engine.

That still seems useful when you don't already know enough to come up with good search terms.
> I imagine reverting changes in a mutable environment is indeed quite hard to get right (and what you are hinting at?)

I guess you're not managing any databases then? Because you can't just treat those immutably, you have to manage the database in-place.
Are you weighing and judging thAt USA has killed millions of innocent people because of American Military Industrial complex before buying American products? You can’t divorce a company from it’s countries politics as you say.

If you are not judging the USA at the same standards as you do other countries then that would be very hypocritical.
This happened to me during the dot com bust and I was what I call self-unemployed from 2001-2007. I tried various things to make a living. Developed some games/puzzles websites that still make several hundred bucks every month like clockwork. Tried buying and selling stuff especially dot com surplus stuff like docking stations and also books and music CDs. Bought in quantity at local auctions and on eBay and sold individually through a website or on Amazon. Eventually I studied to become a mortgage broker and passed the real estate exam but then the subprime crisis burst and there was very little demand for mortgage loans anymore. Eventually I landed a software job at a startup and rejoined the full time employed.

Maybe create a software co-op where people meet and can give or get help with any projects they are working on. Meet anywhere convenient like local library or office after hours or even someones garage. Nobody gets paid unless by agreement and to make money people need to sell something (maybe just ads). There's a much bigger chance of success than if all the people work independently.
having flashbacks to scrubbing what must have been several square meters of the stuff off of the interior surfaces of a mk4 volkswagen golf
Yeah, don’t really understand the sentiment here. I’ve been programming for 20 years and actively use Terraform and CUE at work. I actually write a lot of Go code for our platform, but I’ve never once thought it’d be a good idea to just start calling APIs directly.
It's not a product. It's business core competency in the ml space.
Houten, in the Netherlands, combines both pretty well
- FastAPI doesn't require any external ASGI in prod either ever since they added the fastapi cli.

- FastAPI has built-in CORS. Has for years. I don't remember it ever not having.

I don't see how Robyn is faster for development and prototyping.
See https://18f.org/
I've thrown out an expensive chefs knife this week with a sticky rubber handle.
Also two pairs of boots where the rubber bases have just crumbled. I contacted the manufacturer of one of them because they were a very expensive 'best pair' and had hardly ever been worn. The reply was that boots have to be worn every few months to prevent this, and not covered by warranty. I wonder if all polymers/plastics are like this, use it or lose it. Entropy rebooted.
Not the case in Germany. Photovoltaic installations on agricultural plots are routine, in certain cases (I.e. the plot is next to a motorway) you don’t even need a planning/building permit, as long as the installation conforms to established building practices. Agrivoltaics is still a niche practice, but not because of bureaucratic concerns.
> At this point, why not use a proper runtime like JVM or .Net?

Because then you are forced to only use managed languages?
Copilot for sure should be able to describe the code and spot basic malware
Yeah know about Syncthing but it's "just" a sync tool. For my SO I would need something which a nice UI so it's easy to find what was shared, and I also want to be anle to share file links with others.

As for besides NextCloud, just to check my blind spot.
There are wider performance gaps between Python-based frameworks and things like using Rust+Axum or Go.
Love it! Super creative :)

How about a skier with little jumps or obstacles at each header
Very few for-profit projects have stayed as good (or improved) post their change to for-profit. If money becomes the sole driving factor for growth, no one can prevent enshittification. It is what it is...
> donations amount to so little compared to its Google revenue

“Interesting to note that the Mozilla CEO earned nearly as much ($5.6 M) as Mozilla received in donations ($7 M)” [1].

[1] https://lunduke.locals.com/post/4387539/firefox-money-invest...
I don't have a problem with that.

(I don't see how that relates to Godel's theorem, tough. If that's the current position held by Penrose, I don't disagree with him. But seeing the post's video makes me believe Penrose still stands behind the original argument involving Godel's theorem, so I don't know what to say...)
Maybe - but if it's not handled by the school, then there's going to be some sort of access problem for some kids. Transportation, time to do it, financial for the parents, etc.
They will sing at night if they're "frustrated" and haven't found a mate. I've seen song sparrows do this as well, but it was near a well lit area, so that may had some influence.

https://www.allaboutbirds.org/news/what-can-i-do-about-a-bir...
Neat concept. I like the use of passive properties of its materials and construction to help it move over rough terrain. It reminds me of the Mars Ball, an experimental Mars rover project developed in the 1980s at the University of Arizona:

https://www.lpl.arizona.edu/about/history/mars-ball-project

The Mars Ball was basically a payload suspended between two huge wheels each of which had soft inflatable segments. Rather than using cameras or LIDAR and SLAM to navigate the rocky terrain of Mars, the Ball could simply roll right over any obstacles.
The point of Land is that there is an underlying reality. Systems that make use of that reality most effectively are those that will propagate and dominate that reality. Landian intelligence isn't about scoring high on the SAT (which, obviously, won't make someone a star basketball player), but instead about how a system can react to reality to propagate itself. Almost tautologically, systems that make better use of reality outcompete those that make worse use of reality.
Yes, and even for TAS you usually have a division of labour between people who find the exploits and people who create the TAS itself.
LLM or human, what if they both competed in some sort of "I have the least CVEs in my endorsements list" battle?

This would actually be an excellent LLM coding benchmark,[0] in addition to a human endorser benchmark.

[0] If nobody is already doing this, especially retrospectively, and you do, then please at least give me a shout out. :)
Your opinion is not fact.
I wasn't disagreeing, just adding something about how to do it.
Something most people don't appreciate is that, outside of the distance, Mars is super easy mode compared to the Moon. The Moon has 2 week long nights cycling between highs and lows in the range of -130C to +120C, inhospitable terrain, constantly getting pounded by meteorites, no atmosphere whatsoever, much higher radiation, much less gravity, and so on. Mars, by contrast, is oddly similar to Earth - similar day/night cycle, even a similar axial tilt meaning similar seasonal cycles, relatively reasonable temperature ranges, some atmosphere, and more.

This is why the image of the Moon as a stepping stone to Mars doesn't really make any sense. The Moon is very much 'hard mode', but it's closer. So the main tech issue to make up (long distance travel) is not one that progress on the Moon will go much towards advancing.
> They're designed to make productive workers and members of society.

Let's say that is correct. Wouldn't the observed failure of school to make boys productive workers and members of society then indicate that it should be changed to meet its goal?
Timely article. I really, really want AI to be better at writing code, and hundreds of reports suggest it works great if you're a web dev or a python dev. Great! But I'm a C/C++ systems guy(working at a company making money off AI!) and the times I've tried to get AI to write the simplest of test applications against a popular API it mostly failed. The code was incorrect, both using the API incorrectly and writing invalid C++. Attempts to reason with the LLMs(grokv3, deepseek-r1) led further and further away from valid code. Eventually both systems stopped responding.

I've also tried Cursor with similar mixed results.

But I'll say that we are getting tremendous pressure at work to use AI to write code. I've discussed it with fellow engineers and we're of the opinion that the managerial desire is so great that we are better off keeping our heads down and reporting success vs saying the emperor wears no clothes.

It really feels like the billionaire class has fully drunk the kool-aid and needs AI to live up to the hype.
Paul Graham has an essay on this subject from 20 years ago that's still very relevant.

>Of the stories you read in traditional media that aren't about politics, crimes, or disasters, more than half probably come from PR firms.

https://paulgraham.com/submarine.html
> This is a great shortcut to achieve the previous point.

How does doing the hard part provide a shortcut for reviewing all the LLVM code?

If anything it's a long cut, because now you have to understand the code and write it yourself. This isn't great, it's terrible.
one is the cell phone you got from work, change employer, change phone number.
The other is your private cell: it costs more, but it is your number.
I don’t mind the zero value for the proto enums, makes sense, but I require converting to my inner logic to not include this “unknown” and error during the conversion if it fails.

I’ve seen engineers bring those unknowns or unspecified through to the business logic and that always made my face flush red with anger.
> Our commitment? To tirelessly support our customers—zombie, ghost, or otherwise—while maintaining a level of integrity befitting the smallest scandal possible. After all, the abyss awaits us all… but here at MALIBAL, we’ll send you there with a smile.
> It's doubtful that there is one piece of software that does anything non trivial that has bugs, even short command line programs.

TeX and Metafont and other Knuth programs come pretty close.

There's also programs that have been proven correct. (And the proof systems themselves are usually fairly small and can have multiple independent implementations. Or at least the core of these systems that everything hinges on.)
I'm quite happy with CDK[0].

My experience is only with the main AWS cloudformation based version of CDK, although there is also CDK for terraform, which supports any resource that terraform supports, although some of what I'm about to say is not applicable to that version.

What I like about CDK, is that you can write real code, and it supports a wide range of languages, although typescript is the best experience.

Provided that you don't use any of the `fromLookup` type functions, you can run and test the code without needing any actual credentials to your cloud provider.

CDK essentially complies your code into a cloudformation template, you can run the build without credentials, then deploy the built cloudformation template separately.

You don't need to worry about your terraform server crashing half way though a deployment, because cloudformation runs the actual deployment.

[0]: https://github.com/aws/aws-cdk
This specific issue is fixed, but they also added censorship. Try searching NIH.gov for “transgender” and it kicks you out of the search.
Unfortunately rubber deteriorates as it absorbs moisture. I forgot the name of the reaction, but keeping these things in a well ventilated, cool and dry place extends their life a lot.
No stress at all.

I made it for two main reasons. Firstly, I didn't want to burn through my limited Kagi trial searches. Secondly, I wanted to use bangs and snaps with search engines that don't support them.

I built it first and foremost as a tool for myself, and I don't have any explicit plans to monetise it. Donations are always appreciated though.

Privacy-wise, I can't see what you search, as all the site does is run some client-side JavaScript that constructs a simple URL based on your parameters, then directs you there. No back-end server or tracking or whatnot.
MIT 6.S184: Introduction to Flow Matching and Diffusion Models
Our MIT class “6.S184: Introduction to Flow Matching and Diffusion Models” is now available on YouTube!

We teach state-of-the-art generative AI algorithms for images, videos, proteins, etc. together with the mathematical tools to understand them.

Flow and diffusion models are mathematically demanding subjects - which is why many lectures restrict themselves to teaching high level intuition. Here, we give a mathematically rigorous and self-contained introduction yet aimed at beginners in AI. We hope you will like it!

From: https://x.com/peholderrieth
Or public and unclassified?
Ahh, good point.

I guess Rust (and maybe other unmanaged languages) can be compiled to WebAssembly?
Unlike the enum solution this is not nominal to my understanding.

const t = ('2' as '2' & {__brand: never});
doSomething(t);

Does not trigger an error.

So you can do something like

const _Foo2 = {
two: '2',
} as const;
const Foo2 = _Foo as Enum<typeof _Foo>;
type Foo2 = ValueOf<typeof Foo2>;

doSomething(Foo2.two);

without triggering a type error too.

With built in enums that would trigger an error

enum Bar {
No = 'No',
Yes = 'Yes',
}
function doSomethingBar(message: Bar): void {
}
// no type error
doSomethingBar(Bar.No);
// type error
doSomethingBar('No');

enum Bar2 {
No = 'No',
Yes = 'Yes',
}
// type error
doSomethingBar(Bar2.No);
Veryl 0.14.0 – A Modern HDL as Alternative to SystemVerilog
Depends how much CD you have.
Yes:

Go: https://go.dev/blog/wasi

Rust: https://github.com/bytecodealliance/wasmtime/blob/main/docs/...
Never gotten stuck in the more than 15 years (cvs etc before it) of using it; never needed a gui and hardly needed to look up anything (but we can do what's the issue with that?); work(ed) on massive projects. It's just not that hard.
> 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.

You’re wrong. You can do that with Terraform.

You can also provision stuff that isn’t just k8s.
There are times to do cross-cutting interventions, but this doesn't meet the "the CEO would be annoyed" test

Instead, email and recommendation they review with their mentor and ask who else should be cc'd

This and similar approaches would:

- gives them a hint + permission to gain informed mentoring on their team

- if their team refuses, reveals to them an "oh no", and documents it for the company

- keeps you unburdened. you only have so many mentoring hours before it flips to priority inversion, and your hours are likely more valuable to the company mentoring staff closer to you, e.g., inheriting your own code.

- no effort

If the situation repeats, privately escalate to your manager and make their problem because... their job is to shield you from such politics
A friend of mine has coeliac disease, his life literally depends on food produced to strict regulations and standards, the industry is all to often not upholding. Life is very different when your guts are a contamination sensor for failing regulations.

Decomplexification running amok, be it polpot or dodge, puts people for life dependant on a working systems like him literally on deaths ground. And you dont get to cope out: "we had the best of intentions, the idea is pure, where it not for the wicked, the flawed implementation". You get to eat thewhole meal.

To be viciously attacked by an anti-body who depends on what you attack to survive, and then see your idea tainted forever like facism and communism, simply another overdecorated funnel to falling apart. Some defeats ideologies do not walk away from.
A Universal Approach to Self-Referential Paradoxes - Noson S. Yanofsky [2003]
Your CEO will be very upset when they find out that their probable bonus is used on "useless" capacitors, 2 cents at a time. Instead, you should use 2 cent capacitors and pay him the rest for the ingenuity. /s
All of them. A command line should not be the default option.

Again, this is not to bash Git. It's a bash on the industry for selecting tool that requires engineers to spend time and effort on non-value adding part of their work rather than offering a solution so simple you would most of the time not even think about it.
> 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.

This is exactly the approach that Terraform takes. Both Terraform and its providers are written in Go, which is a great language for this purpose because of GoReleaser and the ease of compiling to different architectures and OSes. It scales just fine.

Did the author talk to any senior Terraform practicioners before building this?
Can this be used on AWS RDS? I’ve seen a few things like this that would be great to use but without RDS support they’re unusable for us.