skysight-inc/HackerNews huggingface dataset:
Well, yes, to the extent that functions are functions are functions (they’re just associations or mappings or whatever you want to call them).

Maybe your question boils down to asking something more general like: what’s the difference between functions to a computer scientist (or a programmer) and functions to a mathematician? That is, are ‘functions’ in C (or lambda calculus), say, the same ‘functions’ we talk about in calculus?

The answer to that is: in this case, because these are quite simple functions (sums and products and compositions thereof) they’re the same. In general, they’re a bit different. The difference is basically the difference between functional programming and ‘traditional’ programming. If you have state/‘side effects’ of functions, then your function won’t be a function in the sense of mathematics; if the return value of your function depends entirely on the input and doesn’t return different values depending on whatever else is happening in the program, then it will be.

Since you’re asking about lambda calculus in particular, the answer is that they’re the same because lambda calculus doesn’t have state. It’s ‘purely functional’ in that sense.

>I guess my question, is what are the primitive functions here doing?

I’m not really sure what you mean. They’re doing what functions always do. Every computer program is abstractly a (partial) function.

Does that help, or have I misunderstood?
> /tmp isn't stored in memory

It is if your system uses tmpfs for /tmp

https://en.wikipedia.org/wiki/Tmpfs
I’ve owned a Tesla for the last five years. It’s every bit as brilliant as Musk promised, and I can assure you Tesla is not a scam.
The same can be said for empires in general. Dominance seems forever until it isn't, and often the "higher you go the faster you fall" idea plays out.

There are plenty of signs that the US could be in the midst of its own empire failing. Whether that actually plays out is something we wouldn't know for decades or centuries, but there sure are a lot of parallels to failed empires of the past.
Maybe his publisher said: you have only 50 more pages before it's no longer one book
The FCC's survey data suggests most will just go back to paying what they used to pay, sign up for a cheaper plan, or use cell service (which has become much better during the ACP tenure.)

Especially in rural areas, for Comcast and Charter, the scariest part of ACP ending is going to be all the T-Mobile home internet signups.
I do think the obsession with naming everything in a series words beginning with 're' is a little unnecessary.
“New strategy” ..how long ago was this strategy hatched?
That's rude. You're not his therapist.
Counterpoint: GNOME and the modern GTK framework

(I needn't say more.)
I can get money with my time via a job, how exactly do I get time with the money I now have.
It's built from source. You can just diff it. Of course, you don't have to, because they provide the patches.

Don't use any FIPS branch of any platform, because FIPS is terrible. But the argument presented here seems facile.
In the US if a doctor prescribed a brand name, the Rx works for the generic as well. For me, it usually happens automatically at the pharmacy with no action on my end.
This kind of setup is a nice improvement over golden images with a lot of the benefits. Application setup, upgrades, and rollback become much easier when the whole app is packaged together and has its own copy of dependencies.

You can also throw in systemd units for Docker or Podman. I usually create a small shell script that pulls, removes any old container, then runs a new container with correct args in the foreground and toss that in a simple systemd unit
> When you put money into your checking account, the bank doesn't hold it in a vault, they re-lend it out as mortgages and car loans and small business loans. They just do it competently, and under the scrutiny of bank regulators and insurers.

A bank CEO can definitely not lend customers' money to themselves with fake assets (shitty tokens) as collateral, likely without intention to repay. SBF was a thief, full stop.
In embedded systems watchdog timers are often used as a crash mechanism outside of the software itself, which will crash the program if it is not reset. I found this concept of crash-only software pretty neat - time to see if I can apply it.
But this solution won't even get you that far, let's be honest.
Tensions grow as China ramps up global mining for green tech
They can be rendered at any size.
> Our goal is to share this implementation with others in the Go community who have the same requirement, and to merge this capability into upstream Go as soon as possible.

From the readme.
It allows you to use any tool available for regular files, on the files-in-files as well.

As opposed to extract contents and then work on that (requiring extra steps + disk space). Or be limited to what specialized utilities support.
The scenario you’re proposing sounds like one person lecturing another and not listening to any counter points… wanting to leave feels like a natural reaction.
Don't think Russia's all that special. The only reason the West values those lives is that they're valuable pawns against Russia. To see how the West acts about lives that aren't valuable pawns, just look at Palestine. The West lost all moral credibility after Palestine. Our governments can't claim they care about human life any more.
If you’ve followed the money train, you should practically be fatFIRE by 50 assuming you’re in SF. I can imagine it being difficult if you’re single income but dual income tech workers in SF should be easy FIRE territory for a 50 something.

It’s really hard to imagine a scenario where someone is reaching 50+, can’t find a job due to ageism, and has anyone but themselves to blame. I have friends who don’t own property in SF, rented their whole lives, and haven’t accumulated millions in NW. They only have themselves to blame because they kept trying to do their own startups. They had 7 figure comp when they were at established tech companies but would keep leaving to start their own thing. They could easily be close to retirement but they’re gonna be working past 65 at the pace they’re going now.

The only thing they regret is that none of their startups they founded have made them rich.
And I want to become a quantum theorist. I think being able to manipulate symbols on paper and explain the universe is food for the soul. Grass always seems greener on the other side. :-)
Next step, in case you get bored: why (in fact, not a minor distinction) does such a simple approach work so well?
I would expect NATO to protect them as well. NATO needs that oil and gas.
Ctrl+F > "telomere" -- 0 results

Weird to not mention telomeres in that article. It sounds like basically what they're talking about. We already know about Telomerase:

https://en.wikipedia.org/wiki/Telomerase

We are rapidly developing gene editing, e.g. with CRISPR:

https://en.wikipedia.org/wiki/CRISPR

Not to mention that we already know about "immortal" organisms that beat this "limit". There's no reason to think that "fundamental limit" is anything more than yet one more problem to solve.
I'm sure there's a small amount of variability, but people always tell me "you will get used to it" when they see me sweating balls as if I just moved from Lapland and I think it's trivially false and clearly genetic.

I've lived in hot places my whole life from Texas to Mexico to the beach, the latter two I never even had A/C for 10+ years. Clearly some people are like me and some people aren't and it has nothing to do with acclimation.

Meanwhile my girlfriend who barely sweats certainly didn't train for it, come on. Though she immediately overheats in the sauna which is the only time I feel some satisfaction on the matter.
Dream-HTML – render HTML, SVG, MathML, Htmx markup from OCaml
>Microsoft's security reputation is so flawed, that some parts simply must be intentional, or coerced.

They are a lot better than they used to be. They went through a trial by fire in the 90s and early 00s and came through for the better.

It's worth noting that classified computer systems in the military-industrial complex run Windows, and not Linux, nor do they run the security cosplay that is OpenBSD.
Ask HN: Delaware C-Corp Governing Law Jurisdiction
Hey everyone, I'm in the middle of filling out the Post-Incorporation Documents for a Delaware C-Corp on Clerky. My startup hasn't launched yet, and I'm planning to be in the SF/Bay Area when it does. However, I'm not 100% sure how long I'll stay there. My current residency is in another state (State A), but I plan to move to California or another state (State B). Which state should I choose for the Governing Law Jurisdiction? Delaware, California, or State A, or State B? Thank you in advance for your help!
It's one of many things to consider. Think of it as sandboxing, or attack surface reduction. Should we expose everything to everything else, or should it be on a need-to-know basis?
Its target market, per Tesla, is not those use cases. I think electric yard tractors are already a thing.

The “electrify road shipping” would go a lot smoother if Tesla was honest about “electric performance + a diesel base load” but I guess Elon doesn’t want to concede the argument? Honestly surprised no one else has moved in this space?? Maybe it just doesn’t work?
And for all that convenience, each BTC transaction costs only $7 !
Capping cars' speed to 80mhp would not affect commutes at all. Can say that I drive over 75 mph very rarely.
"in Canada"
"In business majors"
At least in the US, the 911 infrastructure is dated.

In older systems, your caller ID is sent using in-band DTMF tones, which are decoded by the dispatch computer.

On newer E-911 systems they get some additional digital address data from the telephone network, but the record format wasn't designed with VoIP or cellular in mind. So in those cases, the telephone network sends a virtual number and the dispatch computer does a seperate out-of-band lookup with the VoIP/cellular company using that number as a key to get your location.

The whole emergency calling system is layers upon layers of hacks. While they can bolt additional functionality on if they're creative, it's more likely a given feature is _not_ implemented. There's a good chance that by the time the call gets to dispatchers, the IMEI/IMSI isn't displayed anywhere and they just see a random virtual number.
I felt like it ended right when things were getting interesting again.
I made this a while back that utilizes shell script and AWS cli to spin up and cloud init to run things https://github.com/nijave/cloud-init-golden-image

For this type of use case AWS has managed services like Batch, ECS, or even auto scaling groups that can make this easier depending on what you're trying to achieve.

ECS with Fargate executors is fairly easy to run arbitrary things inside a VPC
> you're back to square one: what do you do with that wad of cash?

Keep it in a safe somewhere undisclosed instead of a retail storefront everybody knows is holding a ton of cash, or spend it.

The point is that it moves the cash from the publicly visible location to somewhere nobody knows to rob.
> the primary problem is that weed shops are incredibly attractive robbery targets due to being one of the few businesses in 2024 that handle large amounts of cash.

It's also the product that's the target much of the time - it's got no serial numbers and it's light-weight, and easy to resell.
In the last week I've read stories here and elsewhere about the current administration:

- Ending non-competes

- Ending salaries being used to avoid paying overtime

- Un-banning marijuana

- Restoring net neutrality

- Fining carriers for sharing location data

- And now, challenging dumb patents

Despite your cynical take, that looks like a lot of stuff that's good for me as an individual person.
>I can get money with my time via a job

Unless you can't easily find a job. Ever been unemployed?

>how exactly do I get time with the money I now have

By quitting it once you saved enough.
No, but neural networks literally were inspired by biology so I'm not sure what your point is.
Instead you get awkward state management issues. Will the child really inherit everything it needs from the parent or has systemd forgotten to transmit something? If I chroot and then run0 will that process also run in the chroot? What about systems with older versions of systemd?
Learning "how to drive like everyone is trying to smash into you" has worked for me.

Basically you always keep enough distance between you and the car in front of you to be able to avoid rear ending them, keep an eye on what's behind you, and resist the urge to road rage. For example, when someone cuts you off you put distance between you, "You're still moving forward".

I was offered that advice by a California Hwy Patrolmen when I was just 16 years old shortly after I got my driver's license. It's worked for me. I'm 65 now and I've never been in an accident or crashed a car, and I've never gotten a ticket. So it's really worked pretty well for me.

I'm personally not ready to want a car that drives for me, but I would like others to have one that would put on the brakes when they get too close behind me.
> Don't you find it ridiculous to blame the XZ backdoor on systemd, instead of the actual hacker?

This is a great argument against all computer security. If you believe in securing your computer, you're supporting hackers. Because if you ever believe that a lock has failed, you're saying the thief is innocent; that's how logic works.
I had to write an ssh client for an embedded system long ago.

Looking at the design, I found it to be sort of messy.

You could restrict commands ssh could invoke, but it didn't seem super secure.

Also scp/sftp was not well designed. You basically had to give ssh access to your system to allow a file to be copied, and there were no real path restrictions.

I personally thought ssh could be much more robust in what you could run and what you couldn't. And scp/sftp could have better filesystem semantics so you could have more security in what you could access.

And I thought having a write-only scp would be really interesting, sort of like a dropbox for people to send you files securely, but not have to give someone ssh credentials to do it. And an anoymous scp/sftp for distribution or a dropbox could have been really interesting too.
Not news, but happen every times when Google fires
1. There's something you need to get done that'll take some chunk of your time.

2. Give someone money to do it for you.

3. You have more time.
Our results are varied on long contexts. True — one can put a lot of stuff in there and the thing groks a bunch of it. Being able to synthesize specific answers from “long tail” facts in the context can be difficult. YMMV.
So use Bitcoin Cash or any of the other alternatives with lower transaction fees.
Also appears to be another one I didn't notice.

https://news.ycombinator.com/item?id=40211891
Curves to slow down? Sorry but a bunch of curves don't make you drive slower than the 100km/h / 65mph / 70mph speed limit. Germany's Autobahn has many many curves and many of those have no speed limit and you can take them easily at 150+ km/h. Seriously, buy a plane ticket and try it for yourself. It's awesome.

Stop signs are aggravating if people had to actually stop 'properly' at every single one. No wonder people do a rolling stop most of the time. Many European countries do this the right way and do not have stop signs everywhere but instead have the main road have right of way or rules. To bring up Germany as an example again: in many places where we need stops signs all around, they simply have a rule that says the person to the right is allowed to drive first.

Speed bumps do nothing, except very very locally. You can't have enough of them to actually slow down cars along any reasonably long stretch of road and adding so many that it would will get the locals to NIMBY them into oblivion. I can almost guarantee that. Like put two or three in front of that school, sure. Plaster the entire neighborhood with them? Forget it.
Vicodin/percs also require prescriptions tho.

Not so much of a gotcha.
Related Delta takes flight: Apple-approved Nintendo emulator is a great iOS option [0](22 points, 6 days ago)

[0]: https://news.ycombinator.com/item?id=40150455
The average duration between any two moon phases is 29.530589 days.

Many watches use 29.5 days between phases for simplicity. This results in the watch's moon phase display being off by one day for every two years the watch operates.

There are a few watch manufacturers that use epicyclic gear trains to make the moon phase calculation more precise. An example: the Ochs und Junior moon phase watch will operate for 3,478.27 years before its moon phase display is off by one day (https://www.ochsundjunior.swiss/watches/moon-phase/).
This was a surprisingly easy read for a non-computer science person. Thanks for sharing.
the u t
There are three components that can cause problems with transfusions: "A", "B" and "Rhesus". A person can have any combination of those three (8 combinations).

The A/B/AB/O is basically having only A, only B, both, or neither. And the +/- is whether you have the "Rhesus" component.

The basic rule is that you can't introduce new components to a person who doesn't have them in their system, and will be treated as foreign contaminants.

So someone with all three components already (AB+) can take any blood because their system already is used to all three components.

A person with none of the components in their system (O-) would have an allergic reaction to any of the three components being introduced. On the other hand their blood is safe to donate to anyone else as it won't introduce any "unexpected components" to a recipient.

EDIT: ah, I see - article doesn't mention Rhesus. I guess it can convert AB- to O-, or AB+ to O+.
I spent years looking for my perfect travel watch after being bit by the watch bug. After looking for years (literally 10 years), I’ve found it and couldn’t be happier… the Casio world time.

My first thought was to go for a GMT, but those can’t handle time zones that aren’t on the hour, like India. Trying to find a mechanical watch that solves for this is very difficult. I was stuck in this purgatory for so long.

I don’t remember what led me to the Casio, but whatever it was made me completely reevaluate what I wanted out of the watch. The quartz movement became a feature, thanks to the 10 year battery. I can grab it and go whenever I need, and change the battery whenever I renew my passport. The low cost is a feature, as I don’t have to treat it well or worry about it, or worry that it will make me a target. If anything happens, oh well, it was $40. It has 37(?) timezones and can handle the odd ones, and handles DST independently for each timezone. Its fantastic. I don’t think any mechanical watch can do what it does, and if one can, it would cost more than my house and take the better part of a day to set.

The Casio is one of the cheapest watches I own, but whenever I put it on it makes me so happy, because it reminds me I finally solved my travel watch problem. I just finished my first trip with it and already saw the value of the independent DST function.

I’ve found some mod sites that sell nicer cases and bands to make it more durable, but I decided that defeats some of the purpose, as the cheapness is a feature. It was helpful to find out an eraser can be used to remove some of the ridiculous text on the case. That makes it look much better.
> scale up production while making the devices smaller and cheaper, and in the meantime seek out alternative long-term facilities for palliative care to avoid occupying hospital beds.

I feel like you're just hand-waving away the issue. If they could move them out of the ICU they would have, the issue is they require constant care while on the ECMO machine.

Additionally, while the "smaller, cheaper, no care required" devices may appear in the future (the article talks about this very thing), they're not here _right now_. There's currently a limited number of machines and people who can maintain them in the hospital, and hence an immediate problem that they have to deal with when there's more people who can benefit from them than machines they have.
Yeah, if only every year were election year....
The point they were trying to make is that it doesn't have to be, and it isn't in several of the Linux systems I've used over the years. Assuming that it is is a bad idea.
I just watched his review and I don't really get why the device exists. As in it's a box with kind of a bad camera, bad screen, bad speaker, bad battery and some connectivity that links to an AI that you can ask questions of.

Why is that not just an app on your smartphone which already has superior hardware and everyone already carries?

As one of the comments said it might have made sense in an alternative universe in which smartphones were not invented.
> This is going to be a funny exercise for languages that don't have the forms of the verb to be for the present tense.

You mean Russian?
Money comes from advertisement. Distribution/exposure is the problem.
annoyingly go can't have proper sum types, as the requirement for a default value for everything doesn't make any sense for sum types
Google limited talk about this :dart-lang locked as off-topic and limited conversation to collaborators
We shouldn't have the word "transpiler" at all.
you could potentially create multiple containers in that machine which are single user and give to every user who needs access. CPU/Memory/GPU can be assigned in any way you want(shared/not shared). Now no user can mess up another user.
Ah, thanks.

> Asked about it today, Kivimäki denies posting as ryanlol, though that contradicts his admission in a police interrogation submitted at his trial—and is hard to square with a 2017 post in which ryanlol detailed a personal rap sheet including “50,700 counts of aggravated unauthorized access to computer systems.”
So, a very smart CEO works for six years to turn a minor automotive startup into the world’s most valuable car company, enriching you while you sat on shares in the company. And despite this, you think he deserves his compensation (in the form of shares in the company) to be cancelled? Even though it was contractually promised, and agreed by shareholders? Bear in mind that the package is only worth a large amount because Tesla has grown so hugely under Musk’s leadership.

I’m interested to know how many other HNers also hold this belief, or think this is a reasonable way to treat entrepreneurs in America?
There is also an issue where some cheap no-date watches use a complication with a date, and just don’t cut out the dial to show it. I try to watch out for this whenever I’m looking for a watch.
If you don't want to hold Bitcoin or be exposed to price changes, you can set your hourly rate in dollars, be paid at the current exchange rate and immediately convert it back into dollars. The advantage of this over being paid in physical cash is that it's electronic and then you're not carrying two weeks salary in physical cash on your person for somebody to mug you.
I think we've spent a lot of time looking at backend and frontend web app development as separate. In my work, TRPC (https://trpc.io/) solved this. I hope others in different frameworks find a similar solution soon.
You can choose how much to doom scroll or not, but you can't individually dictate the price of rent. That's dictated by the earnings of those around you.
No, the person I replied to did.

Yes, still no strawman.
Oh my bad, read the question wrong. They just don’t support CCs. Debit only
But that's factually untrue.

Gallup polled support for legalization being in the minority, as recently as 2010. [1]

Now factor in the demographics of voters vs adults in general, and the timeline is the opposite of surprising.

[1] New High of 46% of Americans Support Legalizing Marijuana https://news.gallup.com/poll/144086/new-high-americans-suppo...