skysight-inc/HackerNews huggingface dataset:
As a resident of Japan for over a decade I have been treated the same as any Japanese person. Many of my paler obviously American/European friends think they get treated differently but they work/live in the "English teaching" bubble. I like to think that bubble is just like that to everyone involved (this is opinion and I haven't walked in their shoes). Then again, if you're looking for something to complain about you'll find it.
This is precisely how Google built AlphaProof! Read the article, Lean's role is quite critical to its success.

Privately, I think Lean could be incredibly powerful if baked deep into an ML's kernel/structure/training process. I think an AI proof of something like the Riemann Hypothesis may well be possible if you get enough resources behind it.
Sometimes I think rvalue-references were a bad idea. Sure they improve efficiency for people using objects directly instead of through a pointer, but the amount of mental model added worries me that the average coder will have no real clue what rvalue references are. People really overestimate how much most coders understand.
That was more of a kernel bug than a crowdstrike bug. However, it's clear that they are pushing what you can do in kernel space to the limits, which is not a great sign.
I love mesquite! It's a staple crop of indigenous people there.

It's also got some of the deepest roots of any plant ever and can spread rhizomatically. It was introduced into the old world to hopefully fight desertification but has ended up being one of the worst invasive plants ever introduced. You'd basically need an excavator to get rid of one once established
I agree with your intent and desire, but the fact is that this problem _keeps happening,_ and we can't fix it by advocating "well, just do alerts better." There's a lot of cultural inertia at a lot of places that leads to creating too many, too low-signal alerts, and fixing that across an entire company -- or, hell, industry -- is a magnificently tall order.

However, installing a tool to specifically reign in those garbage noisy alerts is a potentially easy, significant win for the time and mental health of on-call engineers.

I mean, it sounds like you can then afterwards go in and identify the alerts that are just noise, and having that data means you can take action. Maybe contact the teams that are writing the noisiest alerts, or prepare some data-driven engineering standards for the company, whatever. But that still falls into "fix the culture", which is famously hard to do by fiat.
My Experience of Keeping up with Angular for 7 Years [video]
Indeed. One of my rules of thumb is that if it requires permanent storage, k8s is the wrong place, even if it is in-theory possible to do. Dealing with that whole side of things is so error-prone.
> To be clear, I literally experience the clinical definition of perfectionism

To be clear, I was trying to make the point that this is ill-defined due to what is a reasonable level of acceptance is difficult to define and how the common usage of the terminology can be ill suited due to this being dependent on understanding what one is conditioning on. I'm not saying you don't place too strong conditions, I don't know you. Despite running into you here often, I don't know that side of you and it isn't something I can reasonably conclude in either way. But I do know it is common that too lax of conditions are placed. It's a spectrum after all and either end is bad.

> every single mistake I made would give me hours to days of stress and anxiety.

I can definitely empathize with this and have been there.

I think you and I are decently aligned in our belief. Maybe we're bad at explaining and/or bad at interpreting. But there are enough similarities that I think we should not discount. But I do think we were using the word perfectionism in different ways. I was trying to use the version we'd see in normal language and how it is used in the article to agree with you in that this actually isn't perfectionism (certainly not the clinical definition). Though you're right to also point out that the clinical definition of perfectionism is not about actual perfection. But I don't think this invalidates my point that the true difficulty is in determining what is appropriate levels of standards, that this is a difficult balance to strike, and that many conflate comments of details/nuance with excessive standards when they may or may not be, including that the recognition of details is important in determining this. And I do think there is a natural bias in that it is easier to identify excessive standards than it is to identify insufficient ones.
Moreover, you can be fired the day before the “sale” and get bupkis. In the US many startup contracts say that if you’re fired, company can even take away your vested shares. They’ll tell you it’s only if you get fired for cause, but cause is easy to create out of thin air. Reject such clauses, and if the company refuses, do not work there. Insist on keeping all your earned compensation no matter what.
Bunch Theory (2016) [video]
More ODBC driver support is great to see.
Smith Premier 1 Typewriter
Tiny Tapeout Demoscene Competition
Maybe an old ILS system that they never fully decommissioned. About 21 years ago, I was working at a local library that had Dynix running on an AS/400-series (I think) that was a tank and never went down. We regretfully migrated to Sirsi which was a web-based piece of shit. We had the old system running along side it for a while (minus all the terminals, which sadly we all tore out) to run some last year reports and access data that couldn’t be converted over. The former IT director who was the Dynix guy was replaced by a new person who didn’t know anything about it. I could see that happening where people eventually forgot about that dusty old unimportant box in the back corner.
Anyone have an alternative link? Cloudflare is blocked here.
in a way

i think if anyone sits down and has a conversation with their philosophical opposite, they're unlikely to treat the world the same afterwards
Can you re-read the list (source Wikipedia) in one of the comments in the tree? It had Debian And RedHat issues listed on different dates.
>Now the skillful workman is very careful indeed as to what he takes into his brain-attic. He will have nothing but the tools which may help him in doing his work, but of these he has a large assortment, and all in the most perfect order.

Interesting.
My world framework tells me that I can never know in advance what I'll need to do my work. Maybe it was that judo class 7 years ago when I learned about the meaning of "Hajime". Maybe it was that video I stumbled upon which explained why Trump and J Cole became successful by "Dumbing Down". It is especially true for creative people, as inspiration can and will come from anywhere. So now I live my life like a non-stop Slumdog Millionaire story, when I never know what will be useful when. Or maybe I try to use everything I know and that shapes my life in a certain direction ?
The Box::new_zeroed family lets us sidestep this. I thought it was stabilised, but looks like not yet

Box::<u8>::new_zeroed_slice(10 * 1024 * 1024) says we want 10MiB of zero bytes as a MaybeUninit inside a box, we can then (since these are just bytes in our example) assume_init() since that's valid for our type although in the real world probably we'd actually store some actual data in the memory we've allocated - but it doesn't go on the stack.

If we're overwriting it all anyway there's also an adjacent set of uninit functions to skip the zero step, although of course the OS might be zeroing the page anyway.
Very nice. If these are pre-computed, is it possible to make a table view that lists every prompt and the answer?
If I may try to counter this point.

You are right, but there's ideal state and there's the real world. When on call most of my time is spent trying to make on call better. Reducing noise, providing more context when the alert and logs are lacking, and of course fixing the real issues that alerts have identified. That said there is a period of time in between receiving non-actionable alerts and classifying them as such, and more context without using brain power is always welcome. I think I'll give it a shot.
When asked for a favour, I often ask that a task be done first.

That step often culls out the takers, because they can't even be bothered to do something cheap or basic. Or maybe it is just the introduced delay?
Yes, exactly. None of us, much less an 11 year old, should have the power to send a small armed militia to go raid someone's home. While calling and false reporting is a serious part of the problem, I think the larger problem is such a police response being commonplace. I can't think of the last time I heard of such a police response actually stopping something heinous from happening, I'm sure it has but I'd be willing to bet the botched operations combined with these swatting calls have done more damage than any good that has come of it.
Advocating against yourself.
Microsoft tried to lock down kernel access in the Windows Vista era. Antivirus vendors went crying to the EU and they forced Microsoft to allow access to the kernel to third parties.
I’ve taken this to suggest he has an eclectic rather than encyclopedic body of knowledge. Having a “well rounded education” is different than randomly jumping deeply into various topics.

Abstractly, everyone is limited to finite life experiences. Knowing the earth orbits the sun is unlikely to be irrelevant for a detective, but knowing local soils might be. If common knowledge would have cracked a case there would be little need of a great detective, thus the greatest detective might be quite ignorant of many things.

Though obviously Holmes might could be having a bit of fun with Watson.
I didn't take it as arrogance. And avoiding hard links and dirmove makes it more portable. Which is why it's used everywhere.

I'd even suggest it reflects humility not arrogance.
Combined with getting rid of all other welfare ( social security too, although I'm open to a higher retirement age UBI) I think a basic income is the way to go.

Welfare programs are extremely expensive to run, UBI could also work as a defacto upfront tax cut.

Say you owe 30k per year in taxes, 1k per month means you only really pay 18k per year.

UBI + a flat tax. You shouldn't need a PhD to figure out what you owe the State.

Let's say we set the flat tax at 30%, Billy makes 100k per year, after UBI his effective rate is only 18%.
Show HN: AI Rapper Online – Create Custom Rap Songs with AI
AI Rapper Online is a cutting-edge platform that enables users to create personalized rap songs using advanced AI technology. Users can input themes, styles, and keywords to generate unique rap lyrics and beats. The platform offers both free and premium plans, with the premium plan providing additional customization options and commercial use rights for the generated content
Right, in the absence of placement-exprs, the alternatives are based around MaybeUninit. Box::new_zeroed() for the "boxed zero array" case, Box::new_uninit() + MaybeUninit::write() + Box::assume_init() for the "boxed arbitrary large value case", Vec::reserve() + Vec::spare_capacity_mut() + MaybeUninit::write() + Vec::set_len() for the "append to Vec" case, etc.
I don't get why this works.

It obviously does, but how did we get to a place where a cheap barcode scanner hack is the best? How does going digital -> analogue -> digital makes sense?

Should there be a generic USB device with storage where we can send all types of inputs to a PC?

Previous - https://news.ycombinator.com/item?id=41073006 (27 comments)
Australia also has Vegemite and the Sydney funnel web spider. No desire to imitate those either.

There's no reason to punish US-born babies just because their parents committed a misdemeanor jumping the border fence. If they're born here and grow up here they're as American as anybody else, descendants of the Mayflower border-jumpers included.

To undertake the process of a constitutional amendment just to deny them that is one of the most racist policies being debated in this country since Reconstruction and the Jim Crow era.
The D.I.Y. Orient Express
What is “TP”?
Idk how apple does that exactly. I’d just voronoi it if they intersect and tap outside-ish, just like I do with hn vote arrows.

Anyway my point is that you can design interfaces denser than three buttons per screen and they will work. Not that a 5mm block with 8 links in it is a good button bar.
The ocean floor is covered in naturally-occurring batteries that make oxygen
OpsGenie has that. We use it at my job. I'm not sure what problem OP is having. The phone call, text message, and app alert from OpsGenie are more than enough. The notification configuration is extremely flexible and each user can customize it as needed. From a user perspective, I don't know what else you could want.

I have no affiliation with OpsGenie outside of using at work.
It does help. It sounds like there are a lot of areas where agile can be modified to fit the work being done.

Unfortunately I can implement absolutely zero of your ideas because every single one of them requires leadership to change how they perceive the way work is done. It is absolutely unacceptable for a developer to inconvenience leadership. An attempt to do that will be dismissed, coded as unprofessional, lead to dismissal.

It is clear to me where my problems lay.
Because there's diminishing returns on effort for each feature and some features just don't fit well with in plan9. And sometimes there's a workable alternative.

Lastly, it's really not for general users. It's for (academic?) computer people who are dexterous and willing to try new things.
I like both databases, but there are some downsides and/or gotchas to SQLite that aren't covered here. Examples are:

- forgetting to use STRICT

- realising you actually did need complicated concurrency options like SKIP LOCKED or multiple writers

- discovering you need to add a read-only user for an analytics tool and suddenly everything becomes a lot harder because SQLite doesn't do networks or replicas or users

There are also certain things that have workarounds but aren't nice to work with, like FULL OUTER JOIN or ALTER TABLE.
Article resonates with me a lot. I've worked on countless projects where I put a lot of effort in designing things cleanly and correctly, only to find out afterwards that it wasn't really necessary. In many cases they were R&D projects that might have turned into concrete products but didn't. It's hard to design software systems and architectures in such a way that perfection is added incrementally as needed. But I think it's in the core of being productive.
HN is the only place "be benevolent" and "helping the multimillionaires" can be put together and be considered normal.
What I like about the code talkers is: the Japanese knew it was Navajo. But even that wasn't enough, because they used particular code words, so even if you knew Navago it didn't solve the problem.
I don't mean to be rude, but your sources are: The lake next to your house, and a paper that opens with

> it is confirmed that the former, especially CO2, are the main causal drivers of the recent warming.

Your claim that warming is caused by natural cycles doesn't seem to be very well supported here.
See also, https://github.com/Daniel-Liu-c0deb0t/uwu

Using SIMD for making text into … uwu.
Educate other absent parents.
Old guys are amazing. They have a lot of knowledge and stories to share. I got into ham radio earlier this year, got my license too, and now learning CW (Morse). I've learned so much from these "old guys".
Longevity Primer 1: Epigenetic Clocks
Great comment, excellent retelling of the historical event. If you want to see what the alternative looks like, look what Iceland did to its banks during their banking crises. Icelandic depositors had priority claims, haircuts for everyone else (in opposition to intense pressure for Iceland to make foreign investors and depositors whole).

Importantly, notice near the end of the Wikipedia article an about how it talks about using currency devaluations for economic recovery versus labor policies and negotiations (ie austerity). This isn’t possible in the EU due to their shared currency. A monetary union binds.

https://en.m.wikipedia.org/wiki/2008%E2%80%932011_Icelandic_...
As someone that worked at MS, on a team that worked directly on this issue (among other things) some years ago, MS did figure out better solutions and did discuss it with industry.

MS has an entire forum for discussing these things with industry (https://learn.microsoft.com/en-us/defender-xdr/virus-initiat...) and has had variants of said forum for some time (I think the first effort was in 2010).

Kaspersky was running an SSL/TLS Proxy in the kernel IIRC and didn't want to have to move it elsewhere due to the fact it would require them to rework their product quite a bit.

The solutions MS (we) proposed were agnostic and overall better, the anti-malware industry simply doesn't want to make the changes as these things do impose technical work on existing products.
Your operating system by definition has to have complete control over things your operating system can do. Do you want third parties to have access to for instance the Secure Enclave in iPhones? The same permissions the Settings app has?
Ham range can be 100s or >1000 of miles. Cell towers much shorter, under abs max ideal conditions 45 miles. And require much more config and admin.

Hams aren't "motley." They're well-organized. That's why they appear to you as "preppers."
Another option if you need single threaded performance along with decent graphics is used corporate mini PCs with Ryzen 5 Pro 2400G CPU from HP, Dell and Lenovo. These are just starting to hit four years since first volume availability this Fall so corporate fleets are increasingly being recycled on eBay. They're already down to around $100 delivered with SSD and Win10 Pro installed and prices should fall even further in coming months as supply increases.

These are terrific for retro emulation as they can easily handle emulating everything up to and including PS2 and Gamecube at 60+ fps (with upscaling too). Toss in an old 2TB HD and it'll hold a library with many of the greatest games ever made that'll take a lifetime to play. Also, don't forget to check out the huge variety of community mods, HD texture packs, cheats and fan translations now available. Around our house we're pretty much opting out of the DLC, multi-service-login-required, 100GB-bloated, DRM hellscape that much of current gaming is devolving into and actually enjoying it a lot more.
> Physicists won’t take a look at a new theory unless the person pushing it can demonstrate very good reasons for physicists to do so

So why did all the string theories get popular?
Why would they even code that, though? Your device will already tell you if you've lost your internet connection. This looks like incompetent sneaky stuff rather than incompetent legitimate stuff to me.
Everyone should watch “Napkins” in season 3 of The Bear. And all the episodes before.
Microsoft as the OS vendor will always be a potential source of updates that crash computers. Now with a third party, you’re adding another level of risk.
Quick tips for curious onlookers:

https://web.archive.org/web/20200725015745/http://summit.sfu...

P34 (his project "outline")

Also
P2 for his responses to Sartre (as an apologist for Stalin)

P31 aside on hubris (note intrapartitional aspect)

You can also have a universe in which the Hays Office is partitioned from the world of its inmates

re:L was waiting for the kids to start using the diggers on each other heh. Good on them!
There is a renewal fee for the license, every 10 years. But it's negligible.
I noticed this week that even Radioddity doesn't know it's not an acronym.

"Whether you’re a first-time buyer or a seasoned HAM, we hope you’ll find our products, prices, content and resources to be just what you need."

https://www.radioddity.com/pages/about-us
would you mind including a video of the product. Or a video of you using it to do your work.
> and indeed, in later Holmes stories he exhibits this kind of encyclopedic knowledge of extremely obscure details of many fields

Correct. The consensus among Holmes scholars is that Holmes was having some fun with Watson given that this is right after they meet and become roommates.
> I spent the better part of the 10 years before the pandemic working 12-16 hour days.

Oh, wow. Then yes, our experiences are too different for mine to be helpful to you.
It is generally not cool to accuse HN users of astro-turfing. And given the size and influence of this platform, I would be kind of surprised if the Israeli cyber unit would even bother.

I think it is much more likely these are actual HN users, a mix of those that a) don’t want to see Israel accused of anything, or probably even more common, b) really don’t want to see this issue pop up on HN—even when it is tech related, and even when it is from a beloved source like EFF.
It's possible that the hypothesis is independent of the existing axiomatic systems for mathematics and a computer can't discover that on its own. It will loop forever looking for a proof that will never show up in the search. Computers are useful for doing fast calculations but attributing intelligence to them beyond that is mostly a result of confused ontologies and metaphysics about what computers are capable of doing. Computation is a subset of mathematics and can never actually be a replacement for it. The incompleteness theorem for example is a meta-mathematical statement about the limits of axiomatic systems that can not be discovered with axiomatic systems alone.
> The main advantage of the Alder Lake N CPUs, like N100, N97 etc. is that they are very cheap, cheaper than the Arm CPUs of comparable speed...

BTW, this is the first time I've noticed Intel could compete with ARM on performance + energy efficiency + price. Has someone already investigated how this happened? Do ARM royalties went so high up or Intel does price dumping?
It's tractable in practice. That's what the Idris (2) language does, for example.
The west does have a huge amount of say over Ukraine policy, the extent at which they can continue the war is completely down to western support. Without western support they would have had to either negotiate or surrender by now. Being told not to negotiate comes with the promise of support if they chose not to negotiate and Ukraine has chosen to take the West up on that promise. I’m not saying it wasn’t Ukraines choice to make. But there is no reality where Ukraine wins this war on their own without western support so this idea that they alone can chose their fate is ridiculous especially when that determination is currently being made on the battle field.
If you don't allow implicit constructors in your codebase, this can be avoided.
> if baked deep into an ML's kernel/structure/training process

Not sure of the feasibility of implementing lean as a GPU kernel, if you meant that. Also I'm not sure it makes sense to run Lean inside the (mostly matmul) training process. Now to use it to prepare some training data, it seems more realistic. But that seems to be what AlphaProof tries to do in the reinforcement step, if I'm not mistaken.
Giant clams may hold the answers to making solar energy more efficient
Look at the statistics.

Technically yes of course .. what are you really asking?
"Load Example" was very helpful to get a sense of what this does. Awesome build. +1 to the other comment wanting a breakdown of what the colors mean.

Also, combining this with real-time in-game camera play could be really powerful, too[0]. Like illuminating details during the game.

[0] https://x.com/skalskip92/status/1816461263829889238
Light-induced Meissner effect in optically driven YBa2Cu3O6.48