skysight-inc/HackerNews huggingface dataset:
We don't really call "Culinary arts" theory, it's more of a "art" Peter is largely not thinking deeply and as a result he defines "theory" in such a way that it refers to "Painting Portraits" as "theory" and lumps it with "The theory of Quantum Mechanics"

Generally we don't refer to "Culinary arts" as theory while we do so with "Number theory." A subtle distinction in meaning exists in our subconscious and Naur simply didn't have the self awareness to see the distinction. That's what results in his largely informal and qualitative paper about mostly nothing. Yeah building a program about say E-commerce is Obviously building knowledge around e-commerce... call it "theory" if you want but in essence it's nothing new under the sun.

You need to think in terms of the idea of "formal theory." Complex Number theory, The theory of general relativity. These things are distinctly in the same category as "knowledge" but refer to something more precise.

Naur likely felt the distinction but failed to put his finger on it. Like many laymen, if you call Scientology a "theory" they think of it on the same professional level as the "theory of Gravity". It's largely what Peter is doing with programming... he's just using the word "theory" to give programming more legitimacy.

He's not the only person to do this. Other bullshit like "Color theory" which chooses red, yellow and blue as primary colors is really just an arbitrary grouping that is only called "theory" to give it artificial legitimacy. The color sensors in your eyes are actually red, green and blue and color itself is actually a gradient of frequencies.

What Naur failed to realize is that Programming is distinctly the perfect vehicle for formulating formal theories around any subject. Keyword: "formal" Imagine a theory of "e-commerce" as formal and rigorous as Newtonian Mechanics.

But we almost never do this as programmers. Instead a program is more like "Culinary arts" a patch work of procedures and steps with no cohesion.

I made a JSON parser in the link above. And that parser is built using formal algebraic theory. The entire parser is created as a formula. An equation of smaller parsers.

It is literally the formation of a Formal theory of parsing. Or you can think of it as a Formal Algebra of parsing.

Obviously there's a larger theory in academia on parsing. But in my program there's a little formal theory there.

If programs are theory building. This is what is should be, this is what his paper should have been about. I think this was his intent, he just lacked the background to fully articulate and realize what is essentially a vague equivalence analogy between "programming" and "theory".

Largely readers of the paper and people who agree with him fell for the same trope.
I really want to like these tools. Yet every time I consider Zapier or IFTTT, their integrations are a mile wide and an inch deep. I’ll see that they integrate with XYZ corp, but then it’s only with a handful of endpoints.

Like say I wanted to gather attendees from my Google Meet, Zoom, Webex, etc and send them to salesforce. I’d look at Zapier and see they work with Google. Then I’d look for Google Meet and see there’s nothing there.

I get that these connectors can only integrate with existing endpoints. I’m not criticizing. I’m just confused. How do people actually use these services?
We "want" what is marketed to us.
> There’s plenty of guidance for developers to use modern image formats like WebP and AVIF which generally have a smaller file size compared to older formats like JPEG.

I wouldn't consider WebP over JPEG for lossy compression of photographs: https://siipo.la/blog/is-webp-really-better-than-jpeg
Never-Ending Learning of User Interfaces
Looking at self hosting, one of the requirements is docker. Is there another tool with similar UI to automate workflows on your computer locally (windows, Linux etc)? I just realized there are a few very good android automation tools which monitor various states and can act on apps and settings but I haven't seen anything that intuitive for windows.
Sorry for the loaded question, but can you share examples of companies using inngest in production and roughly what scale? Your product appears to fill the exact gaps in Supabase's current offering.
It doesn't even have to be EU based -- just create a decent product voluntarily.
Looks like cURL team is not in the list of CNAs: https://www.cve.org/PartnerInformation/ListofPartners - maybe they should be. The measure of the last resort for bad CVEs is https://cveform.mitre.org/ as I understand.
Not gonna be impressed until something that can beat insightface-128 comes out open, shocked no open source teams have taken the challenge to do a 512 model train.
Note that the pre-compiled binary blob the blog post is referring to has since been removed [0].

[0]: https://github.com/serde-rs/serde/pull/2590
Daft alt-right white nationalists probably don't enjoy it as much as everyone else.

But I see this as political discourse, and such, it's protected speech.
In the Midwest where I grew up, a burger came with ketchup and mustard. East coast, just ketchup.
So they used a feature built into a load balancer to gracefully drain traffic from specific availability zones? Odd that a feature found in load balancers from the last 25 years is a blog post worthy thing.
Pretty sure there’s been a deployment of this along the mountains here for a few years. I recall seeing some tweets the last fire we had showing their systems detecting fires.
Also `dua`[0] is a great `du` replacement which is must faster on modern NVMe drives. It includes an interactive mode `dua i` which I'd frame as a `ncdu` replacement.

[0] https://github.com/Byron/dua-cli
Reminds me of the Cavendish experiment to measure the Earths mass in 1798 which got to within 1% if the correct value (or the currently accepted value)

https://wikipedia.org/wiki/Cavendish_experiment
It's down to the distribution. If you roll without all the systemd and canonical nonsense, then you get a pretty clean system that's on par with the BSDs.
Is Slack still written in Hack/PHP?
The cardinality of the suppliers is higher than a dropdown of menus can provide. In some areas that straddle distributors it may be unique for each store.
The headline that I wrote is a fact, pure and simple.
Excellent thoughts by Graydon here.

One concern I have is that, every time he talks about the maintenance roles, I'm automatically thinking it's unglamorous, and marking a career plateau (perhaps decline).

I also instantly visualized a suited executive reluctantly deciding it's a necessary role they have to staff, and the exec will feed the trolls in the mine, but the focus (and rewards) will consciously be on the stars who are making new things happen.

Even though Graydon just explained that kind of thinking is a problem, I'm still thinking it.

If I'm still thinking that (with background that includes very serious software engineering, as well as FOSS), then my guess is that a lot of other people will be thinking that, as well.

BTW, I'm not saying that I'd personally devalue maintenance roles. If I was managing something important that needed to be maintained, and I lucked upon a stellar maintainer, I'd do everything I could to retain them and keep them happy, including making a case for why their comp should track with some of the new-product-star people.

I'd also try to make sure that, if their position declines/disappears (e.g., they no longer have someone advocating successfully for the role) that they'll be marketable elsewhere. (I don't want them ever walking into an interview and hearing, "I see from your resume that you're more of a maintenance programmer, but we really need people who can hit the ground running, banging out new huge kernel modules. Maybe you could assist them, by writing unit tests, and fetching their coffee, so they can focus on the challenging new stuff?")

One sign of hope is that the best-known worst-offender, at rewarding only new things, at least takes some aspects of reliability seriously.
Codeberg are the main maintainers of Forgejo, so I would assume so.
This doesn't accurately reflect the reality of the situation. Atlanta Public Schools (my local district) spends $22k per student and average teacher pay is like $60k. Get 7 kids together and you can hire a teacher with 10s of thousand left over for other stuff. Or send your kid into a class room with 20-30 other kids.

Some of this is cheating by not dealing with the added expense of special needs kids. But a lot more of it is the explosion of administration and expenses not directly related to education.

It seems to be the trend in local government. Taxes get collected and the bureaucracy grabs the bulk of the dollars leading only a little of the value delivered back to the citizens. Schools are a prime example. 25 kids in a class room are consuming $1 million of tax dollars and less than 10% of that goes to the person educating them.

Like you call $2k bonkers but what do you think APS is consuming in administration to educate my kid?
> For example, it's pretty clear the US seems to have control over NATO.

The whole point of NATO is for weaker countries to hand over the reins of their military in exchange for being under the US nuclear umbrella. The only two NATO countries that don't need the alliance as much are UK and France because they have their own WMDs together with delivery vehicles. Which is why France is always considered to be rebellious within NATO (and also because of cultural reasons, since the US-UK special Wasp relationship is a natural rival to the traditional French continental hegemony).

The second order effect of NATO is to keep nuclear non proliferation down within nuclear latent European countries like Germany. Most of the richer countries in the EU (and even some of the poorer ex Soviet states) are more than capable of developing functional nuclear weapons or delivery vehicles. Without NATO, the US-EU relationship would look a lot more different.
> The grid intensity in your location is 387 g/kWh. That's higher than average, so this site has been modified to use less power on your device.

Interesting, my location has "high grid intensity", so it showed me a lite version, with low-res images and some JS <script> tags commented out.

But the author explains the steps to determine this:

1. A Cloudflare Worker checks the request object for the country a visitor is located in.

2. If a location is found, then a fetch request is made to the CO2signal API CO2signal sends back data about the current grid intensity at the visitor's location.

3. The current grid intensity is checked against the annual average grid intensity for that country (data from CO2.js).

4. If the grid intensity is equal to or greater than the annual average, then the HTML response is modified using the Cloudflare Workers HTMLRewriter. If the grid intensity is less than the annual average, the regular (unmodified) site is returned to the user.

(https://fershad.com/carbon-aware-site/)

Surely all these steps combined above use more power than just sending the unchanged HTML page to the user?
This is the old "Rule of Law" vs "Rule of Men" question.

In a Rule of Men system, you have to ask some gatekeeper for permission to do things. The gatekeeper will always ask for something in return for saying yes, one way or another.
It's not bug. It's a feature.

antiboredom added the wontfix label 3 hours ago
It was literally the roop guy had issues because of where he's from being very prude/religious, so the fact they showed any cleavage at all set off his alarm bells and well roop died.
There is an open source driver for Vivante GPUs, including the GC400 (or maybe GCNano? and the official docs are oddly vague on what GPU is used and 3rd party sources disagree) used in the STM32MP157: etnaviv. I can't seem to find anything on what's in the STM32MP2 though other than that it supports Vulkan though. Not sure why ST is so tight-lipped on what GPU IP they're using
No, I meant what do you do for a living.
Why? It's a good idea to remove humans out of peacekeeping operations and let robots handle dangerous situations with potentially violent criminals.
Could you explain some more about why?
Thank you! I've wondered that, can't wait to see what he answer is.
We've banned this account for repeatedly posting unsubstantive comments and flamebait.

If you don't want to be banned, you're welcome to email hn@ycombinator.com and give us reason to believe that you'll follow the rules in the future. They're here: https://news.ycombinator.com/newsguidelines.html.
It's the opposite. CCs have mandatory payments and high interest if you miss the. Affirm has no penalties even if you miss every single payment.
> So far the only solid use case for Rust that I have seen in applications where security is extremely important.

Playing devil's advocate, when is security not extremely important, except maybe in throwaway bash script-type applications?
You need to discuss with ur manager about the priority of the tasks. This also help u with the bookeekping.

When things break u can say that u have already had this discussion and it was not ur responsibility to fix it at the time
https://archive.is/vLui2
I find the US bank situation so interesting and confusing. In Mexico you can always make inter-bank transactions that are immediate without fees through the national bank. There even is a mobile app where one can send payment requests to customers / friends and they pay directly from their bank into your account, it works as qr codes or sms. You can even integrate it on your web sites!

Here in the US I recently learn you can even over turn your DEBIT account, how does that even work?!?!
there are some data processing projects, www.pola.rs for example
Because their schools are financed by local property taxes so if everybody around you isn't rich, your public school is poor and bad.
> It's ok to show porn to kids, and if you don't want to, you're a bad person.

This is the state of leftism in 2023.
Crypto code should be written in assembly.
Zero ambiguity, zero undefined behavior, 100% verifiable.
Alt-right white nationalists lack self awareness, unfortunately.
but you don't actually need cell service on the hill, do you? there's no payment enforcement anyways, so you can just record the bill and submit the payment once you have service.
You can download books from the Kobo store. Most of them use Adobe Digital Editions DRM, which is trivial to remove using calibre, but some are DRM free.
Security is a weak-link problem. Once you decide to solve the bootstrapping challenge, you can use Rust for everything else.
Yeah, that law and the govt's response seems so absurd until you line up their incentives with the incentives of the Canadian communications oligopoly and suddenly things make sense.
Or you can create one yourself by writing a short pkgbuukd file
The dollar will not be 'dethroned', however, will lose a market share.

From the speeches made at the BRICS summit, it looks like the plan is to create a settlement currency for inter-BRIC country trades.

This was a probably long time coming. The 'exorbitant privilege' of one country being able to print currency every other country needs (or is forced to need) requires commensurate responsibility, including the wisdom not to use that privilege as an instrument of foreign policy. Unfortunately, the temptation to use the 'dollar weapon' has become too difficult for US Gov to resist and no one should not be surprised that other countries seek to reduce risk.

The US remains the No1 or No2 trade partner for almost every country in the world. so the USD will likely remain No1 currency, but it will lose a market share, a little at first, then maybe a lot
>>They are strictly private enterprises and aren't subsidized.

I guess this is a deviation of definition, "public transport" in the US is government run, regulated, and subsidized by government. There are no private "public transport" in the form of local buses, trains, etc. They are either quasi government run (amtrak) or directly government run "Transportation Authority" often run by city or state governments.

Airlines are private though at this point HEAVILY subsidized as most airports are government run, and they get bailouts all the time...

I can not think of a single mass transportation system in the US that is not either directly owned by the government or HEAVILY subsidized by government

>>Why is this accepted?

Good question...
> But that’s the problem with a standardization. What are the odds that all kids need the same amount of time for all subjects

They acknowledge that, but it doesn't change the thought process, right? If I know my kids can learn 70% more than they do in public schools, and have all the skills/tools to provide it to them, I don't care about the reason schools are inefficient.

The sentiment that homeschooling parents has is that public schools time things to target below average students. That's wildly inefficient. Couple it with a reluctance to hold back students and it gets even more inefficient. I went to a private school. For certain key subjects (history, math, science, etc), if you failed just one subject you get held back and have to repeat the whole year. As a student, this was fantastic. It means if your class got stuck with a "troublemaker" who was poor academically and disruptive, you wouldn't have to put up with him for more than a year. He would either shape up eventually or keep failing till the parents pulled him out because it's too expensive.
I thought I made that pretty clear in my article. Do I need to bring back the blink tag or something to make it more obvious in the future?
Are they tossing any money at actually doing forest management or are they just throwing money at random systems in hopes that they can solution their way around actually doing forest management?
I will help control the pet population. I will have my pets spayed or neutered...
What you say is blatantly wrong. I advise you to read the book World Wide Waste. It changed my view on that topic.
> Why are people in the US so against public schools?

Mostly, even homeschoolers, aren’t.

They either (and the latter is, I guess, a special case of the former, but worth calling out separately) think the existing public schools available to them are a failure in general or for the specific needs of their children that is unresolvable in time to adequately serve their children without being “against public schools” more generally (I’ve known people who work in public education and homeschool that are in this group with regard to their children’s specific needs), or they are ideologically opposed to education that isn’t guided by indoctrination in their particular religious/ideological beliefs and believe that the current public schools available to them are inadequate on those grounds.
I use it for a desktop file transfer app [0]. I chose Rust because my primary language is Python and I just wanted to learn something new and really different for this project. Go would have been easier, but Rust just feels bullet proof. It's so strict. If it compiles, it works! It's been a very interesting journey.

[0] https://github.com/transmitic/transmitic
A lot of it is lack of choice. My Toyota Yaris now is considerably bigger than my Toyota Yaris from 2005. I would actually like to buy a smaller car.
That will happen once the AI system is allowed access to drones. The AI will then maintain the optimum amount of tree biomass for ecological activity while reducing negative externalities on human populations.
The other bit is separating the service into isolated cells so issues in one don't affect dependent services everywhere like they had experienced before.

But yeah any good SRE could point this out years ago.
IFTTT is target more at personal usage while the others are more professional or more complex uses. n8n is, as the starting page, open source and self-hosted unlike those two.
Yeah, for sure. Individual companies run tens of millions of functions a month across anything as basic as braze-like customer lifecycle emails (https://www.inngest.com/blog/lifecycle-emails-with-resend) to running complex AI workflows at scale.

The basic premise is that you can send Inngest events (for free) then start writing functions hosted in your own API at any time, with local testing, branch deploys, etc.
So... America from 1850 to 1920. If you can anticipate and scale up industrial production to meet the wave of immigration and not just pen them up in refugee camps you have yourself another BRICS nation.
I find that these services are typically used to implement shitty half broken database replication. It’s obvious to anybody that’s worked on that sort of problem that it’s a fools errand and is going to result in terrible, brittle, untrustable data. However, their marketing and product success depends on you not knowing that.
https://github.com/darwin67/ex_inngest. We'll officially support this soon — it's written by one of our engineering team.

The SDKs are lightweight, work in any language (we only support a few right now), and you can live-migrate long running functions across languages at any time. Long running state is automatically transferred across those SDKs.

One of our foundational aspects is to make long running state, queues, events really easy, and that means we need to make multi-cloud and multi-lang migrations easy, too.
A video of the transformation of a single cell into a salamander
It’s tentatively planned for 3.0. https://github.com/bluewhalesystems/sold/issues/8

The file formats are indeed totally different. But the operation of linking is the same at a high-level.
Oh. Drop-down with stores then and the closest one picked by IP location or device location API. Still no need for Google maps unless a user wants to see locations on the map.
> A lot of engineers just want to work on whatever they want to work on most, but that’s a problem in the context of an organization trying to coordinate.

May be it's actually a management challenge to turn this enthusiasm into money?

What's a problem for one person makes an opportunity for another person.
Thank you for the explanation. The implementation details and the history are both interesting, but again - completely irrelevant to the question of "am I running out of disk space".

Having thought of your suggestion again (df should hide irrelevant mounts), I think it would be unfortunate. I might have legitimate reasons to check on my tmpfs mounts (e.g. as you suggested, a stupid program dumping cruft into /tmp). Changing df also doesn't help clean up my Grafana dashboard.

Again, I think the root cause of the problem lies somewhere between exposing implementation details to the user, and layering on more uninvited complexity. Between a bunch of Linux boxes I have at hand, /run, /run/lock, /run/wrappers, /run/user/1000 (and /run/user/1001, 1002...), are all separate mount points. If /run is already a tmpfs mount point, why does /run/lock have to be one as well? The mount flags are pretty much identical. If uid 1000 shouldn't be able to deny uid 1001 the ability to write to their XDG_RUNTIME_DIR, why not implement some form of quotas?

I'm sure there are good answers to all of these questions, but my main point still stands - even when this information is relevant, it's being drowned in the noise.
The US car fleet is also unusually old. If transit worked better, using AVs or not, it's a pretty good hypothesis that people keeping old cars on the road would find using better transit saves them money.
I use Roop (which this is a successor of) to make stablediffusion pictures of myself (e.g. for my slack avatar).
Bash has a range of modifiers for history expansion. You can "cd !$:t" to execute "cd <final argument of last command, basename only>" for your git example. zsh, somewhat predictably, has a superset of bash's modifiers so it works there too.