skysight-inc/HackerNews huggingface dataset:
I'm a huge proponent of ADTs being a more comprehensible way to write code than some of the alternatives. But I do have to agree with you that there isn't really evidence that this is a basic mental model.

However

What we do see is a bunch of mathematical disciplines that end up creating properties like: AND, OR, Universal, Existential, Implication, (and a few others). They end up in places like: set theory, type theory, category theory, various logics, lattice theory, etc.

Now, maybe they're only copying one another and this is more of a memetic phenomena. Or maybe they've hit upon something that's important for human comprehensibility.

That would be the 'evidence' of the positive effect of ADTs (scare quotes because it might just be math memes and not fundamental). But we can also think about what I feel is legit evidence for the negative effect of lacking ADTs.

Consider what happens if instead of having the standard boolean logic operators and, or, not, xor, we only have the universal not-and operator. Now a straightforward statement like: A && B || C becomes (((A !& B) !& (A !& B)) !& ((A !& B) !& (A !& B))) !& (B !& B) [I think...]. It's more complicated to tell what's actually supposed to be going on AND the '&&' simulation can get intertwined with the '||' simulation. The result being that requirements changes or defect fixes end up modifying the object level expression in a way where there is no longer any mapping back to standard boolean logic. Comprehensibility approaches zero.

And we've seen this happen with interfaces and inheritance being used to implement what would otherwise be a relatively simple OR property (with the added benefit that pattern matching ADTs often comes with totality checking; not something you can do with interfaces which can always have another instance even up to and including objects loaded at runtime).
In the vein of "can a biologist fix a radio" and "can a neuroscientist understand a microprocessor", see https://review.ucsc.edu/spring04/bio-debate.html which is an absolutely wonderful explanation of how geneticists and biochemists would go about reverse-engineering cars.

The best part is where the geneticist ties the arms of all the suit-wearing employees and it has no functional effect on the car.
Hopefully this serves as a wake-up call to small and mid-sized studios to stop letting themselves be acquired.

I get that it must be grueling to be an independent studio constantly jumping from one project to the next, worrying that a single misstep could mean people don't get paid. I've read the history of Obsidian studios.

But the alternative of not being under someone else's thumb is that it is less likely you are told, "Your team delivered everything we asked for--a stellar game, well-received, and it hit sales targets; but someone upstairs wanted more, so you're all fired."
It was a non-event because 2100 will actually be an "odd" one, divisible by four but not a leap year.

Every dumb implementation that looked at division by 4 got 2000 right.
I was about to say that.
Text based UML diagram creation tool
I think your curl approach would work just as fine if not better. My instinct was to reach for Node.js out of familiarity, but curl is fast and, given the IDs are sequential, something like `parallel curl ::: $(seq 0 $max_id)` would be pretty simple and fast. I did end up needing more logic though so Node.js did ultimately come in handy.

As for the Arrow file, I'm not sure unfortunately. I imagine there are some difficulties because the format is columnar, so it probably wants a batch of rows (when writing) instead of one item at a time.
Japan's Mitsui invests $200M to build Texas solar farm
It takes a while to get used to breathwork. When I started, focusing on the breath always gave me anxiety. It took quite a while to make it into a comfortable experience.
UTC to a time people use / is legally mandated does not require knowledge of leap seconds as UTC takes care of it. So for all intents and purposes with UTC you can ignore that leap seconds exist.

TAI to a time people use requires knowledge of all leap seconds as you otherwise end up significantly desynchronized.
>If you think about it, bottled water is the ultimate bullshit product. We put a freely occurring natural element in a plastic bottle, and create an object with the absolute worst utility-to-cost ratio. The object utility ends the moment you drink all the water, the plastic will stay as a residue for thousands years.

Oh my! I have been telling people just this. The sheer number of people who consume and throw this needlessly created packages is baffling. We have figured out water and its sanitation for most of the cases now. Just carrying a reusable bottle with water from home, and refilling potable water from sources you trust would save the environment from a lot of empty bottles. I would not say everyone can do this. But a lot of us can do this. Besides the bottles with less than a litre capacity are the worst.
Maybe the programmers you hang around with don't work on large scale message streaming? It's pretty niche
Personal computers were a tiny market. Languages for them was a need, but it was only a tiny gap. Some guy named Bill Gates wrote a BASIC interpreter that was small enough to fit on one. It was a tiny niche... but it kind of grew.

Paul Graham points out that some niches are "the Microsoft Basic" of something much bigger. And, of course, some niches aren't. But if you're looking at is as "what thing that's bigger can this be the doorway to", you're more likely to find something that's more than just that little niche.
Love the standup and other ideas here and happy to see a smarter alternative coming up to take on Atlassian and Jira.

Atlassian recently bought Loom and is clearly working to incorporate multimodal video/screen share input through Loom into Jira. We have a smarter Loom alternative (https://augmend.com) that is partially (scrensharing rust core) open sourced and we’d love to help you 1) not use your competitor’s product :), and 2) get you ahead of the Loom/Jira integrations and “better together” developments that are progressing now. https://www.atlassian.com/blog/announcements/atlassian-acqui...
See, that's why I shouldn't have assumed!
He is not correct.

No one needs citations to voice a commonly shared perspective or experience on an internet forum, get real.

My bad, he only has 3,300 comments. That definitely makes things so much better!

The only BS here are comments, like yours and his, not even remotely attempting to add anything useful to the conversation and attempting to pretend to have some higher standard while not even being able to adhere to it yourselves.

Hypocritical and uselessness in the same breath.
What is that API called?
>C has always had them, it's called union

It also has all the features of Haskell, since you can implement a Haskell compiler in C.
On Hack Club
I can’t understand what layer provides the state orchestration. Like, in celery is redis. What about here?
Give Brazil time. Things will improve again. I hope the EU Mercosul FTA puts protections in place if it is ever signed.

Brazil reached 92 percent renewable energy. So there are good news.

https://www.gmexconsulting.com/cms/brazil-hits-92-renewable-...
management, esp. on the mid to high level, is often about coordination, alignment, and communication. and often in ways that are not 100% provable, both in a CYA sense, but also in a "don't spook investors/the market" sense; until it's official, it's not anything. and in-person discussions lend themselves better to spitballing and brainstorming, IMO.
“Because that’s _all_ they care about”
I get the manufacturing Tradeoffs. What I was responding to was not an issue with part complexity, but part material.

They said "I can work with metal. I can't work with plastic."

Sure, nobody is going to machine a plastic replacement complex injection molded housing. You probably werent going to re-create a complex press-formed metal part either.

IT seems like it is more of a design complaint than a material issue.
Low hanging fruit that seemed somewhat common back in the day was not verifying prices of items on the backend. So a somewhat technical user could edit the price in the html field of the item to be $10 instead of $100.

Between this and everything being non https - what a time to be alive.
There is a always a purer version of any experience. This sounds a little elitist.
> Accidental dating app.

Possibly the greatest indicator of social startup success.
I mean, I think there is a reasonable argument here: Microsoft has corporate environmental goals and then as a matter of profit takes money from interests working in direct opposition to those goals. It does smack of hypocrisy, no?

I'd like to debate a few of your other points:
"Let's make the extraction of the life blood of all industry on the planet less efficient, less streamlined, less clean." - People often make this argument and I agree: oil is the _current_ life blood of all industry. The oil companies would like to keep it that way and have for years fought a very effective campaign to avoid responsibility for the externalities of oil production and consumption. They have slowed or blocked progress towards a _future_ where oil is not the lifeblood of industry. That is what we really need to get to as a species, don't you agree? There are no physics-based reason why some other technology couldn't power our lives. There are cost-based reasons why oil is currently the winning solution. This only works because we don't price the externalities, the _future_, yet to be paid cost of oil consumption. Fossil fuel companies have stood in the way of progress on renewables and exterality pricing for decades now.
I'm not sure how Signal would even begin to protect against this. If someone has your keys, there's really not much that can be done to save you.

This seems like saying you 'broke' bitcoin because you could steal funds out of a wallet after acquiring the private key for that wallet.

Maybe I'm misunderstanding?
most protiens require chaperones, to fold properly.
I feel this is pretty low on the list of things I want from a test.

Regressions should be rare; if you get a test failure when you break something's public API then that is already a success - we had the right test case!

That you then maybe need to spend a few minutes finding out exactly what is failing, I can live with that.
There are effective and ineffective MBA's.
According to vginsights, Factorio made $123 million on Steam. Maybe they didn't make the maximum amount of money possible, but they are good a making money.

https://vginsights.com/game/427520

Edit: The gross revenue is in the top 0.01% of all Steam games.
The ad was an interesting experience. At first, I thought why are they crushing all these creative tools? Then you see that no, they were pressed into the iPad. I get it - but I had to overcome an initial, negative visceral reaction. That's what makes this odd: your first reaction is negative.

Since it's all CGI, why didn't they show some "Apple Beam" or whatever taking those things and shrinking them down into an iPad? That way you eliminate the destruction which people are having such a negative reaction but still get across the point that all that capability is in the iPad?
I totally get where you're coming from. Sometimes we gotta just lay low. But at some point in your life, if you're always afraid of pushing back against demands because you're afraid of getting fired, its more of a "you" problem than a "them" problem.
A very important issue is how much this costs: there are a massive number of ways to rescue stuff from landfills--but only a very few are economically viable.
I've never got to solve a simple equation under Form. Everything else looks easy,
as most of the answers are either tautological or factor arrangements without stating
explicit units or magnitudes; but I didn't know how to get numerical answers.

Even by defining functions equally to 0.
Being honest is not easy. If it was, the world would probably have more honesty and truth in it.

If your fired for honesty, shake the dust from your feet, pick yourself up, and move forward with your life away from those tyrants. Will it suck? Yes, but only until you come out the other side.

The alternative, perpetually lieing to keep your job, letting those lies spread into the rest of your life, and eventually being caught in your web of lies, will suck much more, and there is no light at the end of that tunnel. Small lies turn into big lies, and some lies turn into several lies. Eventually, you will lose yourself in your lies.

And on top of that, now you were to one who perpetuated and invited evil to continue. You are the creature you wished to prevent by lieing in the first place.
So, any cheese or wine would be ultraprocessed according to that definition?
> Seems like anyone living in society has no right to criticise things society consumes.

I never said that. I said the efforts were misdirected.
>An 8-track digital tape recorder onboard stores data when collected at a high rate

Did not know that, amazing that survived after constant use.
Mostly I think PhD's ordinarily require studying ideas closely related to what journals have already published (How else to get two hundred citations in your dissertation?).

But I admit you are on to something. Now I would say starting your own journal might be the simplest way to get your research published.
We can think of it as the arts equivalent of the spherical cows in vacuum.
These definitions are surprisingly tricky because there is an adversarial process at play: any slack will be ruthlessly exploited by those looking to pretend that their pizza is healthy because they ground the flour themselves (or whatever).
I can get DRM, right now, for my videos, with 500,000 plays for $1665. That’s publicly available, commercial pricing. That’s a third of a cent per play. At Netflix scale, it’s probably cheaper.

DRM is a drop in the bucket compared to normal costs. A Netflix subscription is, what, $10? That’s enough to pay for 3,300 encrypted plays. The same provider, if I was doing over 10,000,000 plays, will drop it to just under one tenth of a cent per play, enough for over 10,000 encrypted plays. Compare that with how much the internet bandwidth, storage, and distribution costs - and the DRM is a rounding error.

You’re seriously telling me that not even one out of 10,000 plays is going to attempt a serious theft, to share it with random friends and family? Hah, it’s probably closer to 5 in 100.

Believe me - I’m not a guy who defines himself by living in a Hacker News bubble where everything needs to be perfect to be effective. I’d have DRM yesterday if I ran a streaming service, just like my copyright filings and the deadbolt on my front door.
Andy Grove was right
Yeah, pretty much my thoughts too.

There needs to be some good (not 20 people for 2 weeks) studies which compare the effects of "ultraprocessed food" vs "really tasty food", keeping total kcals constantly high. My guess is that a high proportion of the negative effects come from an excess of salt, sugar and fat (and too many calories in general) - which is precisely how they get the food tasting so nice in fancy restaurants.

I'm also sure there definitely are chemicals we're consuming in UPFs which are bad for us, but a lot of them are probably fine. Lumping everything together so it's possible for people to get the idea that an organic yogurt is somehow just as bad as a tube of Pringles seems counterproductive.
That an exercise on SICP, a Scheme learning book. And there are similar ones for Common Lisp.
Hard to believe that ending up with exact copy is not intentional.
The most important characteristic of "Ultra-processed" food seems to be the removal of fiber. Removing fiber reduces satiety (making it easy to each much more without feeling full), and increases the glycemic index (creating huge spikes in blood sugar).
Not really, considering the tradeoffs in intrusiveness/speed they carry.
1931. Not 1940s.

https://en.wikipedia.org/wiki/Statute_of_Westminster_1931

>>Most of the remaining colonies in North America – everything north of the United States with the exception of Newfoundland – were merged into a federal polity known as "Canada" in the late 1860s and early 1870s. Canada was termed a "dominion", a term previously used in slightly different contexts in English history, and granted a broad array of powers between the federal government and the provincial governments. Australia was similarly deemed a dominion when it federated in 1901, as were Newfoundland, New Zealand, South Africa, and the Irish Free State in the first decades of the 20th century.

>> No Act of Parliament of the United Kingdom passed after the commencement of this Act shall extend, or be deemed to extend, to a Dominion as part of the law of that Dominion, unless it is expressly declared in that Act that that Dominion has requested, and consented to, the enactment thereof.

In that language was/is Canadian independence from britain.
It sounds like Elixir might be a competitive advantage for attracting talent for the companies that do actually use it (much like python in the mid-2000s[0])

[0] - https://paulgraham.com/pypar.html
I’ve had this same thought but was unsure what the licensing for the data would be.
If oil beats out renewables because they're using the cloud rather than several colocated racks, renewables have bigger viability problems. Not saying they do, but the cloud won't be what changes energy policy.

This also gets at the issue of whether or not cloud providers are common carriers. Or even Spotify and Joe Rogan. As a business, I don't want to be in the game of policing which customers or vendors I want on ideological grounds because it opens the floodgates to more complaints like this. The bar for not doing business with someone acting legally needs to be very high.
China is as communist only because it calls itself so, but doesn't follow any of Karl Marx's communist rules anymore since 1978 or so. It's basically a capitalist dictatorship at this point.

North Korea also calls itself the Democratic people's republic of Korea, you think it's democratic?

And China pollutes a lot because it's the West's sweatshop so rich countries are outsourcing there pollution there by consuming all those cheaply goods made in China at the profit of the western corporations.

>Seems like even if the pollution is less, we still would just end up in the same place eventually.

How so? Capitalism demands virtually infinite growth long term along with visible growth on a yearly or quarterly basis.
> All the rendering happens server side, and bitmaps are sent over the wire. It's basically a crappy VNC.

Even if this were true (which it isn't), there's a lot more to a GUI than the G. A lot of nice interoperability is provided too, like clipboard integration, dragging and dropping, mixed windows on the same taskbar, etc. Far more pleasant to use than awkwardly going to a full screen thing to get a window out.
Good point. I'll look into that. Thank you for the feedback.

(You can swipe left/right to change rows on mobile; though your suggestion still stands. Just mentioning it in case it helps.)
Not based on AI biochemistry simulators, at the very least.
I was about to submit this. What are the chances...
Use a different Common Lisp implementation. There's a huge difference between Clisp, ECL and SBCL.

Sith SBCL, open maxima and run:

load("maximalocal.mac");
:lisp (sb-ext:save-lisp-and-die "maxima-optimised" :toplevel #'run :executable t)

Then you sould run maxima-optimized as the new executable image.
the order of folding is crucial, this is a progression of folding events.

the difference is akin to origami vs a crumpled ball
Relevant:

Eating for Two: Nourishing Yourself and Your Gut Microbiome

https://www.youtube.com/watch?v=8l4ofIBJ0GQ
Interesting, I could've sworn it was single-computer the last time I looked.
This is neat. Would be cool if there was support for a dead letter or retry queue. The idea of deleting an event transactionally with the result of processing said event is pretty nice.
Lawyers like to sue, so I am sure some layers are looking. Also, deleting right now is allowed on all social apps.
Yes, there is always the analogue loophole. And opening cryptography toolbox to control how users consume content is a lost cause. Crypto can only protect contents from adversaries that don't have the key. But here the paying user is the adversary and the only way the DRM can paint the video on screen is through that key.

So DRM boils down to security through obscurity. Turns out obscurity is hard, expensive and never works very well.
The radius display was great, but the two-page displays really rocked.
why would a gui app be more readable for reading text?
The only inate difference I can think of is the ability to vary fonts and rendering based on what you are rendering more.

And that can be a nice improvement to e. g show your code at a normal size but pop a tooltip up with smaller text, or have the linter/errors tab be a smaller font.

But that's a difference and not necessarily an improvement, because having a consistent font and fixed width text can make things more predictable and faster to interact with as you don't have to scan around as much.
That's exactly what this is. You write your own consumer/publisher code however you want, and interact with the queues via SQL queries.
For this particular device, there were 40 devices in the ancestry tree. While certainly feasible to traverse a graph of 40 PDFs and keep track of these relationships, it would probably take more than 5 minutes.

Additionally, not having the data in a structured format prevents seeing overall trends in the data.
The best book bar none that I've ever found on pranayama is Pranayama by Gregor Maehle
Thanks for the kind words, and raising that problem --- I've added it as an issue to fix.

Thanks for sharing that article, it was an interesting read. It was cool how deep the analysis went with a few simple statistical methods.
I don't buy that Microsoft's involvement does much to prevent spills. Exxon, for example, cares about spills mostly as a function of 1) regulation, 2)reputation risk and 3) employees who do care about things being done cleanly. I guess Microsoft's software could maybe enable the employees a bit more, but fundamentally the reasons they are safe have to do with incentives, not technology.
Recycleability isn’t really an issue because there isnt really a consumer pipeline for recycling metals of nonstandard shapes like cans. You certainly can’t just throw it in the recycling bin, and anything else is more friction.
It will be true because of the "within a visibility timeout" right? Of course that makes the claim way less interesting.

I took a peek at the code and it looks like their visibility timeout is pretty much a lock on a message. So it's not exactly once for any meaningful definition, but it does prevent the same message from being consumed multiple times within the visibility timeout.
We’ll burn that bridge when we come to it.
I wondered if anyone would question that! A touch of snark.

But, I’ve now been in the industry long enough that people have given me the same business requirements for intrawebs that they now use to talk about the cloud.

The idea of a UUID was always to sync pieces of data generated on nodes that might be across the street, or in Munich or Tokyo-023. They don’t have the same synchronous atomic clock.

Same problem, but we have new bandwidth, new compute, new thinkers, and new yellers.

The key is that latency has become low enough for real-time applications to always be on your mind.

Example: artificial neural networks have been around since the 60’s. You couldn’t get paid to work on them until GPUs gave you the compute, and cryptocurrency flooded the market with it. Same thing with fiber and always connected UI lifestyles.