skysight-inc/HackerNews huggingface dataset:
Sure, and passing it zero arguments is exactly what it means to evaluate it on the single value of the unit set.

I mean surely we can agree that a pure function of 0 arguments picks out exactly 1 value, and that a function that accepts n different values (values not arguments) as input returns at most n different results? Why make an exception for n=0?

Your definition of a function of 0 arguments and that of a function over the unit set are identical. Or at least equivalent.
Nix Language Basics
> Are there cameras that have a sensors laid out on a curve matching the expected surface on which the image is in focus ?

Not a sensor, but some disposable film cameras have a curved film holder to compensate for low quality optics. Some panoramic film cameras do the same.
Would love a single executable file to run most of these softwares, instead of navingating dependancies, versions and updates.
It's a bad name for any application handling a Personal Identification Number of any kind.
was not*
A co-op is more or less a fancier/better/longer term internship.
It is more funny than I initially thought: We keep making things more complicated and secret in order to make something else less complicated. Even the luddites accomplished only to make things more complicated.

I found a similar treasure some years ago: How we take convenience for self-evident. We love to pretend everything should be as easy as possible. You should really never have to think about anything, never have to learn anything, never do anything, nothing involving muscles, endurance or fine motor skills. Life is best without developing and without accomplishing.
Hint: TODO lists are just stripped down Kanban boards.

Maybe someone will find e.g. clikan more useful.
Yes I meant to the reply on the sibling thread but HN didn't let me delete my comment
What happens after a year when the parents go back to work? The baby goes to the potty by themselves at that point?
A Biocompatible Microphone for a Better Cochlear Implant
Right now, we are looking at using LLMs to identify offers of compensation that have been tucked into non-compensation fields like property descriptions, brokers remarks, etc...
Void is different from this type though, as a variable of type void can't be occupied.

In ML and friends monostate is called unit (and gets used a lot because void returns aren't allowed by the languages). Some have empty types too, which can never be occupied. A function returning Empty can't return, for example, though there are other use cases
Digital Ocean droplets start at $4 USD/month and super reliable. https://www.digitalocean.com/products/droplets
You're not wrong, if you just want "a T or nothing", optional is the way to go. But what if you want "a T, a U, a V, or nothing"? Then you do

std::variant<std::monostate, T, U, V>

Or

std::optional<std::variant<T, U, V>>

But then the "none" state is a bit more "special", it's not just one of the options. The sizeof of the type will also probably be a bit bigger, because it has to contain both the bool for the optional, as well as the tag for the variant.

The other obvious use is what the article states, that it allows the variant to be default constructed even if none of its members are. Though you can do that with optional as well. It's mostly a matter of style. I mostly avoid std::monostate because the name is so confusing, I really agree with the other users that something like std::unit or std::none would be better.
Denmark and Norway is pretty much the same as Sweden.
In my region and accent (Boston area), I don't know how I would pronounce the first and third one differently. Maybe this is a Mary/Merry/Marry thing based on accent.
We certainly could add typing to the main API calls. Typing isn't a huge thing to me as a developer, so I've never really made it a priority. The only place there is typing is in the FastAPI hooks given it's required.
Time flies: Our brains perceive time more like counters than clocks
That's not really true.
There's a reason why in many countries (including mine) medicine students take them en masse for studying/exams.
China Surprises with Rate Cut After Xi's Big Meeting Disappoints
Show HN: I built a free voice test that spots dementia signs via AI
Seems like using txtai would also be very easy?
Reddit isn’t conducive to many types of conversations due to the voting mechanism for posts and comments.
Challenge: which of the letters a to z and A to Z are NOT switches that modify the behavior of ls?

I would guess that ls has at least 50 different behaviors based on the switches.
Something I don’t really understand about if-then and ternary expressions is that ternary expressions seem like a really intuitive way to express a masked SIMD operation, while if-then does not. I think this must be wrong because they are equivalent, so I guess… why can’t I get over it?
Wow! First cookie pop-ups, now Blue Friday...?
Run R Code in Zed
So, basically, Ryanair is against free market. They want to have monopoly, to raise prices. Good for Ryanair, bad for consumers.
Better yet, set it in .inputrc

https://www.reddit.com/r/archlinux/s/cYoHW9h9I0
For work? I drink it for headshots in CS and to grind for loot. (I am unemployed)
Then the LLM is not useful here
Burntsushi explains here in great detail the reasoning for not supporting leap seconds: https://github.com/BurntSushi/jiff/issues/7
Yes, this article is a good place to start: https://neuml.hashnode.dev/build-rag-pipelines-with-txtai
That is assuming people are donating money to change the project rather than support the project as it already is.

The money doesn't have to be spent just because it's there. Personally I'd be a little annoyed if I donted to a project and the only change they made was to burn the cash on advertising that they otherwise didn't do.
I love this kind of content. It reminds me of the early aughts when folks were doing a lot more of this stuff for fun.
there are some places claiming that this "config" language is so flexible that it's basically a interpreted scripting language

but AFIK no sources I trust have yet claimed it

but it's probably where the idea comes from
Microsoft blames EU rules for allowing biggest IT outage to happen
I'm not aware of there being an official Android TV release of Lineage, there's an unofficial one according to XDA.

Ideally for something I'll run on my TV, I'll want something likely to continue receiving support.

I imagine Streamio is more likely to continue receiving support/updates as long as they're focused on maintaining the platform.

If there's an official Lineage Android TV for RPi or x86 that'd of course be ideal.
It’s actually better to use a buffer layer so your own payment logic is platform independent, eg if stripe bans you accidentally you can easily use another payment provider
Technically, they could do it - I believe Microsoft tried in the distant past. Problem is as soon as they restrict ring 0 to first-party only it would raise competition and antitrust issues and be seen as Microsoft favoring it's own solution and locking out third parties.
no, it was raise of traid (or whatever the correct name was)
https://no-color.org
skyscanner would list ryanair traffic on their sites. even though they don't make money from ryanair via click referrals but because of the traffic that ryanair brings.
I'm a customer that is forced to use CrowdStrike via IT policies and I would be giddy with delight if something came along and caused the removal of it from my systems. I don't need programs sitting on my computer preventing me from installing code that I've literally just compiled, preventing me from deleting or modifying folders on my machine, and causing extreme lag for many basic system operations even when it does work. At this point, the time in lost productivity (via normal operation) and downtime (via their recent bug) has easily exceeded a thousand times over the aggregate sum of all benefits that CrowdStrike will ever have provided from threat detection and prevention. It's time to remove the malware.
For another world try Europe.
Solar is faster in the short term (because people think it's somehow "clean") but not sustainable in long term. It requires too much land and upkeep for not great output. It would be better to go all in on nuclear and surrounding technologies and solve energy once and for all.
I love to see this kind of design environment where the written language is alongside interactive elements but also accessible. It creates the basis for intuitive and self-directed discovery of the code's meaning and capabilities.

These screenshots do a good job of showing more of what's possible[0]

[0] -https://scrapbox.io/glisp/%E3%82%BF%E3%82%A4%E3%83%A0%E3%83%...
PHP, Postgres, Stripe API
No, they definitely mean "ls":

> By deliberately making some decisions differently, eza attempts to be a more featureful, more user-friendly version of ls.
A hire is a DEI hire based on the intwnt and process they were chosen. Biden made it clear he was going to select a woman, and unless I'm mistaken I thought he specified a black woman.

A person being a DEI hire doesn't say anything about their ability. You could be a DEI hire that is also good for the job, but you're a DEI hire because the pool of candidates was purposely limited based on certain diversity factors.
That doesn't change the situation of past leap seconds in any way, those still need to be accounted for.
The article describes that as the main advantage, showing std::variant as an example.
Typing eza is a pretty horrible three character combination on a qwerty keyboard. One advantage of ls is it’s a lightning fast set of key strokes. I guess you can alias, but that’s kind of weird (compatibility, etc).
Why use this over dbeaver?
We didn't want young men to do anything.

We wanted ever-increasing returns for shareholders, and that meant moving factories (where these young men's grandfathers were working 60 years ago) overseas while doing nothing on the whole to retrain the workforce.

We got the shareholder returns. Too bad that can't buy a functional society for people born after 1980.
Booking.com is a travel agent and they do have agreements with most airlines using GDS such as Amadeus or Sabre. It's a symbiotic relationship.
Recently helped somebody who accidentally left dockerd open to the internet with no auth. It was hacked, backdoored and running a crypto miner within hours. Only detected when the hosting company emailed him days later because the worm was further scanning other hosts from his machine.

How would you stop, detect and/or remove this threat from this machine on a linux server without antivirus / EDR?
The problem here as I understood it is more general and orthogonal to what the Parse, Don't Validate article is talking about.

1. A field being "required", is not a property of the field itself, but of the construct holding the field. JSON-Schema does this correctly, by letting you define an array of required fields on the schema of an object instead of it being a property of a specific field.

2. Consumers, not producers should decide what their assumptions are. Producers should decide what their guarantees are.

3. Everyone, including the parts in the middle (here it's a message bus) should only state assumptions that they actually need in order to function. Use different schemas for different assumptions (which is easier to do if the "required" assumption is a property of a construct and not a field).

The example in the article you mentioned illustrates nicely how these three principles are broken by "required" (or maybe how Protocol Buffers are used in general).
We only introduced Android support a few releases ago. I'd love to see Cosmo working on iOS too.
> In the future, computers will not crash due to bad software updates, even those updates that involve kernel code. In the future, these updates will push eBPF code.

Assuming every security critical system will be on a recent enough kernel to support this...
To slightly refine your question. When a variable changes how do you know which UI elements have to be updated? I think his answer is obviously all of them.
> In the US, from what I've heard, it's particularly draconian, where you're only allowed to get a new prescription on the day the last one runs out, and then have to take a paper prescription to a pharmacy where they often don't have stock, so you have to try many pharmacies, all the while being treated as a possible drug seeker by staff.

I live in the US and take Adderall, the only part of this that is even slightly true is that sometimes there are shortages on dosage. As in they’re back-ordered on the 20mg pills so my doctor writes me a prescription for 10mg and I double up for a week until I can get the 20mg pills.

My prescriptions are all digital, come to me at least a week before I run out, and nobody has ever even batted an eye when I fill it, which always happens at the same pharmacy.
Verified. "Get started". Well done.
The Jackson-Vanik amendment was only repealed in 2012, at the same point when the Magnitsky act was signed. I don't think Putin & co see a lifting of sanctions as a possibility, given past experience.
Does anyone know how far along the eBPF implementation for Windows actually is? In the sense that it could start feasibly replacing existing kernel drivers.
So the key is to download the source for each version you use and record the date and the current license text. Also, use the oldest version you're comfortable with since it converts the soonest. I'm thinking for down the road when new releases are under a different (even commercial) license and the pull the source for old versions. Then cost starts to go up a lot. Not saying it will, but I hope the software is successful but that sometimes leads to bad things for customers.
So my main character syndrome is actually a good thing? Sweet.
The idea is take even further in DDD. A core idea is to allow the creation of data-graphs which are always in a valid business state.

These so called aggregates can only be created from a factory to avoid bad initialization. This way you never need to make ad hoc validations to be “ really really reallysure”.
Difficult to say for sure without the ability to try a demo (seriously??), but I'd bet there are at least fifty games on Steam that "address" ADHD along the same pathways as this one, with the added benefit of actually being fun.
Scan of Mummified Croc's Stomach Reveals Details of Ancient Egyptian Ritual
Yes, that was what I was referring to with

> I appreciate that it was at least informed decision, and seems to have been tough call to make

but you are right, having that link here helps others.
Tell HN: I'm sick of being delusional, confused, self-critical, overly sensitive
Life is full of beautiful and interesting things.

Many things excite me, but probably a little too much. I get excited, get carried away dreaming about it, then when it comes to putting in the actual work, I get disappointed that I'm nowhere near where I want to be.

People tell me I am better than I think I am. They say I'm smart, talented, whatever. I don't always believe them, but sometimes I can get over it and start to build some confidence in myself or my work.

Sometimes I'm finally able to build enough confidence and start to put myself and my work out there for the world to see. Then I get overly sensitive when the "numbers" don't live up to my expectations. Utterly devastated. The worse feeling of rejection, straight through the heart.

I try to manage my expectations. I've learned a lot over the years. But my sense of self is so fragile that I become increasingly self-critical and dismiss all my efforts as mere delusions.

I start to believe I'm delusional, I doubt my dreams, doubt my experiences, doubt everything. I cringe at myself and throw what I had loved out the window. Then I sit there idly for months or sometimes years, trying to bear the pain of emptiness.

Eventually something else draws me in. I become fascinated again and life is exciting again. I believe in the beauty of life again, and sometimes I believe in myself again.

But the cycle just repeats itself. The delusion, the self-doubt, the rejection sensitivity, the confusion.

How will the world ever see value in someone like me with only half-baked ideas and grandiose delusions. Someone who doesn't have a solid body of work or some kind of reputation.

The world doesn't want people like me that don't know what they want.

How will the world believe in me, when I don't believe in myself.
Do you have some idea of a root cause for that? Sound hellish.
Appreciate that's more nuanced then, but still I think I'd argue the ability to do exactly that is a crucial leadership skill.

Not least because how have you helped the situation by leaving it anyway?
It is not about counting harmonics or not, but what should be counted "the same".

We could have gone all formal here, musical theory and physics and all that. But I claimed that you can just tell by ears and use common sense.

What I was going for is accuracy. Someone made a quick comment that one could have played "the same note" on all 6 different strings, which aren't correct under closer inspection and reasonable assumption to define the context.

Similarly, if you include harmonics in the definition of "note" (while still hold the distinction that harmonics are different from normal notes), then still you cannot play "the same note" on all 6 strings, and in fact even lesser (for the same harmonics to be played on different strings) due to the constraints.

Interestingly, if you also include artificial harmonics, (again, while still hold the distinction between normal notes, harmonics, and artificial harmonics), then yes, you finally will be able to play the same note on all 6 strings, theoretically. One could argue whether we should consider harmonics and artificial harmonics the same, as they share different notations, and requires different techniques, but sounds the same to the ear. But either way there exists artificial harmonics that you can play on all 6 strings.

QED
Lets say 20% of people booking through ryanair and paying £30 for a flight go for their "upselling" (which is deliberatly designed to get more people to add it). That makes ryanair £50 each. That pushes the revenue per customer upto £40.

Lets say the cost is £35, and thus ryanair makes £5 profit per passenger.

Now lets say someone else comes along as sells the ryanair flight for £30 and has their own "upselling": "Click here to not avoid missing out on our great protection package" etc. Ryanair now is making a £5 loss on each ticket sold, and the reseller is making it instead.
> If your company is paying for commercial software that includes kernel drivers or kernel modules, you can make eBPF a requirement.

Are they saying that device drivers should be written in eBPF?

Or maybe their drivers should expose an eBPF API?

I assume some driver code still needs to reside in the actual kernel.
Can you elaborate on why aliasing is kind of weird?
I agree it would be great in this situation but currently it only supports Stripe, and they don't mention plans of supporting any other payment platform.
You're a main character in your story. You're not necessarily a main character in anyone else's story.
I view her as unfit because I haven't seen her do anything meaningful. She was put in charge of fixing the immigration crisis, for example, and I have seen no action from her there. When in Congress I also didn't see anything important come out of her office, and any public hearings I did see her in were unimpressive at best and she seemed to stick to lazy arguments toeing the party line.

I consider a DEI hire because Biden made his intentions clear. He specifically said he was going to pick a woman, and I thought he specifically said a black woman but may I'm misremembering that. Saying you are reducing the pool of candidates specifically for a diversity factor makes that person a DEI hire, I'm not really sure how else to see it.

Its also worth noting that being a DEI hire doesn't say anything about the person's ability to do the role. Though I don't view her as being effective in her role, that is because of her experience and what she has accomplished and isn't because she was a DEI hire.
een krachtig belastingsysteem
The term "vector" represents an ordered collection of elements(ex 3-dim vector is [x,y,z]). A list is flat out incorrect because it is used to refer to linked list(std::list), and a collection means a group of objects and that can be anything like a map, set, etc so it's too generic.

Before C++ popularized the term, other programming languages and libraries had already used "vector" to describe similar data structures. For example, Common Lisp has a vector type that represents a one-dimensional array.
I added a few somewhat similar optimization to Racket. The problem are the corner cases.

For example (fixnums are small integer), is it valid to replace

(if (fixnum? x)
(fixnum? (abs x))
true)

with just the constant

true

?

Try runing a few tests, common unit test and even random test. Did you spot the corner case?

It fails only when x is the most negative fixnum, that is also a very rare case in a real program. (IIRC, the random test suit try to use more of this kind of problematic values.)
I suspect I am an unusually fast metabolizer, since I can be tipped over into very nasty withdrawal headaches extremely easily, even when my baseline consumption is a couple of smallish coffees in a day. The only way I've found to fix this is to get almost completely off it, which as you might imagine I find very difficult to do, since I have to step down very carefully.
But your colleage just implemented it with User - because he could
Show HN: OTAware, airgapped AI for monitoring critical infrastructure [video]
Hey HN,

Video here: https://www.youtube.com/watch?v=8XiP2-DPo6g

This is what I’ve been working on full-time as a solo founder in my startup, Sentinel Devices, for just over four years. High-level: we collect data from the “digital brains” of industrial equipment, then use this data to build a baseline model of equipment behavior and monitor for anomalies – signs in the digital data indicating maybe that a sensor or valve is failing, or that some kind of cyber-physical attack is ongoing. The unique part about our approach is that we are laser-focused on doing everything totally offline – that means all data collection, storage, processing, AI training, and decision-making happen exclusively on embedded industrial hardware. There are no external servers, data is never sent anywhere, and our models are not even pre-trained – our devices self-train and self-develop models in the field, based only on data they’ve seen. By removing the need for cloud connectivity, we’re building something that scales infinitely to as many machines as you’d like – while not introducing any of the issues that come with an always-on external network connection.

I thought this would be relevant given the (very) recent events around always-on internet connections and updates bricking critical infrastructure. We’ve developed OTAware specifically for critical infrastructure – if there’s no internet connection, attackers can’t get in (or at least it’s a lot harder) and you won’t be impacted by your infrastructure making random updates. Definitely welcome any thoughts or discussion from industrial folks around use cases you see, or obstacles to deployment you can think of. And if anyone would like to try it out, it does require physical hardware, but we’ll happily talk with you about what a test deployment can look like!
And spending on other projects might create tax problems for them, their donors and maybe the other projects...
Caffeine makes me very sleepy if I drink it mid-day and I do in fact usually fall asleep early.
That reaction was your choice, not the project's.
Is there a reason for the lack of naming+shaming Crowdstrike in this blogpost? Was it to not give them any more publicity, good or bad?
Doesn’t DDR5 memory have some kind of error correction? Is the error rate different on DDR4 and DDR5 setups?
So long as cancellation is as easy signing up, I think they’ll be okay.