skysight-inc/HackerNews huggingface dataset:
That depends on the brand of mysticism you prefer. Early forms of Buddhism would agree- that which was reborn was the accrued karma. Living a life of enlightenment let you die without karma, ending the cycle.

On the other extreme end, Christianity favors a version where the soul is responsible, and held in judgement. Some branches allow for purgation, others are a "go straight to heaven or hell" variety. What's the point of rewarding or punishing a soul that had no agency in life? What of a soul that was shaped by a brain fundamentally different at death than early adulthood?

Orthodox Christianity is a little different- there's purgation, without the purgatory. Moreover, the goal in life is theosis- living in such a way that your being aligns with the holy Spirit, essentially attaining sainthood while alive and in direct communion with the divine.

So, many very opposing answers, the truth of which is beyond me to decide for you.
Search still needs some improvement, I typed "gundam watch order reddit" and was expecting some reddit links, but none of the results are reddit links. Perhaps there's another way to limit search results to a particular site here?
Building a copilot the first time will be a mess, the second time much clearer. This is a fun time working with local models. Layer-thinking and abstracting isn't that hard with the right prompt about the specific pain points... Every problem seems to have been solved before.
Also remember that plastic bags were introduced as being more environmentally friendly than paper (which comes from trees).
NotPron is a classic of this genre, highly recommended for anyone how enjoyed reading that article! Neat that people are still doing these kinds of mysteries!

http://notpron.com/
I've seen a couple of videos on TikTok of people using Apple Vision, and it looks so strange from an outsider's perspective. I understand that, in addition to extra information from apps, a person also sees everything around them, but from the outside, it looks like they're in their own world. It's just weird not to see a person's eyes.
Knit_script
The problem is not the tech. The problem is what’s on it. Social media in particular runs on dividing us, since maximally triggering or addicting content maximizes time spent staring at the app.

This isn’t a new observation. I recall reading back in the 90s about how the problem with TV is what’s on the TV.

The tech is fine. The incentives for media are all perverse and destructive.
This is the wrong analogy. The transformer block is a bunch of code and weights. It's a set of instructions laying out which numbers to run which operations on. The optimizer changes weights to minimize a loss function during training and then the code implementing a forward pass just runs during inference. That's what it is doing. It's not doing something else.

If the argument is that a model is a function approximator, then it certainly isn't approximating some function that performs worse at the task at hand, and it certainly isn't approximating a function we can describe in a few hundred words.
> But could an equally compelling list of diagnostic criteria be written, which is all things autists can do but neurotypicals struggle at? Could neurotypical be framed as a disability?

Something like this? https://lemonandlively.com/allism/

From my perspective, the surprising thing about people not on the autistic spectrum is how often they lie, how often they stab each other in the back for quite trivial reasons, and how obsessed they are with evaluating and maintaining everyone's position in the pecking order -- they are barely able to think about anything else, at least half of their brains are always evaluating this.

And the famous "theory of mind" in most cases is merely the ability to understand someone who is almost the same. I mean, of course if someone thinks exactly the same way I do, it will be very easy for me to predict what they think. But find someone different (doesn't need to be autistic; any kind of difference will work) and suddenly most people's ability to read their mind is gone.
In my experience, using TypeScript for prompt management alongside something like zod or TypeBox is super useful for getting rid of the stringly-typed prompt problem. Write a function that wraps template strings for the English bits, and inside the templates for your examples do:

JSON.stringify({ ... } satisfies MyOutputType)

which ensures your examples always exactly match what you expect the LLM to return, even as you iterate on the prompt and output types. Then just call the LLM and validate the output using zod/TypeBox. Once you're done writing the wrapper function, now instead of managing a bunch of string interpolation when you want to have the LLM analyze something, you have a function that takes some input data, and returns your output type, guaranteed.

With OpenAI tool calling, you can even convert the zod/TypeBox type into JSON Schema, give that to OpenAI, and have a fairly good chance the LLM doesn't make any mistakes without even needing retries. (Although you should still retry if the zod/TypeBox/whatever validator fails.)
All they've proved that Bach's music is unpredictable; I don't see how that makes it "great". I know I could definitely write something that's both unpredictable and crap.
Fair, I am just posting the other side.
I don't think thats it. Its not the part where we interact with digital devices that is the problem, exactly. Maybe its the part where we stop interacting with other people as people as well.

I watched a wild video[1] the other day which really gave me a new perspective on the Apple Vision Pro. Casey Neistat walks around NYC with an apple vision strapped on his head and chats with people in the street. I was arrested by it - part of the reason is how he "effortlessly" interacts with a bunch of strangers in the video. He exists in the city, even with the headset on. Despite how nobody can actually see his face. I'd find that pretty scary to do!

I suspect part of the problem might be that devices give as an emotional excuse to avoid real human to human interactions. They enable us to turtle away. Talking to people online feels like the real thing, but better because its less scary. We don't have to be quite as vulnerable when we do it. And maybe thats the problem with this stuff - the more we enable "social junk food" we use it as a substitute for real, scary, intimate human interactions. The technology isn't the problem per se. The problem is how we choose to hide behind it.

[1] https://youtu.be/UvkgmyfMPks . Definitely worth a watch.
Generally speaking, the ones that cost $19.99 to rent are still in theaters. The price will drop once they are out of theaters and a more normal home release. This wasn’t an option in the days of video rental shops.

If a family, or even just a couple, was going to go to the movies, buying popcorn and drinks, it’s not cheap. $19.99 is still usually cheaper than going out.

I remember when they started doing this. I think it was a response to theaters being closed during the pandemic, but could be misremembering slightly. Beyond that, I think the general idea was that people have nice big screens and home and don’t feel the need to go to movie theaters anymore, so this gives people an option to see new releases in the comfort of their home. The extra cost is for the early home access.
Yeah, I'm in Prague. Here it's ~$700/child -- but I'm sending the kids to a special English-language daycare, which is more expensive than most others. The quality of care here is just as good, or better, than what I've seen elsewhere at much higher prices.

I spend quite a lot of time in Croatia, and it's just as inexpensive over there.

Central Europe is indeed a good place to be right now.
It was not trivial but the subjective experience matters a lot. In migrations that I participated in the most difficult parts were not related to ASP.NET but to third-party libraries. Another pain point at the time was moving off WCF which ended up being packaged up on some legacy Windows host as a separate microservice for just that purpose to not hold everything else back but that's it.

Swapping out the startup and hosting models was not a challenge because the APIs were comparable, some controller classes had no lines changed either, and moving off IIS pool arguably is all around improvement (and far easier, to manage with docker and deployment manifests).
> The headset, which weighs as much as a cauliflower

Christ, I just learned the length of a football field (and that there exists a different futbol pitch). Now I have to learn how much random vegetables weigh?

Can we at least stick to Brassica oleracea in the future? Whats the brussel sprout equivalent?

> A medium-sized head of cauliflower is about 6 inches across, weighs about 2 pounds and makes 4 to 6 servings after trimming off the leaves and stem. [1]

In all seriousness this seems like a total deal breaker:

> Typing via finger pinches or dictation was a pain, so I used a wireless keyboard. Even that had problems. Touch-typing in that context wasn’t easy, and the writing felt out of phase. The letters on the screen appeared after a very slight delay, just enough to make it feel like my words were being pulled through a wormhole on their way into my document.

[1] https://gmach.ca/wp-content/uploads/2020/03/Cauliflower.pdf
Seeking a co-founder to shape the future of work with our team from Microsoft, IIT Madras, & Cambridge. Need Full Stack & ML skills, tech experience, & passion for tech innovations like Generative AI. Apply here: https://forms.gle/RgTwP3fdc5Tzo9u76
I guess a future version will see that you're sitting in a driver's seat and will go crazy telling you to take it off. Although I wonder what it can do, going dark will be dangerous if someone is actually driving, I suppose it can threaten to revoke your device license..
What voltage do these µ/n-inverters produce? If everything is wired in parallel I assume it has to be fairly high to keep total current - and with that wire dimensions - down. This is an advantage of wiring panels in serial strings as that makes it possible to keep (copper) cable dimensions down to 4mm² or 6mm² for a 15kW installation like I installed on the barn roof a few years ago. The 18-panel strings can run at up to ~820V DC on a cold (-20°C) bright day which keeps the current down to a manageable ~9 A. In practice the string current tends to be higher and the voltage lower, normally somewhere around 12 A. What would this look like using those cell-level inverters?

[edit]

I see you partly answered this question in this thread already. Partly because that answer does not fit with the 'wire everything in parallel' mantra since that would necessitate all panels to produce exactly the same voltage to avoid power loss.
And of course it's entirely the responsibility of the individual consumer to discipline themselves and fight against digitopia, and not at all of the tech companies who pour unprecedented amounts of engineering effort, psychological skill and money into causing digitopia in the name of "engagement maximisation".
An alternative way to model that in an ISA is the indirect addressing model coupled with the ability to use it when expressing operands in any instruction.

The models are isomorphic.

Write to an "address" register -> write to a register directly

Write to an "operand" register -> write to "(register)" (write to the memory at the address stored in the register)

Not sure which was the first architecture to model it that way. The PDP-11 had it.

You just need one bit in the instruction encoding to determine whether to use direct or indirect access. You need one bit in the instruction encoding if you have twice the registers.

You can save that bit if you make most instructions able to access the "operand" register only, and require that manipulation of the "address" register use special instructions.

In that case you have an "inverse load / store" architecture, where instead of using load store instructions to do indirect access you use them to do direct access.
The problem was that the floppy was empty after the library computer touched it :-)

Oh, and I had enough problems with floppies loosing data too. Especially the newer disks, the older ones were better but the new packages I could throw 10-20% of the floppies.
Searching for "adventure game studio", neither the website that has the forums or the GitHub repository is in the first page. Most results on the first page of search are really old things. Neither Wikipedia or repology that has the package infos are anywhere in the results.
I'll go with an example to demonstrate why that's not always enough. Many people are quite keen to know what this (for example) is actually doing:

float InvSqrt(float x){
float xhalf = 0.5f * x;
int i = *(int*)&x;
i = 0x5f3759df - (i >> 1);
x = *(float*)&i;
x = x*(1.5f - xhalf*x*x);
return x;
}

From https://betterexplained.com/articles/understanding-quakes-fa...

In my case I don't have a huge amount of time to chase down every rabbit hole, but I'd love to accelerate intuition for LLM's. Multiple points of intuition or comparison really help. I'm also not a python expert - what you see and what I see from a line of code will be quite different.
While I get some satisfaction emotionally from seeing a number like 4%. I know logically that any and all usage numbers are irrelevant.

How many Mercedes cars are on our roads? 1%? 10%? 100%? Does it matter?

How many Ford cars are on our roads? 1%? 10%? 100%? Does it matter?

Those of us who drive a Mercedes don't care that we might only make up 0.0001% of cars on the roads. Or maybe there's 2% of us. Or maybe there's 20% of us. IT DOESN'T MATTER AT ALL.

We drive a Mercedes because we like to drive a Mercedes. There are others out there who drive a Ford, because they like to drive a Ford. Some people out there even like to drive a Ferrari! (I remember the first time I was in a Ferrari. I expected so much, and was so disappointed at such a heap of junk. Such a letdown!)

Forget the numbers. They mean as much as HN karma points, or Reddit karma points: zilch.
It's 437 now so you can star
If ciws was not operable, then why was the Moskva positioned within range of the Neptunes?
Yuck that would not work here in Spain.. you'd have cockroaches all over. And I don't have a place to hose things down :(
Which, for plenty of Chrome extensions, is fine.

Google has removed capabilities for certain categories and it's pretty easy to figure out what's going to be risky.

But I use a set of very useful extensions, none of which present any problem to Google, all of which are extremely useful, and all of which I expect to stick around.
People speaking at events obviously often end up appearing on video. Most people don't speak at events.
I strongly feel this is off base, frankly I’m a bit surprised at seeing your objection. To be clear, I don’t intend this to have a tone of hostility, just confusion.

His post absolutely added value to this thread. If it was just the quote, then yeah I could kinda see it as pithy… but not really enough to make a fuss about.

What I actually see though is a perfect summary of the link following it, which I’ve not come across before and does a fantastic job of putting into words the almost instinctual disrespect/disdain I feel for certain types of writing. In fact I find it coincidently mirroring the recent thread on what the goals of open source
(https://news.ycombinator.com/item?id=39253117) regarding the question “are you actually accomplishing what you wanted to with your actions”. The answer here of course depends on if the authors want to convey ideas/emotion, or just want to display status with the literary equivalent of “bling”.

In short, I’m glad they dropped that link, and hope they are not discouraged from doing so in the future.

Edited to better convey my intended objections
Except one can simply ask to call them back to verify.
The rental options from places like Apple and Amazon typically have a much bigger library than the streaming options. Unless it is a movie or show specifically made for another streaming service, it is probably available as a rental.
Ozempic's Muscle-Loss Problem
https://archive.ph/P57Vv
It is very promising. In fact, in industry there are jokes about how getting rid of linguists has helped language modeling.

Trying to understand it at some level of abstraction that humans can fit in their head has been a dead end.
So why are they inflating As if grades don't matter and are arbitrary (I don't think they are). The A kid knows a whole lot more than the kid with Ds. Or put another way, for most knowledge economy jobs, I would prefer hiring unwatered straight A students over straight D students. If I needed burger flippers or landscapers, I probably would prefer straight D students --they just want to get their job done, few questions asked, and you let them bitch about the job and the economy.

Does anyone here think China is going to water down their education and risk their competitiveness in hard sciences and maths?
This is great. I remember finding another really good resource on the Bernoulli bandit that was interactive. Putting feelers out there to see if anyone knows what I’m talking about off the top of their heads.
I saw a bunch of my techie friends all run out to buy one of these on launch day (thanks to their easy availability at Apple stores).

As far as I can tell from the reviews: this device is a preview of the future. But, it still needs iterative improvements before it will live up to its promise as a practical workstation or accessible gaming device.

It is plain to see that my friends who bought one are enjoying the camaraderie of all having done so. $4,000 is perhaps a reasonable price to feel connected to others in a meaningful way.
The odds of something like that happening are so astronomically low that you’re better off spending your energy looking up for falling pianos.
Because 'hating' was misspelled 'hatting' I did mean to refer to a provider of men's wear such as hats.
Sure. There are undoubtedly a lot of config formats that are overly complex.

But sometimes the complexity is irreducible. Kubernetes is one such case. The model is very well thought out, and just about as simple as it could get without removing functionality. It has sensible defaults, built-in versioning, well-defined schema etc. But if you want to describe a complete installation of a distributed system with many heterogenous processes, spread across many hosts, communicating in specific ways, with specific permissions, persistence, isolation, automatic scaling, resilience, etc, there are a lot of details. I've worked with systems that have thousands of lines of configuration, and honestly that's not extraordinary. Many people on this site will rightly scoff and say, "psshh, that's nothing."

Configuration languages are a really important area of research in the tech industry right now, and every time someone posts one on here, there are a huge number of dismissive comments. Fine. Not everyone has this problem, but it's a real problem, and solving it represents a real advance in the state of the art.
It was meant to but it was snubbed by the beeb as inappropriate. Mitchell was very annoyed about this, mentioned it on his blog somewhere (or was it his wife?)
I think that's hard to split.

I mean users because I think it's important that people who receive my code can inspect it, especially if a third party has changed it between me and them. I also think they should be able to make their own changes.

You're right, very few care, but it's an important software freedom. Apathy doesn't mean freedom is bad.
If you think about it, it's indeed easier to start from scratch and create a new digital world than to fix the current one. The current world depends on far too many people
I mean, I can also try to tell the PyPA to do a thing or two but that won't magically make it work. The PyPA is a bunch of separate individuals doing their thing and they are free to listen to people or ignore them. I do not have the power (nor do I believe I should) to force them to do a specific thing.
There's an interesting set of conflicting forces where people are tempted through selfish interests to be lazy interacting with humans and prefer to stay home connected while also craving intimate human interaction. I think this laziness is encouraging us to stay home while also causing all us to feel more isolated and lonely. Like you said, "social junk food", but it's also video games, TV, etc. We've invented more ways to avoid social interaction which causes a feedback-loop of sorts. We're becoming more anti-social but also more lonely.

Having nothing to do is a great driver to force people out of their holes and interacting with other humans. We've made it too easy to stay home
> Godel proved that some truths cannot be proven.

If by proof you mean using a fixed formal axiom system, then yes, you are right. But let's look at one particular such thing that cannot be proven formally within itself: The consistency of Peano arithmetic. But, I don't need a formal proof for that: It's obviously consistent, because the natural numbers form a model for Peano arithmetic. So I just gave you a proof, but it is not a formal one. Yet, I don't see how anyone of sound mind can reject this proof.

So Peano arithmetic is obviously something we can assume when proving other, more complicated truths. And nobody can say, not even Gödel, that we will not keep finding similarly obvious truths for the more complicated truth we otherwise care about, but which might not be provable from the currently established axioms. Given that Gödel is a Platonist, he would probably agree with me on that.
Link to Dark Reader changing hands and questionable update?
Israeli Army Admits Running Unauthorized Graphic Gaza Influence Op
Full article: https://archive.is/SEFgo
The single use bag ban in California had a rather unfortunate loophole - stores can charge you 10 cents a bag for a “reusable” bag now which is really just a much thicker single use bag. No one really reuses them.

Why not just ban the manufacturer and sale of plastic shopping bags in general? There are plenty of cloth replacements and they are less likely to be discarded.
> to determine in general if an input program halts. But for a particular input program,

I think we are in violent agreement. This is an example of what I meant by "unlimited for practical purposes, but still there."
"Stem Formulas" (2023) https://news.ycombinator.com/item?id=36817851#36839925
> I do wish they just contributed to nickel or something else though rather than doing their NIH as usual.

Did Nickel exist in 2018? (Someone here said that Pkl did.)
The apparent "fraud" was that the board was not independent not that the package was unfair to shareholders. I would absolutely vote for any compensation package that payed a CEO 1% per doubling of my investment.

Shareholders will pass a package that contains appropriate legalese so that the options will be reinstated. We can afford it.
Forgive me if I missed the joke, but Cauliflower and Brussels Sprouts are in fact both cultivars of Brassica oleracea...
And yet...alpha zero.
The reason we use plastic straws is because we've ALREADY used paper straws and consumers preferred the plastic ones. Especially now that all of our drink portion sizes are gigantic and straws tend to sit in drinks for hours.