skysight-inc/HackerNews huggingface dataset:
I started to implement a new idea a few weeks ago, and then I stopped because I wasn’t sure that it’s a good idea.

Now I decided to share it with you to see what you think about it. VaporCache, as I named it is an “In-Memory KeyValue Extension” for AWS lambda function.

Here are a few things that specifies this:

* It’s an AWS Lambda Extension, and it’s only accessible within the lambda execution environment.

* It’s in-memory, like any other in-memory database, main storage is memory.

* It’s a KeyVakye database, just like Valkey or Redis, and the RESP3 protocol is used here. Meaning you could use any redis client to communicate with it.

* It’s not a distributed database.

Use cases that I can think of:

* To cache data within a lambda execution environment to use it between different invokes.
* To take responsibility for memory management, to prevent OOM errors in lambdas.

Looking forward to your feedback.
You want to find ancient marvels? Start digging literally anywhere in or around Rome. Or half of amazon jungle. Or around London. And so on. You can get much more 'value' in form of artifacts and knowledge from there for given money.

Submerged places... imagine how complex and slow archaeologic excavations look on the ground. Now move it 50m underwater in endless mud. Good luck looking for literal needle in the muddy haystack of 40,000km2. To find what... some fossilized wood or few arrow heads? That culture was very similar to ones on neighboring lands, no atlantis there.

One day, robots can scan and dig through there but there are so many better ways to spending money, any money, that it makes perfect sense nobody is doing it.
If I compare C++98 template metaprogramming with tag dispatch, ADL, and SFINAE, with what C++23 offers, it is already a complete different world, even if there are still warts to improve.
When I worked at Best Buy in the late 90's, we were trained on the virtues of Monster AV cables, which they pushed because they were an accessory with high margins. I recall one time when a sales manager cut open a cheaper version of some cables and discussed how it had less wiring and insulation, which I think he did with Monster cable to show the drastic difference. I think they had like 3 levels of quality, the cheap stuff, the mid-grade stuff and Monster. Even though I worked there I only ever bought the mid-grade because the quality to price ratio was great.
The problem in this case is that the actual criminals will just move to a more obscure, properly encrypted solution, and as such the normal population that uses Whatsapp, Telegram, Signal will be the only users being monitored.
OK. How do you propose to do that?

It doesn't sound impossible. So let's think about how.
It's the other way around. Rust has always had contexts that are guaranteed to be compile-time (const and static items), and gradually added the ability to run some subset of the language at compile-time (const fn) specifically to accommodate const/static items (e.g. to replace the old lazy_static with the modern LazyLock), and naturally also allows these functions to run at runtime if you want (and in what would otherwise be a runtime context, you can enforce compile-time evaluation with a const block).
US Imports More Food Than Ever, While Trump Considers Tariffs
I'm away from my library, but fortunately the books you referenced are a Google away, so I could consult them and confirm that they say what you say. I'm not quite willing to accept Kleene's word as an authority on common modern mathematical practice, since he was a theoretical computer scientist before the term, but, though I'm not familiar with Enderton's book, it certainly looks like a reasonably standard one.

But these are all referring to Peano arithmetic as a model of the theory of the natural numbers. And that seems a bit silly: the impact of Peano's work wasn't because he showed that there was a model of the theory of the natural numbers, which everybody believed if they bothered to think about it, but because he showed that all you needed to make such a model was a successor operation satisfying certain axioms. Yes, they may be less model-theoretically congenial because they're second order, but to change Peano's work from what he did historically and still call it Peano's seems strange to me. (I'm fine with dressing it up in modern language, and calling it an initial object in the category of pointed sets with endofunctor, which perhaps is biased but still seems to me to be capturing the essential idea.)

Certainly I was taught the second-order approach, though it was as an undergraduate; I've never taken a model-theory class. As I say, I'm away from my library and so can't consult any other sources to see if they still teach it this way, and anyway I am a representation theorist rather than a logician; but, if the common logical approach these days really is to discard Peano's historical theory and to call by Peano's name something that isn't his work, even if it is more convenient to use, then I think that's a shame from the point of view of appreciating the novelty and ingenuity of his ideas. But just because I think something is a shame doesn't mean it's not true, and so far you've produced evidence for your view and I can't for mine, so I can't argue any further.
Small Teams – Handbook
LLVM has spawned probably a dozen vendor supplied toolchains that you never see the source for, best of luck figuring out why your program didn't compile correctly, or adding support for something other than the tools/languages provided.

The compiler and toolchain really are going the wrong direction with LLVM in terms of open source.
Since it's nonprofit, are donations 501c3 deductible? I am on the council of a conservation foundation based in Costa Rica. We want to make it easy for US based philanthropists to donate and receive some tax benefits from the donation.

There is an organization named Amigos of Costa Rica [1] which is set up for this purpose, but they have somewhat steep fees on top of the payment processor's, and they only reconcile the balance on a weekly basis, through wire xfers, which is not ideal.

[1 - https://www.amigosofcostarica.org/]
either you've seen the wrong episodes over and over, or you're just not approaching it with any sort of an open mind. even in the opening song you don't like the "staccato melodica" theme song, its just a small snippet of a longer song their musical director composed that the creator decided to snip down and turn into a game of musical statues...its just supposed to be fun!

and there are episodes like Cricket where it is nothing but kids behaving ideally and overcoming real challenges
Same here. After watching it and then looping the "Boldly in the Pretend" (official song to "Rain" music), my attitude to parenting and many specific behaviors changed pretty much overnight.

(For one, I realized we're both too harsh about kiddos getting dirty and making a mess. The other big thing was, it made me decide to make playground after kindergarten a priority more important than work.)

Beyond parenting, that story and song connected me with my own inner child, and had me realize I might be taking this "adulting" thing way too seriously. Work, play, it's still the same game - we're still just "racing those boats down the road to the end".

Can't think of anything else in my life that managed to break me down and put back together differently so quickly.
That's an interesting conspiracy theory I haven't heard before. However, I doubt the investment into rewriting large projects makes any financial sense even if the goal is to kick out the experts. Rewrites take years, even if the junior does it for cheaper, and migrations are an existential business risk.

If those 15 years of C++ optimization don't provide an advantage over what a 22 year old with half a year of bootcamp can provide for a quarter of the price, then maybe it really is time to stop doing things in C++.

The unfortunate truth of programming as a profession is that you need to move with the times. If C++ is on its way out (which I highly doubt), it's time to learn Rust. Most Visual Basic programmers moved on, as did most Fortran programmers, and many C++ programmers when Java hit the scene.

When you're making this about labour's bargaining power, you're assuming that young labour is a threat to experience labour. Perhaps that's the case to some extent, as the shortage of people with programming skills that has led to the ridiculously high wages for the software industry is slowly evaporating, but gatekeeping the industry isn't some kind of pro-labour move, it's just selfish.
> environment variables for secrets

This is not always ideal and not a best-practice. Consider that environment variables in many common environments are publically readable by any process via /proc.

If you have the option of putting the secret in a properly permissioned file on a tmpfs and run the process as a dedicated user/group, that's often more secure and no less convenient. Then you have an environment variable to provide the path to said file.
> and this has created an epidemic of tinnitus among their users

Excuse me, are there sources I can read more about this?
My Garmin Venu 2 with an OLED display gets at least a week with a couple days of GPS usage for walks too.

I don't understand how anyone is willing to buy a watch that barely lasts a day.
It’s an organization run by people. That organization runs some software, like most organizations, but it’s not some AI invented it. Every line of code was created by a person, approved by a person, snd deployed by a person.

The sanctions were for the use of that software knowingly not in compliance with the laws about money laundering, even after knowing there was extensive use by North Korea. The developers could have changed the service and chose not to, which is how they ended up being sanctioned.
Show HN: Mistral NeMO Agent to get the best builds in League of Legends
I'm learning Rust, and I like building a Discord bot for my server where I play with my friends. I discovered that there isn't an API that returns suggested builds in League of Legends, so I experimented with creating a bot powered by a NeMO agent. This is just a fun project I made for my friends and me.
std::fs is generally not a good API with the complete lack of directory handles.
For anything involving file paths, user input, etc. -- yes of course. It's not even a question because they would need to be escaped otherwise which nobody wants to do.

But for a simple example like this where it's inserting a date which has known properties, it seems fine, and is much more readable.
Uhm yeah well now try

ln -s /etc/passwd foo
sudo more foo

OMG! The original version is "vulnerable" too!

(I did not know about that strace feature though - that is very cool, thanks!)
The point stands though. You must have good money to afford that, and having good money requires competing in one way or another. People compete for benefits, not for [some social approval as this article claims].
Huh? What is it you think Rust copied here? I agree that the choice in C++ is essentially worthless, so that in practice you can write functions which are definitely never executed at compile time and aren't constant in any sense, label them constexpr and that compiles anyway. It just becomes yet more noise C++ programmers learn to type by reflex to get the correct behaviour from their compiler, joining explicit.

But in Rust that's not what you're getting. Rust's const fn is none of the options C++ decided it needed, Rust says if the parameters are themselves constants then we promise we can evaluate this at compile time and if appropriate we will -- this means we can use Rust's const fn where we'd use C++ consteval, but the function can also be called at runtime with variable parameters - and we can use Rust's const where we'd use C++ constinit, calling these const fn with constant parameters.

Because Rust is more explicit about safety of course, we can often get away with claiming some value is "constant" in C++ despite actually figuring out what it is at runtime, and Rust isn't OK with that, for example in my code

const OVERSIZE: u32 = SIG_BITS.next_power_of_two() << 1;

We can just calculate what power of two is bigger than SIG_BITS and shift it left at compile time. But...

pub(super) static SHORT_80: LazyLock<Rational> = LazyLock::new(|| Rational::fraction(1, 80).unwrap());

The Rational type is a big rational, it owns heap allocations so we'll just make one once, at runtime, and then re-use it whenever we need this particular fraction (it's for calculating natural logarithms of arbitrary computable real numbers).
I love Claude, but whomever works on their UI needs to be slapped a bit. Code output covering the stop button on my laptop, page lockups on iPhone/Chrome with certain artifacts (even after reload), crazy slow typing on the computer and refusal to “continue” chat with a cheaper model. Simply providing a summary of the chat on running out of tokens would let me start another conversation, or at least a warning I was getting close.
Very closely related, since we also share like 90% of our DNA with chimpanzees. There's not much left to work with, distinguishing one human from another.
The Cybernetic Teammate
Another user of RustDesk here, would definitely recommend it!

My use case is more like replacing a KVM switch, but in addition to being performant and free (I no longer need RealVNC), it lets you run your own relay if you want and also supports virtual monitors - meaning that my laptop can have its screen and 3 virtual monitors, so that I can fill up all 4 of my desktop PC monitors when I want to remote into the laptop!
It's more like replacing 4 C++ software people with 1-2 Rust people, because there's half as much work when you aren't constantly coding foot guns.

The rest really is tin foil hat stuff. I'll believe it if I see it, until then its hard to see Rust as a deskilling. The language requires a different skill is all.
Hairdresser are extremely useful even from just a utility standpoint (no going for any fancy cut) because that is something that is extremely hard to do yourself (almost impossible if you don't want basic army cut in fact).

I don't know how one can come up with such nonsense as hairdresser being a bullshit job. What's next, cooks?

There are indeed plenty of bullshit jobs, but they are systemically the bureaucratic paper pushers that has all the power in today's society (both in monetary terms and political terms), because they have some sort of diploma (which is mostly a way to show allegiance to the regime).
Those people are demonstrably dumber than many of the people doing actually useful jobs (often less paid with none of the advantage of the bureaucrats) but they hold most of the power collectively, and they are not giving it up.
Show HN : Rollout - Create websites with AI
Next step: figure a safe way to stimulate drainage mechanisms…
I’ve got almost 30 years of using UNIX shells and I’ve learnt a lot more than most, but there are plenty of tools that have things like -r and -R that do radically different things and I don’t always remember the difference between them. If it’s written --recursive then it’s a lot clearer. Clarity is useful even when you have a lot of knowledge and experience.
The Cybernetic Teammate: A Field Experiment on Generative AI Reshaping Teamwork
Hulk Hogan is also a compulsive liar, so I don't believe this story.
We used them at a student union for a similar reason - lots of students thinking they're a rock star swinging mics around and stuff meant we ended up with a lot of damage. Though IMHO the monster cables didn't actually take the damage any better than real "professional-tier" brands, that "no questions" replacement policy was used heavily by us.
The GPU equivalent of a single CPU "hardware thread" is called a "warp" or a "wavefront". GPU's can run many warps/wavefronts per compute unit by switching between warps to hide memory access latency. A CPU core can do this with two hardware threads, using Hyperthreading/2-way SMT, some CPU's have 4-way SMT, but GPU's push that quite a bit further.
The author does mention that the OS appears to be performing a sort of batching or aggregation of fsyncs after reviewing the test results and concludes that more than 1000 fsyncs are occurring per second. I’ve also confirmed this by running some benchmarking on EC2 instances with gp2 volumes: https://justincartwright.com/2025/03/13/iops-and-fsync.html
I’ve been saying “stop writing code until we agree what needs to be done”.
I thought I was gonna see an error because the stat'd file and the opened one didn't match. How disappointing
Links Between Indian, Iranian, Greek, Celtic and Norse Mythology
I think money laundering, or hiding the source of illegally obtained funds, involves several steps which are not going to be covered under freedom of speech. For example the handling of stolen funds.

Arguably describing an algorithm which facilities money laundering is a freedom of speech issue.
also Producthunt and related sites. '?rel=blah' (ꐦ°᷄д°᷅)
... also with specific new AMD hardware, it seems?
It is a comment coming from pragmatism, not ignorance.

At any rate, feel free to look around here: https://github.com/uutils/coreutils/issues?q=is%3Aissue%20st...

It is NOT a replacement of GNU coreutils AT ALL, as of yet.

Granted under "Goals" it says "uutils aims to be a drop-in replacement for the GNU utils. Differences with GNU are treated as bugs.", but please look around the opened (and closed) issues (since they should tell you about the major, yet simple logic bugs that has occurred). It is definitely not ready, and I am not sure when and if it will be ready.

FWIW the README also says: "some options might be missing or different behavior might be experienced.".

Future will tell, but right now, it is an extremely bad idea to replace GNU coreutils with Rust's uutils. Do you think otherwise? Elaborate as to why if so.
People were cooking burgers and chicken on these things, no steak.

Also, George Foreman grills were popular in the late 90s/early 2000s, before induction hobs were really much of a thing.
Software is mediocre today? You should have seen it back in the day. It was a brittle, arcane mess.

Software isn't as exciting any more, but that excitement isn't gone because newbs don't have to look up what -O stands for anymore. It's because it's wildly more reliable.
Especially when it's "modern" SSO aka browser-based crap which means the same software that you use to browse untrusted sites on a daily basis is also the one in control of your entire SSO session.
To this day, I write tar options with no dash, simply because I can. `tar cvzf foo.tar.gz ./foo`

I would never write a new program with this option, but I do find it a delightful historical oddity.
I don’t know much about airflow

But isn’t it just also python with cron?
You can print images on cakes.

You could make a cake that takes pictures and gives you a cake with the picture.
https://archive.is/U9zh6
The Importance of Repetition in the Workplace
Yeah, we imagined brainwashing would involve rapidly flashing hidden messages. In reality, it involves a head sticking out of a toilet.

Hearing some of the things my elder daughter hears from other kids in the kindergarten, I sometimes wonder if we haven't jumped into some bizarro alternate universe.
well.. okay.

NV looks like similar enough to mid-to-southern-africa where we did stuff.

an AC unit (6KW? 24KW?) (per what, TEU or double-TEU) doesn't look like something sustainable. but we had much less dense installs, so I'm not really ready to argue that

SoC vs thermals vs load/charge profile is very not-a-single-number, but when the battery banks suddenly start demanding replacement (+ african logistics ) one develops models for the monitoring dashboards quite fast indeed.

I still believe that 20 yr warranty is bullshit on any serious load cycle. But if the manufacturers are willing to swap them, then no problem of course.
Does it render to plain text or styled HTML? Not quite clear from the readme.
https://archive.is/GHn2y
Deos anyone have an example beyond the one on that page? I'm having a hard time understanding.

So, I'm interested in some metaprogramming right now. I'm setting up Vec3 SIMD types, and it requires a lot of repetition to manage the various variants: f32::Vec3x8, f64::Vec3x16 etc that are all similar internally. This could be handled using traditional macros, procedural macros, or something called "code gen", which I think is string manipulation of code. Could I use crabtime to do this instead? Should I?
Ah worth knowing thanks.
100 RMB army will be the first to be turned into landfill when China gets a bit more ambitious. Much like what is currently happening to their North Korean counterparts in the north of my country.
You could do it with asserts or as a wrapped type, but both of those approaches are only checked at runtime. That means you don’t get runtime errors instead of compiler errors. It also limits the compiler’s ability to take advantage of the constraint to optimise. Also asserts need to be added everywhere - by both you and the compiler. And wrapped types are annoying to use since you lose access to all the standard arithmetic operators.

It would be better if the type system could encode types like this directly. Better for ergonomics and better for optimisation.
Are people still touring the "ultimate free speech" narrative, or have we moved on to the next talking point?
Not much detail on the lymphatic therapies that achieve this. Hope good progress is made soon.
Hover titles are supposed to display complementary information, not be the primary means of documentation about what an option does.
I dont like binary world views (order vs chaos) but let me have my hot take.

When you take the opoosite perspective, i dont think that anyone there considers themself as chaos or bad. For them its always good order.

What you percieve as chaos winning is imo the primordial ape mind rallying around a "strong" alpha male while punishing the out-groups to make their tribe great again. It is just a different value system that does not care about all those complexities of eg. how crimininal biographies or transsexual orientations emerge. And that ignorance is what makes it harmful in the end.

The question whether you control (order) or let go (chaos) to achieve something is too broad or too simple to answer generally.
Stripe supports stablecoins if the merchant enables it. They still charge 1.5% though.

Building and maintaining integrations and dealing with customer support and monitoring accounts for fraud costs money.

And the number of people who keep spending money in stablecoins is minuscule. (I'd never use them because I want fraudulent transactions to be able to be reversed.)
i came to a stark realisation after abandoning youtube premium that i may one day be banned for adblocking

due to nearly all of my authentication being done through google i would lose nearly all my digital content
You could apply a robotic filter on top of these voices.
Review bombing is when many people dislike something.
The downside is they’re louder than a prop plane doing a run up.

There are some with sound insulation covers.

But the blendtec is one of my best purchases ever - especially in “I never have to think about this again”.
"The cake is a lie"
Your example is almost equivalent since even if you implement SSO on every of those apps, this doesn't mean that every app has integrated it well.
That study is about the impact on labor supply, not the usefulness of UBI.
Big accusations require strong evidence. Please provide them, if you have them.

I'm not an expert. 99% of my “knowledge” about ultrasound is from the posted article. Your thought process around AirPods makes no sense to me.

I would be very surprised if active noise-canceling systems would produce sounds higher than 20KHz.
Generally you shouldn't be passing random data from the web to shell scripts. Maybe I haven't done the right type of work but having to deal with fidlg bits it's much more likely not passing it to be shell will cause issues (with stuff like executable paths)