skysight-inc/HackerNews huggingface dataset:
> Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka rock-solid semantics backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers.

Pretty comical to hear the words "easy to reason about" and "category theory" in the same sentence.

With apologies to the Haskellers, any time "category theory" is mentioned I feel myself shying away, prior experience teaching me that those words mean "you will spend the majority of your time working around the type system "; and, "we have more data types than individual bits of data that those types describe".

A little type system goes a long way, and there's such a thing as too much in my opinion.

I was initially interested because of algebraic effects in the language because I'm told they're basically the same as common lisp conditions. I really liked learning about conditions and I wish they were in more languages. I must confess I am less interested now.
The total amount of propaganda isn’t nearly the same.

Chinese news will have positive US stories including product launches such as the newest Apple products or the latest Nvidia GPUs. China will also show Hollywood movies and play American music in their coffee shops. You never hear Chinese music in American coffee shops or watch Chinese movies at AMC.

Conversely, nearly everything is negative about China in the US.
It's opensource and you can likely point it toward a standard openai compatible local llm for the inference :S

It literally says "if you'd like you can self host it yourself"
If by compacting the tree you meant compacting the space left over by the users deleting the records, it's about the same amount of work between the two approaches. The WAL+btree case needs to merge the near empty pages and copy the remaining records while the append-only btree case needs to allocate new pages to merge in the near empty pages and fix up the parent path which can be done as a batching garbage collection phase.

If by compacting you meant cleaning up the garbage pages, while the WAL+btree is simpler in truncating the WAL, the append-only btree is pretty easy. It's just doing upkeep on the free-page list.

There're only three places to pay attention: 1. any page touched by a transaction (read/write) is added to the in-use list. 2. When a transaction closes, removes its touched pages from the in-use list by decrementing their in-use counters. 3. When a write transaction commits, adds all the old overwritten pages to a pending-delete list. Periodically check the pending-delete list against the in-use list and any page not in use is moved to the deleted-queue. When the deleted-queue reaches a large enough batch, create a new free-page to contain the pointers of the deleted pages from the queue. Chain up to the existing free-page list in the meta page by storing the pointer to the existing head of list in the new free-page. Append the new free-page to the db file. Update the new free-page as the new head of the free-page list in the meta page. That's it.
Please understand, the gym is NOT for weight loss! This is a myth perpetuated by both food and gym industries. Weight loss happens 90% in the kitchen (what you eat). Exercise is important for health, but do not expect to lose weight. Make sure you/she are doing the right things that will lead to the expected goal.
I sort of have a bad taste about this project. I'll use proper support channels and won't rant here, but what happened was that my card was being declined trying to sign up. Thought I could self-host on a linode somewhere given the code is in the public domain, but there is no documentation :/
Inflammatory means it stirs emotions up in people. I'm glad you're aware of your emotions, but I'm curious, why did it do that for you?
It was never a grand Science Vs Church issue, not at the time at least, that came perhaps later with legend.

It wan't even the case that the Pope (in person) was mad with Galileo for being used as a Simplicio caricature and figure of fun in his work.

All the data used came from church funded observatories and church backed astronomers, all the main ideas from both sides of the debate came from church funded theorists.

The crux of the dispute and the trial was pretty much that Galileo was a dedicated edgelord who had decades of pissing people off and making enemies on his ledger.

Think less about religion Vs science and more about maverick asshole vs. faction within giant bureaucracy.

Once Galileo had "insulted the Pope" the knives came out and his enemies struck, it was a pure show trial fueled by personal vindictiveness that came from being the target of savage biting insults.
I mean it says you can self host it yourself... and its on github and opensource, and if it's using openai api, you can always use a self hosted api that's compatible with openai api to run mistral or llama to run it all locally.
So spin up a local llm with openai compatible api, and selfhost the inbox zero yourself lol it's opensource
I don't believe it's on by default. I've never run into it before (thankfully).
There are five or six whole pages of puffery about how amazing the NY Times thinks the NY Times is, followed by the laughably stupid claim that generative AI "threatens" the kind of journalism the NY Times produces.

Let me let you in on a little secret: if you think that generative AI can do serious journalism better than a massive organization with a huge number of reporters, then, um, you deserve to go out of business.

For all the puffery about the amazing work of the NY Times, this seems to suggest that it can easily be replaced by an auto-complete machine.

I've no disdain for the NYT but they can be absolutely wrongheaded sometimes - particularly when it involves technology. This last bit is certainly not limited to the NYT (and inc much of tech press).

From Section 230 to copyright to surveillance to social media to whatever nonsense is claimed by FBI directors - it seems like the staff's reasoning gets paid time off whenever tech is on the table.
Does the world need a general purpose alternative to IP networking?

I suspect that in any applications where IP is not the best choice, the best choice will be a minimal protocol that doesn't try to reimplements everything IP does.
Isn’t Google the only one?
Category theory is not the headline news here, it's safety without sacrificing performance by using a new technique to compile to binaries without a runtime or garbage collector, with potentially better deallocation performance than Rust, and functional-looking code like `array.map(func)` which performs as fast as a for-loop thanks to advanced analysis.
Thank you for the thought out explanation to a complex topic important for us to understand.

You recognize impact to exchange rates when one currency is in more demand than another. If this causes an increase in exports sold in the devalued currency, rates could eventually stabilize, but that depends on many things. Those exports could be gold in our treasury, US land, and factories. Those assets that are fixed in place are only valuable to a foreigner if they can be assured they will not be confiscated.

I know this is simplistic, but let's walk through this flow. I print up a $100 bill and give it to China for a washing machine. China will take it because they need it to buy a barrel of oil from Saudi Arabia. That $100 floats around in the world perhaps never returning as long as others accept and use it. If Saudis start accepting Yuan in payment for oil, China does not need that $100 bill as much. They start reducing their dollar reserves and US bonds. They use those dollars to buy the gold, US land, and factories. The US then has a lot of dollars but not as many assets. The dollars become less valuable because we have so many of them but not as much demand for them. If they are afraid of US sanctions, China will be less inclined to buy assets that could be seized and so the currency is less useful to them.

Admittedly there are many other factors. We will need to see how it plays out.
Still:

- the church officially wrote that the Earth is the center

- that the Holy Scripture says so and

- whoever says differently is heretic

and the Earth was never the center.
Mine was: "The size of the largest liberal. Dur Hur Hur! Bluuuugh."
Yeah, and I briefly considered that, but in truth I can't be bothered to run software stack of this complexity for my personal use for this. It's designed as a mutli-user web app, and that shows in the number of different services used in the backend. I like the idea of an app that sorts my email better, but not that much.

I would say I don't consider this a criticism of the product - they're clearly selling a hosted product that they were kind enough to open source, not making a product for end users to run that they happen to sell a hosted version of. It being inconvenient to self host doesn't reflect poorly on them.
The timing was the same for pretty much every country on earth, wasn't it?

Most countries had crime go down, in the US crime went up.

What am I getting wrong here?
I increasingly find the no two alike thing exasperating. Almost nothing in nature above the subatomic/atomic/molecule level is "alike" in crystals or anything else. Making BIPM spheres of counted atoms does not truly make them identical. Cubic crystals of salt will have differences.

At the level of detail most people can discern, I suspect many morphological forms of ice crystal are very alike, and we have to resort to the small imperfections to get to not alike.

Nothing is exactly the same. That's what discrete countable things are: distinct.

(Of course it's semantics. And poetic license. Most snowflakes are trivially unlike, and those which are nearly alike have discernible difference if you go looking for them. As do cells, flowers, grains of sand.. )
>I never said monopoly control.

You didn't have to. When asked to name one example of corporations getting people to pay for things they don't have to, both of the examples you named were examples of a monopoly. Burberry, for instance, has a monopoly. Only Burberry can make bags with the iconic pattern and logo, and if you value the iconic pattern and logo for reasons you're not obliged to justify to anyone else, you DO have pay Burberry for the privilege. That's a monopoly, and it wouldn't exist if the government didn't maintain it.
Also known as Uniform Function Call Syntax (UFCS).
Drop had that features. I was warned multiple times when I started hosting my file download away from my website host to Dropbox.
Daihatsu is its own brand.
Why would it die?

There are always grifters, scammers, and greedy people. They have to have something to do.
If you inspect the DOM, some of the avatars mention Twitter URLs. Some reference other domains. "@james"'s avatar references Unsplash; here's the image, by Midas Hofstra: https://unsplash.com/photos/man-in-white-crew-neck-t-shirt-a...

The Unsplash one is possibly the most suspicious. The others might not be Twitter handles, or the person might not have said it in a tweet.
> ‘jaywalking’ is racist in origin

This is false. The origin of the term is NOT racist. Please stop reflexively assigning racism to things, it dilutes and degrades actual racism.
It looks like we are both arguing with ourselves from a decade ago, so at least we share that common ground :)

Candidly, I don't know how constructive this conversation is at this point; given that you've mentioned "I also only have so many hours in the day, frankly not nearly enough as it is to do my work and take care of my family, and I don't want to spend any of them trying to figure out how to mentor people who send broken code for review without bothering to first figure out why it doesn't work how they expected and how to fix it" I find it hard to believe that being one of the best builders in the world is really your goal or that coding is anything more than a vocation for you rather than a calling. And there's nothing wrong with that, but it's going to mean we will simply talk past each other having two completely different conversations.

However, my advice is for those who are not content to be good enough at writing software to maintain a stable job in tech until retirement, but for those who want to go above and beyond that, and stop at nothing to be the best of the best and reap the rewards, internal fulfillment, and sense of purpose that comes with that. Realistically that isn't and it shouldn't be most the goal of most early stage engineers in the field -- it's an expensive goal that even if attained only will make a very specific kind of person (like myself) fulfilled. Your advice is likely good for the former category, while mine would be poor.

For those in the latter category, I'll contextualize my advice based on the this very well written blog post by Dan Luu about the difference between p95 proficiency and p99 mastery. You can sum up my argument as stating that overreliance on debuggers (and other tools such as IDEs) is absolutely something that you see in p95s that you don't see in p99s. P99s can utilize debuggers, IDEs and other tools but it doesn't materially affect how quickly they can execute because of how well trained, fast and accurate their "mental math" flavored problem solving ability already is [1]. If you're curious, please take a look through the linked blog post and see how much you agree with it.

[1] https://danluu.com/p95-skill/
I'm sure the government(s) have their own wake words too. Also how would anybody know?

At this point you should assume anything with a mic is spying on you, because you're right. We long since left behind trust.
Said another way if I understand correctly, erasure codes help as long as message + erasure fits into channel bandwidth. If it doesn’t, then erasure codes hurt. Is that right?
just goes to parked page for me.
The page literally says you can use either Kicad or Altium.
Those things should definitely colour your opinion[1]. What I’m saying is, if you want to give the EA ideas the benefit of the doubt, this is the strongest possible version that I can think of as an intro - one of the main dudes given a chance to really explain his point of view while being gently challenged intellectually, but without just guilt by association with SBF. Then if it survives that, you can investigate further if curious. If it doesn’t survive that, then the SBF thing might be the thing that finally sinks the ship but it was already taking on a lot of water already.

[1] In my opinion at least- they certainly do for me. I already had some qualms about it before that but it sort of confirmed a queasiness that I had about how it all seems pretty convenient. You can be megarich and live in a very selfish way and that’s alright because you’re earning to give etc. While I like the fact that they try to measure (and optimise) impact, I also have a big problem with the way MacAskill in particular seems to only value impacts he can measure, so philanthropy with social benefits - donating to things like art, culture, museums etc he basically says are completely worthless. That just seems very obviously wrong to me. From a personal point of view, I have seen the social mobility benefits that arise from things like art or music scholarships, where the benefit accrues to the family of the scholarship student even if (maybe especially if) they don’t go on to pursue a career in the arts.
I have a few goals that I’m already working on, because I believe you can resolve to improve yourself at any time and you don’t have to wait for the start of a new year… but my goals that I’d like to achieve in 2024 is to run a couple of half marathons. Ideally one will be in another country.
I also want to work on my strength training because I generally hate it and need to change my attitude towards it as I feel like as I get older it’s more important to make sure my body works how it’s supposed to. I’m also going to do physio to hopefully help reduce pain in my archilles tendons.
I’d like to negotiate a substantial pay rise at work, and I’m also going to get them to pay for one of my Masters degree’s, which will help for my skills to be more internationally recognised within the medical field so I can travel and work in more places.
I am also planning to graduate in June, and am starting an additional Masters in July, so hoping to do well in that too.
I’d also like to buy a house, but that’s tricky, if that doesn’t work out, then I’m going to do a trip to Japan with some of the money I earned by doing extra contract work over and above my usual job during the holiday season.
#2 is something that nearly no application I know handles, and it saddens me, but not to the extent that it seems to anger many of my fellows. It's perfectly okay to do so for YouTube, it's not worth bothering for many applications of less concurrency than that. Still, it fairly offends me that most applications exist in the middle, where they don't have read isolation, or use logical additions, or have a separate process that cleans up the followers at a point-in-time, so that it's bounded to a day's worth of updates.
If you're writing off CDC and EPA entirely then I think there's no common ground here.
> if you're not planning to take it for the rest of your life, there's no point

I'm at the age where I'm attending a ton of weddings, and many of the brides and grooms go on Ozempic for a few months before the wedding, fully acknowledging they'll probably gain all the weight back afterward (despite their best efforts to keep it off!)

The weight loss may not be permanent, but it's a day where most people are probably photographed and recorded more than any other day in their lives, and those captured images are indeed pregnant. The added stress and hectic nature of planning a large wedding makes it quite difficult to diet, exercise, and lose weight the natural way as well (I imagine).
[this is a repost, I thought I would do it once, since the first got buried fast]

I've written down how I set up my Mastodon server here. This includes some topics that seem not well covered currently:

- use nginx reverse proxy with the official nginx.conf [1], but with some changes for compatibility with docker

- use rootless docker, for security, together with bind mounts, for maintainability; including automatic updates with cron (without Watchtower)

- use compose, with some modifications to the official docker-compose.yml [2] that make life easier and are compatible with the reverse proxy

The rootless docker setup can be used as a blueprint for any docker stack.

[1]: https://github.com/mastodon/mastodon/blob/main/dist/nginx.co...

[2]: https://github.com/mastodon/mastodon/blob/main/docker-compos...
Qld government spent $18m making its own digital license app ignoring that Apple and Google both implement the iso specification for digital ID protection. I've had two interactions online with sw people convinced "they did it better" and I am buggered if I can tell how.
None of which had much to do with the persecution of Galileo.

The Catholic Church has changed its stance on many things through time, see [history].

In this instance the Church itself had officially requested a presentation be made to demonstrate various arguments for and against different viewpoints .. one of which was that the heavens didn't rotate about the earth.

It wasn't a surprise that such a well known hypothetical should appear in a book commissioned to outline such hypotheticals.
lol no. BC Hydro is profitable and is not subsidized by taxes, usually turning a profit for the province. it did this for decades until the previous government decided to privatize power production and surprise surprise that saddled the crown corp with a ton of extra costs where if it had built out the capacity itself and not funnelled money to private companies who were doners.

in canada every province with private electricity company is being reamed with high energy prices. every province with a government run power company is not. the same seems to apply in the EU/UK.

nationalized companies run from amazing too crap but every time infrastructure or natural monopolies is privatized the consumer/citizen looses out. EVERY TIME. from parking in Chicago to PG&E in cali to the 409 in ontario - privatization never works out and to prevent abuse regulation is always imposed.

turns out when you grant a for profit company a monoply they take advantage. every time without fail.

so we have on one hand nationalized companies ranging from bad to great for society to private companies always being bad doing everything possible to extract money.
page 17 of http://www.sfu.ca/~kawasaki/Elbaum.pdf :

In Japan between 1956 and 1976 the real cost of steel fell by some 39%. Although wages increased
more than 10-fold, gains in labor productivity more than compensated, so that real unit labor costs fell
by 16.3%, accounting for about 5 of the 39% drop in real costs. The rest of the 39% was due to a decline
in unit materials and energy costs.
Technically that should be "races to the bottom". There are multiple races, not multiple bottoms.

A race to the bottoms, however, does sound like a wholesome family activity.

(Apologies for the grammar nerdery; I mainly want to make the joke.)
This. People act like funding is some magical bullet that would make Firefox profitable.

Firefox is by many metrics a better browser than Chrome. I don't like everything about it, I think some parts of it are mismanaged, there are some parts that are underdeveloped and some parts that are straight-up frustrating. And do I get upset when teams get cut or features slashed? Yeah, of course.

But it's not lack of engineering that is making Firefox lose. It's antitrust. It genuinely is that simple.

You could replace the CEO with pretty much anyone on the planet and the situation would remain the same. The reason why Firefox is losing has nothing to do with features or engineering at this point, Firefox is already arguably better engineered than Chrome is.

Meanwhile, diversifying revenue is addressing one of the biggest criticisms people have of Firefox, that it is getting too much of its funding from Google. But does that help? No, because people have an axe to grind.
umm that doesn't explain why they are building nuclear - could it be because they realize they need the ability to produce power at night and when the wind isn't blowing?
I read that there were oral GLP-1 antagonists being researched a while back, but they failed clinical trials because they weren't effective.

I do think they'll probably be available eventually, but I don't think it's as trivial a problem to solve as you're implying.
I share this sentiment, although I have wondered if they're being overly conservative with this statement.
I daily drive Qubes and will never go back to a normie system again if I can help it!!
Can you explain how..

Its my understanding that if "OS process" runs with its own address space with privileges (as it needs to talk to hardware), once an attacker has code execution functionality, what stops them from mapping the memory they need then writing to the address to set uid ?
In the Lost Updates section, a more straight forward solution is to use the FOR UPDATE clause in the first select statement. This locks the record and prevents concurrent updates.
Reads like a cheap, passive-aggressive, ad hominem hit piece out to demonize and conflate individuals into a hivemind with cynical yellow journalism.
Misattribution or failure to attribute is a species of fraud, it has no relation to copyright.
There is UTM which is good enough: https://mac.getutm.app/
Solar Cell Efficiency Table
I'm puzzled by these comments. It might take well over a decade for a turbine to truly "pay for itself," depending local energy rates and how the project was financed. If you were to put it in the wrong place, there's no guarantee it will ever pay for itself. (not that a wind turbine was ever built for political rather than hard-headed economic reasons - that never happens!)