skysight-inc/HackerNews huggingface dataset:
Ok, you're probably proving the point that purity also requires immutability. I'm not sure, as I haven't considered all the implications of Haskell's design.

My two rules about inputs and outputs are more like heuristics. They can improve code organisation and probably also decrease the likelihood of some errors, but they don't guarantee correctness, as you're pointing out. They're shortcuts, so they're not perfect.

Edit: If I remember right, it's laziness that requires immutability. I think I read something about this in the Haskell subreddit as an explanation for Haskell's design.
Show HN: MCTS Based Software Engineering Agent
Hey HN!

Thank you for all the support and feedback on my original submission 2 months ago. I've been improving the backend using a MCTS/AlphaZero approach and it's showing promising results. My long term goal is to allow users to manage multiple projects, deployed autonomously, both from scratch and by making continual updates all prompted with natural language.

The cost of each project has been lowered to $9 as performance with smaller models has improved (I migrated from Claude-3-Opus to gemini-1.5-flash).

Thanks for checking it out!
Be happy about that.
I disagree but I'm being nitpicky

I think the real funky business happens right between ℚ ⊂ ℝ

but maybe all I'm really trying to say is "hey, look at me, I understand how all of ℕ ⊂ ℤ ⊂ ℚ"

I'm very very sure that it's possible to give a fully ZF set-theoretic construction of the rationals using sets. in fact IMO the annoying thing is that there are in fact two trivially equivalent constructions that I can think of the top of my head, and I find that even worse than there being none at all
Fivenines.io – A simple server monitoring tool
It's clever, right up until you come up against the fact that many languages don't have uppercase/lowercase (e.g. Japanese) - and now you have to add an extra hack to work around your original hack.

Any time you add a clever hack that re-uses something you don't control directly (Unicode, file names, existing data formats, implicit behaviors of a system - or even explicit since you don't control who will change it later, etc), you're making a mistake that will come back to bite you eventually.

In fact, I dare to say: Any time you think you're being clever, you're not.

Most of the design mistakes of go were made under the assumption that all complexity can be reduced. There are certain kinds of complexity that can only be moved around, not reduced (e.g. init, os-specific compilation, packaging and such).
Yea about that „promise“ …
the genius of photolithography (and its descendents) is that each chip is printed all at once, all the transistors at once over several steps for the several layers. This is what makes chips inexpensive.
You're making my point here.
> 'reduce' is not infeasible, even if at scale in Ag. and Med. it's hard.

The collective action problem is mind-boggling. Get all countries to change their import laws and manufacturing, use, and disposal laws simultaneously. Anyone who goes first will simply destroy their industries.

"Hard" is major understatement.
I've no such ability (and never claimed to), but I'll share what I can.

A few years ago I was standing on my balcony. I saw a lizard sunning itself on a rock, a story below. On impulse I made a shadow puppet of a bird, and that lizard took off running. I don't know what the emotional experience of a lizard is like, but I'm as certain as I am of anything that the lizard feared for it's life, whatever fear means to a lizard. Maybe fear isn't an emotion to a lizard, maybe it's more like a state of mind. I have no idea, that question is unanswerable.

I've had mouse problems many times. I can tell you that mice have distinct personalities. I catch them with live traps and release them. Some of them leave immediately when the box opens. Others cower and must be coaxed out. They have favored places and such. If you study then and learn their habits, you can place traps very effectively.

There was a mouse that would go behind my toaster and chew on stuff. The first time I walked over to see what the sound was, they threw themselves off the counter and tumbled down the spice rack. The second time they darted out and climbed down the spice rack. The third time, they came out at a relaxed pace, easy as can be, and gracefully climbed the power chord down to the floor. Presumably they learned I was all bark and no bite.
This is unfair to Adobe, if you can't take two minutes to learn the excruciatingly minute differences between Photoshop and GIMP, you deserve to pay the idiot fee.
Hannah Ritchie, of OurWorldinData, has a new book and looks at various problems from a data/science perspective.

Her take on microplastics was that there wasn't currently enough science on this to state there was a problem big enough to outweigh the benefits of plastics, but that we should probably be doing that science so we can be sure either way.
Isn’t the empty set a subset of all sets?

A quick look at Wikipedia indicates that there exist other constructions.
I doubt the first two or three chapters will do it justice. I have put a free to download link on the bottom of that page for the complete book as an ePub, I will keep the link valid for a few days. Enjoy.
The problem here isn't necessarily being a free service and being run on a few ads, the problem is loading 15 to 20 advertisements, as well as the path of enshittification.
In the end it is a matter of economics. Right now there is no path towards nuclear becoming competitive again against wind, solar, battery.

Plus, storage and cleanup costs in case of failures are not even priced in and left to taxpayers.

This leaves nuclear to government actors influenced by lobbyists.
Ok I fixed my statement:

Banning tiktok, a drone manufacturer, a crappy phone manufacturer called Huawei, and shitty EVs isn’t banning “almost everything”.
"needs root and patches to AOSP". So there go the banking apps mentioned elsewhere and you can just use postmarketOS.

Still cool though!
All my life I have had introvert ears.

Ears that seem overly sensitive to all noise.

I must have perfect silence to fall to sleep, any odd noise wakes me up.

Supermarkets, Shopping centres, loud pubs and restaurants are no go areas for me.

My friends child is autistic and recommended to me:

Earloops.

I wear them all the time.
I said AGI. I did not say human.
This problem is compounded by a certain class of neuroscientist, who upon hitting the hard (scientifically unresolvable) problem of consciousness, declares that consiousness is something else, like neural correlates of stimulation. This invariably causes disappointment when attending mainstream lectures with the word "consciousness" in the title.
It's capable of attempting all types of different tasks. That is a novel capability on its own. We're used to GPT's amusing failures at this point, so we forget that there is absolutely no input you could hand to a chess program that would get it to try and play checkers.

Not so with GPT. It will try, and fail, but that it tries at all was unimaginable five years ago.
Today, the consumer landscape is fast-paced and highly competitive.

“But my product is great!”

Only that isn’t enough anymore.

Brands must appeal not just to the consumer’s needs but to their lifestyles, values, and aspirations.

This is where lifestyle marketing comes into play.

Over the past decade, consumers are increasingly prioritizing experiences and brand values over mere transactions.

Some brands have been successful in harnessing lifestyle marketing to create powerful, lasting connections with their audiences.
We mostly stopped using those "better" materials because people were poisoned because of their use. Lots more were poisoned or maimed in their production. And they were more expensive and more difficult to use and failure rates were much higher. And they were more prone to infestation by pests and molds.

Plastics are so much safer and cheaper and more reliable and easier to use that it's unreal.
> There’s a very deep problem with that—every time you invent a “superset”, do you then have to redefine the subset to be a subset of that “superset”?

I have thought about this too, and I'd initially agree with you. but I thought at some point how mathematical history is not extremely dissimilar from this. put in very rough terms:

at first humans discovered/invented numbers (i.e. the counting numbers); these started at number one — the first number. later on, at some point we had to go back and realize that there was a zero before number one which "silently" redefined the first number as zero and this created the natural numbers a the modern set-based N

edit: adding this alternative rendering of my intended comment triggered by a condescending reply: "mathematics silently redefines stuff all the time. deal with it"
Last week there was an essay posted by Helen Keller describing her own development of consciousness. Great essay and she describes it’s development.
Yes, I realised that while having trouble getting to sleep last night. France produces around 350-400TWh from nuclear, so that should have made me question the number I quoted.

So the graph is a bit misleading in that various qualities of energy are lumped together.
But an int32 1 isn’t the same as a mathematic object 1. So of course your analogy doesn’t work
That makes sense. Might be hard for an freely-editable wiki though.
Dify.ai is great
Ditto. Ran all 3, BeOS was really special.

Like lightning in a bottle.
News was useful when it involved journalists who informed audiences with facts and kept their opinions out of it.

Today propagandists get orders from their corporate/non-profit/government overloads that clickbait frame every issue to affirm the FUD their audience believes.
OpenSSH 9.8
Future deprecation notice
=========================

OpenSSH plans to remove support for the DSA signature algorithm in
early 2025. This release disables DSA by default at compile time.

DSA, as specified in the SSHv2 protocol, is inherently weak - being
limited to a 160 bit private key and use of the SHA1 digest. Its
estimated security level is only 80 bits symmetric equivalent.

OpenSSH has disabled DSA keys by default since 2015 but has retained
run-time optional support for them. DSA was the only mandatory-to-
implement algorithm in the SSHv2 RFCs, mostly because alternative
algorithms were encumbered by patents when the SSHv2 protocol was
specified.

This has not been the case for decades at this point and better
algorithms are well supported by all actively-maintained SSH
implementations. We do not consider the costs of maintaining DSA
in OpenSSH to be justified and hope that removing it from OpenSSH
can accelerate its wider deprecation in supporting cryptography
libraries.

This release, and its deactivation of DSA by default at compile-time,
marks the second step in our timeline to finally deprecate DSA. The
final step of removing DSA support entirely is planned for the first
OpenSSH release of 2025.

Potentially-incompatible changes
--------------------------------

* all: as mentioned above, the DSA signature algorithm is now
disabled at compile time.

* sshd(8): the server will now block client addresses that
repeatedly fail authentication, repeatedly connect without ever
completing authentication or that crash the server. See the
discussion of PerSourcePenalties below for more information.
Operators of servers that accept connections from many users, or
servers that accept connections from addresses behind NAT or
proxies may need to consider these settings.

* sshd(8): the server has been split into a listener binary, sshd(8),
and a per-session binary "sshd-session". This allows for a much
smaller listener binary, as it no longer needs to support the SSH
protocol. As part of this work, support for disabling privilege
separation (which previously required code changes to disable) and
disabling re-execution of sshd(8) has been removed. Further
separation of sshd-session into additional, minimal binaries is
planned for the future.

* sshd(8): several log messages have changed. In particular, some
log messages will be tagged with as originating from a process
named "sshd-session" rather than "sshd".

* ssh-keyscan(1): this tool previously emitted comment lines
containing the hostname and SSH protocol banner to standard error.
This release now emits them to standard output, but adds a new
"-q" flag to silence them altogether.

* sshd(8): (portable OpenSSH only) sshd will no longer use argv[0]
as the PAM service name. A new "PAMServiceName" sshd_config(5)
directive allows selecting the service name at runtime. This
defaults to "sshd". bz2101
The interesting thing about RISC-V is that there are like 10 billion RISC-V microcontrollers out there that otherwise would have been ARM. So ARM has been moving into the PC/server space while RISC-V pushes in from behind, at the opposite end of the line from x86.
>Yeah humans can generalize much faster than LLM with far fewer "examples" running on sandwiches and coffee.

This isn't really true. If you give an LLM a large prompt detailing a new spoken language, programming language or logical framework with a couple examples, and ask it to do something with it, it'll probably do a lot better at it than if you just let an average human read the same prompt and do the same task.
So, why is this not in kernel?
did you mean to ask if Signal's own infrastructure would geoblock EU users?
I don't see the connection.

When I am doing math or painting I am not spelling out what to do in my head. You can probably do just fine without an inner monologue.
Why Chinese Working Mothers Don't Want More Babies
Confirmed. In my teens I'd leave my gun on the bedpost for multiple nights. And yes, at some point after days of chewing it does suddenly disintegrate into a sea of bits maybe max one millimeter long.
I miss the buy-once-option
Why does the guy claim to be a chair? It's what people place their asses and fart on. Is it some kind of weird fetish? Hey, I'm not judging, just asking the important questions.
> - Files ending with "_unix.go", "_linux.go", "_windows.go" etc. will only be compiled when compiling for the specified platform. The exact list of platform is very hard to find in documentation.

Sure, you won't find it in the Go 101 guides, but it is well documented in the "go build" CLI reference in the official Go docs site. See https://pkg.go.dev/cmd/go#hdr-Build_constraints and https://pkg.go.dev/internal/platform.
Note the date: 15 Feb 2022 -- a week before Putler's invasion. Of course they'd been ramping it up in preparation, to the extent that even the AP reported on the agencies' findings.

It's a bit like RT: Before the invasion, lots of naïve Westerners used to buy that drivel too; now only the most deluded conspiracy kooks do. It's just that secondary site metastases like this ZH aren't as obviously descredited, so all the "keeping an open mind to the extent my brains have fallen out" conspiracy-flirters, semi-kooks, and other morons keep sucking the propaganda teat.
cams in the solo ad industry can be a nightmare, but with the right knowledge, we can avoid falling victim. I remember the first time I tried solo ads; I was eager to drive traffic to my website but quickly realized that not all solo ad vendors are trustworthy. The key to navigating this murky landscape is careful testing and not relying solely on vendor claims or reviews.
> • Identify and challenge the ways that math is used to uphold capitalist, imperialist, and racist views.

Maybe the real mistake the Soviet Union made was not banning math, as it can apparently only be used for capitalism.
AI Agents and the RaaS Revolution (Results as a Service)
I think you're over complicating it. When people generally talk about consciousness, they're talking about the phenomenology of awareness in the present moment. It's not really hard to define.

It's difficult to establish whether or not an animal is conscious in the way that it's difficult to establish whether another person is conscious. The only evidence we have for consciousness is the fact that we personally experience it ourselves. And because of that, we can't truly know if other's are conscious from a philosophical sense (i.e.—philosophical zombies) but we can posit scientifically that they must be since they share the same brain structure that we do.

Now when we're trying to establish scientifically whether or not an animal is conscious or not, it's more difficult because we don't have the subjective experience of being that animal, and we can't philosophically transfer the phenomenology of the experience our brain creates onto theirs. So, while I think the question "are animals conscious?" is well-bounded, it's not one that is currently answerable due to the currently private nature of consciousness.

> Are animals aware of their surroundings? Yes. Are animals showing the behavioural signs of pain when you hurt them? Yes. Can animals direct attention? Yes. Can animals remember? Yes. Can animals learn? Yes.

Reacting to stimuli is all possible without consciousness—just like crabs react to noxious, painful stimuli without nociceptors. So the phenomena you're describing is not what people are talking about when they're debating consciousness
Classic, I've been doing the same, writing an alphazero for the transformation part. What seems _much_ harder is picking a decent set of transformations/concepts to work with, or more generally automating that process. Maybe you're right that LLMs could help there!
Funny getting advice like that from within the Putler-propaganda echo chamber.
Neat project, but hate the branding. Android is Linux. I think it's really important to recognize that. Linux is not just not the one traditional POSIX style system, it's a platform to build all sorts of systems, including Android.
Process Watch Linux tool
If Elon Musk were still alive, he'd be soooo jealous.
> Glass is god level re-use.

Got milk? Got glass splinters and shards in your milk? In my childhood, we did, from commercially re-used glass milk bottles.
it's pretty much a competition between niche programming languages which are interesting to different powerful academics
Do NOT do that with MS-SQL. The uniqueidentifier type shuffles byes around and does not give you the ordering you want.

So whether you use ULID or UUIDv7, save it as binary(16) in MSSQL.

(There is a special custom UUID implementation someone made for MSSQL that will sort time-ordered on MSQL but nowhere else; IMO that is too niche...just use binary(16)...)
That's still sufficient for both The Times and for it to be a potential problem in this case.
See also @kdrag0n 's work; putting Virtualized linux (and windows) on Android phones.

Our phones might be our next Desktops/Laptops/main personal computing device:
1. local first (you do go to the bathroom/gas station with your phone)
2. portable
3. reduce ewaste, money spent

The lack of convenience in the form of larger screen might be mitigated using smart glasses, projector(unihertz tank 3 has built in), or just connect to an external monitor

Snapdragon 8 gen 3 performs like cpu from 2020 and midtier gpu from 2016
AVF might ship with android 15 as Mainline module (One need kernel 5.10+)

https://news.ycombinator.com/item?id=30322035
https://news.ycombinator.com/item?id=30328692
Ask HN: How to Survive when Life is in Pieces?
I'm feeling lately, like I'm crashing and burning.

I separated from my wife of 18 years in March, my mom died the same month, got divorced this month, my grandma died a few days ago.

I've had a ton of anxiety, depression, and executive dysfunction...and I feel like I just need a win. I can program, I can do a ton of things, I just can't seem to land a client.

Lately, I've been doing uber eats / doordash to stay afloat and my car died.

I'm going to be homeless, without even a car tomorrow, and I'm clueless about what options I even have anymore.

I just need a loan for a rental car, and I could get back on my feet. I've only been doing delivery gigs like 4 days, and it looks like I could definitely cover my bills, child support, and alimony on it, plus the cost of the rental car per week, if I could just make it one full week.

I'm always finding myself falling to this spot, where I'm make it or break it. I can't live on the street, I don't think I survive that. I have no network of friends, or loved ones I'm close to. Literally the only person I talk with lately is my therapist.

I'm in Utah, if that helps..I could use any advice on finding like some agency or something that might help or something. My email's in my profile if you want to reach out...

My rent is $70 per night, I need $400 on credit card (need to pay off my secured card) for the rental (deposit plus fees). I charge $70 per hour for coding, but I can't find clients lately, and I'm out of time. This is so frustrating.

Anyone else finding times are tough lately? Is it all the tech layoffs?
Yes, the empty set is a subset of all sets. I think some wires got crossed somewhere because whether zero is a subset of some other set doesn’t fit into the questions we are trying to answer.

You could pick a construction where the natural numbers are a subset of the integers. This is trivial, but this is a poor strategy overall, because you can always find a bigger set of numbers to work with. You can’t take the “biggest” set of numbers and then define all other sets of numbers as subsets of that. It would be kind of like trying to count down from infinity.
May I submit for free? And what are the future plans?
Relatively banal point re Turing complete languages. You could run a space program with bash scripts if you really wanted to, doesn't make the statement "Bash scripts are not generally well suited for running a space program" less true or meaningful.

I'm honestly unsure what the point of this exchange is. Your response style seems to be to pick one sentence, seemingly at random, and launch a hyperbolic and extremely abrasive tirade against it. Which is both unpleasant and unlikely to lead to any meaningful exchange of perspectives or ideas.
> White supremacy culture shows up in math classrooms when... There is a greater focus on getting the "right" answer than understanding concepts and reasoning.

When designing airplane parts, there are definitely right and wrong answers.
By definition, analogies are between things that aren’t the “same thing”.
I think the fundamental thing that many refuse to accept is that some people are, in fact, smarter than others. Until we can accept that fact in society, we're always going to end up reducing to the lowest common denominator.
Turn it around. How would "consciousness" manifest if we behave based on how we think, not how we feel? You meed to prove the opposite too.

There is not a prerequisite of it being either or but I guess it is both.
So much old, out of date, factually incorrect, racist, sexist and even illegal information. I think it is already clear that training systems on everything is not the way forward, and about as reliable as the set of 80s Encyclopedias my mother refuses to throw out. The current tech needs to be trained on good data to produce good results, as it can't reason and gauge reliability or even pick up when its output is self contradictory.
Surely there's a way to build a wiki on top of GitHub? That automatically converts wiki changes to PRs for example. So that arbitrary wikis can be built open source and leverage github's free hosting
Diff is incredibly useful on its own. I use diff a lot, and I think 95% of my use of diff is to figure out what has changed without any intention to apply a patch.

Furthermore, it’s likely been 20 years since I used “patch” - I almost never apply an entire diff/patch, but rather parts of it interactively with kdiff3 or beyondcompare
whenever peoples ponder what the meaning of "is" is, the discussion eventually turns into questioning the meaning of "what"

what is "is"?

— to know what is "what"?