skysight-inc/HackerNews huggingface dataset:
Yeah, Hickey was just wrong about this. For me, watching his talks goes like this:

Hickey: I value X, Y, Z

Me: Yeah man!

Hickey: We get great consequences A, B, C

Me: Ah yeah, I love programming like that. That's why I love Haskell!

Hickey: That's why Haskell is bad.

Me: err, what!?

> It tells you that the function must calculate a subset of a permutation of the input list

As tromp pointed out, "permutation" is technically incorrect. You mean something like "a list formed only from elements of the elements of the input list, and the particular arrangement is independent of the values of the input list"!

Not sure why you were downvoted though.
It's pretty obvious from OpenAI's corporate structure that they always knew they were a moonshot. If their products reached the point where they were reliable enough to fully offload human labor onto, the increase in productivity would be extremely valuable. At the level of reliability where a human still needs to check the machine's work, the utility is extremely limited.

And I don't think there's anything wrong with that. Compared to most things that we burn respurces on, at least the AI investment has produced something that doesn't unambiguously make the world a worse place.
what's your solution?
Interesting! I think you're probably onto something there. Agree it's more of an excuse than a reason, but still there will be low margin products that have to go that direction due to the math.

I tend to think B2C is who needs the most protection from the gov since C are relatively powerless, whereas B2B tends to be more balanced, but the more I think about it the more I think that perhaps we're overlooking an important area. Nevertheless I think for now we need to focus on B2C and worry about B2B later. Can't spread ourselves too thin.
I'm working on setting up my first homelab using Proxmox. It's more of a hardware and cable routing project right now but I'm excited to move towards setting up the software side of things soon!

I'm also learning JavaScript through Daniel Shiffman's book Nature of Code. As someone who has a background in modeling it's a very engaging read, and the exercises are fun!
"how do you grow a winery with a small fortune? Start with a large fortune"

- silicon valley joke since at least the dot com bubble
Has anyone actually tried to use AI in a live environment to order takeout or make a reservation by phone? I am really tempted to try, but feel like it's deeply violating an unwritten rule of human decency to do this on an unsuspecting local restaurant.

If I was a restaurant worker, there's a pretty high likelihood I'd just hang up on a call like this or try to call back and reach a human.
RSoC 2024: Dynamic Linking – Part 2
As an ex Apple engineer, i think you're overlooking that a huge fraction of labor is robotic, and has been for at least 15 years.

(even in the famous contract manufacturers used by Apple and Dell, etc.)

The point is that what you counted as not cheap labor probably is largely capex.
You are correct, something is not in sync with that map and their description. That is, their description says that five states have passed legislation: New York, California, Minnesota, Oregon, and Colorado. But in the "Passed" and "Active and Passed" categories on the map, it includes those 5 states plus Massachusetts.

FWIW, all of the searching I could find about Right to Repair laws in Massachusetts focused solely on vehicle right to repair (e.g. see https://en.wikipedia.org/wiki/2020_Massachusetts_Question_1), not on electronic devices generally, so maybe that's why Massachusetts was not included in the description (which specifically said "passed electronics right to repair legislation") but was categorized on the map.
Your link doesn't demonstrate the use of stochastic calculus by life insurance companies or for life insurance. It's just an undergraduate curriculum for actuarial students (that they learn all this stuff doesn't imply that's what life insurance companies use).
We need more standardization in the software world so that we can reason about how the systems work. Laravel and this new offering are a great example of that. Bravo!
Love it.

Reminds me quite a bit of what I do; which is https://zim-wiki.org + a custom template I designed.

Plus some scripts and such to keep up with (bleh) Canvas CMS.
Last year's Nobel Prize on economics was given for this very research!

The TLDR; is that the countries where colonizers moved in to settle are doing better than the countries where colonizers moved in to exploit the natural resources.
Could be useful to have the number of working days left in the quarter (even an approximation of 5/7 would do).
Same frustration, exacerbated by the mobile keyboard. I played on an iPad with large attached keyboard, but had to hunt & peck at the on screen buttons.
The 500B is just something to put on a press release.
The paper in question: https://arxiv.org/abs/2412.06288
Cosmic Alpha 6: Big Leaps Forward
> OpenStack is a cluster of poorly-interoperating, poorly-documented products -- The customer experience is fucking terrible.

I assume you were unfortunately a victim of Mirantis/Fuel/Puppet/Mcollective... or one of the 'converged' solutions.

While I wouldn't call OpenStack "fun" Especially in the Essex to Icehouse era, where vendors seriously impacted the code stability...It is just a well documented collection of separate components that interact using REST api's and RPC like calls over a message bus.

Nvidia, Cern, JPL, and lots of smaller companies that need private clouds and have the expertise are still running OpenStack.

For me the main value is the ability to have portability between public and private.

If you just use the ansible playbooks included in every OS repo, it is pretty easy to roll your own deployments that are quite easy to maintain if and only if your company is mature enough to follow that model and isn't subject to the soicotechnical issues that plague containers too.

While the workflow changes, the hard parts of OS and k8s, including networking, monitoring, etc,.. are exactly the same.

As a random example of what always screws this up let me point at kubespray, which is not unique at all.

Note the:
> Remove docker requirements
https://github.com/kubernetes-sigs/kubespray/issues/6400

That is because, like many projects, they didn't respect the natural boundaries of the node components, and they are now paying the price for that debt.

k8s and OS from an infrastructure point of view are equal in complexity. It isn't instantiating a container with CRI foo, or libvirt command bar that is the hard part.

It is the distributed computing, virtual networking , resource allocation, federation, API's etc... that is hard.

Note, if you think that the "OS is dead" for all needs, especially in the telco space, you may want to dig into what containers actually are. They are just namespaces running on an OS, and it will still be horses for corses as to what is appropriate.

Especially if you are using the easy ways of instantiating hardware for k8s, almost all of them are highly insecure by default and you are going to have to dig into the same style of systems with similar components or you will have a leak of data at some point.

I wish there was something better than OS, but if you use a dev mindset and not a glass house IT mindset it is a very useful tool that may be the least worst option for you for some needs.
Musk's demand to government workers opens fissures in Trump administration
I struggle a lot with this, I keep a blog and every time I start a new post, I get the feeling that it should be "good" (for some definition of good), which makes the writing of most entries to drag for a week or so.

On top of that, I reject a substantial amount of the ideas that I get, because they are not good/deep enough.
A quick Google shows 65% of public companies use calendar year as their FY.

At our startup, it's even more complicated :) we use calendar year for official financial / business metrics, while our planning quarter is offset by 1 month (Q1 = Feb/Mar/Apr).
I want to think you're right, but most of the activation I've seen on RtR is from people who are mechanics and others whose livelihoods are threatened by this (like farmers). Most consumers (at least in my small sample of anecdata) don't seem to care at all for whatever reason. The ones who do are a small enough group to be safely ignored.
Isn't conscientiousness a biologically driven psychological trait? I always assumed that to be the case. I don't think you can train conscientiousness or any other psychological trait for that matter.
But I am no expert and would be delighted to be convinced otherwise.
Anthropic adds advanced reasoning to Claude 3.7
> 1. Parking apps are worse than parking meters.

Not the appS for parking in your location. ( I say apps because I would have to register to two apps and those don't cover 100% of districts)

But where I live, the parking apps are buggy and resource hungry (could be just another bug)

We can still buy 15 min / 30 min ,60 min tickets. The problem is each district has its own tickets :/

I still prefer the tickets. At least I know with certainty if I can park or not (depending on my having of tickets or not)

But usually there is a private parking lot around the corner. Which is another argument agaisnt installing yet another app.
They say numbers, but apparently it's only single-digit numbers:

> They give you 80 random numbers that they display on a screen. You have to memorize all of those numbers as fast as possible, then click a button and a recall sheet appears. I wrote down all of the 80 digits — and I got them all right.

Insanely impressive one could do that in 13.5 seconds...
I often wonder, like was this top down, or was this bottom up? When you have Twitter and everyone gets to make their own opinions, like how do you "control the movement". I think there was some sort of organic sense that progressives were looking for ways to support a community.

That all being said, I sort of didn't like the coerced pronoun thing from the opposite side. I do sometimes empathize with the fact that are things you do for political reasons (normalize pronouns) that aren't perfect interpersonally, but like as someone is sort of gender-agnostic.

I don't want to talk about my pronouns because I feel like it forces me to reckon with a thing I don't want to reckon with. Gender has always been a sensitive topic for me, so it feels strange to sort of open a conversation in front of my colleagues with something that feels very vulnerable. And then to sort of be chastised for not being a good ally because you don't want to announce your pronouns. I have to imagine there are other trans and non-binary people who are not out who feel similarly awkward.
Reddit has gotten so bad over the last decade that I've stopped browsing it altogether, except for one or two niche subreddits every now and then.
This immediately made me wonder if there's some grand unified sorting algorithm, from which all other sorting algorithms can be derived. Could we somehow turn this thing into a quicksort, for example?
Weight the good more favorably than it sounds like you've been doing.

You take the "bad with the good" just the same as you take the "good with the bad."
Saving Skills and Sharing Traditions
Universities Must Embrace AI or Face Extinction
> Child who isn't favored feels alienated

Well...yeah that's why you shouldn't favor children.

I never said it was problem-free. Only natural.
"They"ing people when you don't know their pronouns is actually pretty standard among the queerdoes I know (and count myself among)
If I'm asked to be more professional or to prove my credibility to someone leaking the data of their customers, I just laugh. I owe nothing to the company being negligent. A notification email with all the pertinent details is what you get.

If a company isn't going to act on it after confirming my "correctness" just because they want me to show them my diploma and resume, that says a lot more about the company than it does me.

But don't fret, as I said the number of companies that forced me to jump through hoops to report a security issue, or threatened me after reporting one, has made it so I don't often bother anymore. Hopefully someone with a more professional tone emails instead, before the data gets sucked up by Lazarus Group or whoever.
I don’t think you grasp what “omnipotent” means. That literally means unlimited power, which would actually be an argument for why God has this authority.

On that note, who is being cruel here: A God who imposed rules on how he wants his creatures to behave to his other creatures; or a creature who hurts his other creatures, and then calls God cruel for stopping it?

Edit, to your reply:

> I know what omnipotent means. The contradiction is that it shouldn't be possible to violate the will of an omnipotent God.

You will have to provide some citations for such an axiom that aren’t based on an atheist stereotype of “omnipotent” and “will.”

TLDR of a Christian perspective:

God is love. Love does not exist outside of God. Love is defined as willing the good of another person. As such, love is fundamentally a choice. As such, humans must have a choice to love. To do otherwise, would make a human a robot. God knows what choice we will make, but does not force it. (A parent who knows the teen will not resist the cake on the counter, does not force the teen to eat cake.) It does not follow, that if humans refuse to love, God should nullify all consequences.

On that note, Hell was not made for humans but for Satan, and we as humans have only the ability to choose love (God) or absence of love (Hell). A person who has chosen to not love, logically cannot live with love itself. Viewing it as humans choosing to damn themselves by refusing to love, would be a more accurate perspective.
You can be happy thinking of yourself; you just might be branded a megalomaniac.
You would have to introduce jitter to every possible dimension, when the dimensions themselves are continually expanding (as illuminated by the bike wheel example).. the combination of jitter x dimensions leads to an undefined problem (AKA theory of everything) in exponential fashion
They were released at the same time and were found to be just as effective? Which ones?
Thank you, this is why whenever I see a surprising headline I scan the top comment before reading the article.

Is there a chance that boys and girls are favored in different ways and that’s just not being captured correctly? I know my parents treated me (male) and my sisters very differently but it’s hard to say if anyone was “favored”…
I came across this the other day. Super tragic. I'm not a user of these substances but I'm not against them either, but this was a dark perspective that I'd never heard of.
I guess, but pretty much every LLM is trained with data outside the public domain--whether they admit to it, or not.
I read the article very differently. Paul Adams is sort of a crystallographer's crystallographer who shows up to write key papers at important times. His work can generally be considered "technically correct" but also strongly in favor of maintaining the viability of crystallographers. If he writes a paper showing tiny differences (those "local" and "global" differences in the abstract) then it's really an implicit "wow, AF3 is amazingly good" and "the remaining needs for crystallography grow increasingly sparse".

(my phd is in structural biology, I've worked across multiple fields of protein structure and function, have worked with Paul in the past, and work in the field of protein structure now, although mainly on the backend infrastructure. So I have some of the credentials necessary to make the statement above.
Best explanation of Q, K, V? (Attention)
I'm having a hard time understanding how Q, K, V work.

Please drop your favorite explanation below.
Cool game, some references made it a bit hard for me like the Brady Bunch one or the cost to call someone who cares, but I don't know to what extent there's a culture barrier vs a generational one
Obviously the personal preferences about code formatting vary a lot among programmers and it is impossible to reach unanimity.

For instance, I am among those who are annoyed when seeing lines of text wasted with the opening curly brace, reducing thus the number of useful text lines visible on the screen.

Probably it is best to use an automatic code formatter and format the code according to personal preferences while working with it and then reformat it according to project rules when committing the code to the repository.
It's a screen recording of my phone and then my fiancée used canva to do the background
Even beyond green, it's nice to see things being tried in the real world that aren't just scammy/$ grabs. It's not quite as cooperative as the digital, but rather more relevant.
Another C dialect from similar vintage was the one listed on the mid-80's "A book on C",

https://archive.org/details/bookonc0000berr

Also quite thin on features versus K&R C.

Quite interesting article by the way.
I can't remember the last time I worked at a corporation that used the actual Gregorian calendar.

Most of the times it's some shadow-Greg calendar that's slightly out of phase. E.g., I think my 2025Q1 starts on 1 Mar? I've never been entirely sure.

Intel used some "work week" concept that I never figured out the rules for, in the entire time I worked there, beyond that it wasn't ISO weeks.

The spirit of the idea is neat, though, and I should build something like this internally but using whatever esocalendar we're using… then I'd be able to remember whether we're +1 mo, +2 mo, 1Y-1mo … or whatever … out of phase with normal people.
Yes, and at this point Laravel has a healthy ecosystem built up around it. There's a large community, tons of plugins available, and professional support for it.
We'd name it Slurry Red or Slurry Yellow, right?

Maybe Slurry Green for the melon flavor.
"I am a free trader in principle. However you have a country (China)"

just think of china as another trader with more capital than you and pull yowrself up by your bootstraps.
Overdrawn at the Memory Bank (1984)
I didn't mean tone as in the intonation of your words, I meant the specific words you chose and what they imply.

You made it clear that you know where I currently stand on the topic, where I have stood on it in the past, what I do or don't know, and that you're way of viewing the topic is right and I just need to "see the light" as it were.

All of that was very clear in your written words, verbal intonation was needed to know what you meant and how you viewed me in that exchange.
...Right.. unoptimized bubble sort.
That too has a chance of happening associated with it. Lacking a convenient table to look up the chance of that happening (and its impact), and the chance of a break-in caused by an open admin panel causing irreparable harm, there is nothing left to do but weigh the chances as best as one can.

Many people will choose to do nothing in that case, but not everyone will accept that inaction which might lead to bigger harm is preferable to action which might lead to another possible negative outcome, but at a much smaller chance.

(It's basically that dumb trolley meme, but with undetermined outcomes.)

Every choice we make can have an adverse effect on others. Take the car today instead of walking? You just might cause an ambulance to be delayed leading to an unfortunate death. The chance of that happening is negligible of course, but not absent (it never is).
Tariffs are not treaties, they're taxes/duties - only Congress has the power to raise them. Article I is extremely clear on that. Historically, tariffs were always raised by acts of Congress, not by Presidential fiat.

Trump is using extremely misguided legislation from the 1960s/70s where Congress allowed the President to enact tariffs for national security and emergencies. There is a very strong argument (in the sense it resonates with the conservative SCOTUS majority) that Congress cannot delegate its fundamental powers to the executive by legislation alone.

I think people are just too cowardly to bring a case in front of the courts to challenge the constitutionality of it all. Non-delegation doctrine is what the Federal Society want to use to kneecap all federal regulation. Trump operates on a spoils system so it's not in the interest of conservatives or businesses to challenge him, for fear of retribution.
> We do not use your Workspace data to train or improve the underlying generative AI and large language models that power Gemini, Search, and other systems outside of Workspace without permission.

https://support.google.com/meet/answer/14615114?hl=en#:~:tex...

You may not believe them, but I challenge your description of it as "openly".
Really, "I call myself John". The "m'" (or "me" if the verb doesn't start with a vowel) is the first person reflexive.
Pretty amazing how DeepSeek started the visual reasoning trend, xAI featured it in their latest release, and now Anthropic does the same.
Anthropic doubling down on code makes sense, that has been their strong suit compared to all other models

Curious how their Devin competitor will pan out given Devin's challenges
When I was a kid, I probably spent hundreds of hours playing 3D FPS games like Doom, Wolfenstein 3D, Ken's Labyrinth, etc.

I was curious as how "transferable" spatial memorization in a video game in the form of a "virtual memory palace" would be since the conventional approach is based off physically real familiar locations.

Surprisingly I found using a combination of memory palaces built off video game levels in conjunction with a PAO approach towards compressing three numerical values into a single visual image to be highly effective - though I mostly used it for parlor tricks like memorizing a randomly shuffled deck.

If you're interested in learning more about the memory competitions, memory palaces, etc. I highly recommend the book "Moonwalking with Einstein":

https://en.wikipedia.org/wiki/Moonwalking_with_Einstein
OwnCloud Infinite Scale with OpenID Connect Authentication
>when belligerent nations, under the impossibility of making acquisitions upon us, will not lightly hazard the giving us provocation; when we may choose peace or war, as our interest, guided by justice, shall counsel.

Ironic that as a Canadian, the US is moving from the nation that would be guided by Justice into the belligerent nation in this situation.

It also serves as a lesson to us that we should have learned from you and George Washington, and stood on our own first and ensured our own security before cooperating with others. We have a long way to go to get back there now, unfortunately under the position of potentially our closest ally and economic partner being belligerent, untrustworthy and unreliable.
Everyone believes this weird narrative that the only thing PE does is buy successful businesses, load them with debt and then cause them to shutdown.

The reality is that PE does not buy successful businesses; they are already struggling. No one else will touch it. Thus, when it comes time to recoup the investment, there is normally a sense of enshittification, which is reality was either already destined to happen, or the business would just close anyway.
It's interesting that Anthropic is making their own coding agent with Claude Code - is this a sign of them looking to move up the stack and more into verticals that model wrapper startups are in?
The docs for Claude code don't seem to be up yet but are linked here: http://docs.anthropic.com/s/claude-code

I'm not sure if it's a broken link in the blog post or just hasn't been published yet.
The progress in AI area is insane. I can't keep up with all the news. And I have work to do...