skysight-inc/HackerNews huggingface dataset:
Storing things either in the pantry or the freezer (meats/butter/etc) is the only way to take advantage of sales. Plus, it's smart emergency preparedness to have a week or two's worth of food in your house.
Xiaomi's newer phones do have this functionality, albeit in a rudimentary form (only empty list is returned so the app can still detect it given how few people have empty contacts).
I don’t have the energy to fight anymore here but you can go through my prior comments

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...

https://hn.algolia.com/?dateRange=all&page=0&prefix=false&qu...
I don't know how big the market is but there is at least one multibillion dollar company (ESRI) in the space. I think they have products targeted at most major industries. The US has at least two government agencies that are heavily involved in satellite imagery and they must contract out a lot of that work. I think it is getting easier to enter into the government contracting space. Anduril shows that you can get VC backing and scale fast if you have the right product.
Big Numbers in Lambda-Calculus
Dear friends of Hacker News,
I am exploring how to manipulate large natural numbers in a "lambda-calculus" dialect. Do you know of any other "more professional" answers than this one?
> when the original design of it is meant to only display documents?

Ship sailed, horse out of barn, etc etc on this point.
Fake user data is the kryptonite of surveillance capitalism. I just want my browser to click on everything all the time whether I’m there or not.
Shoelaces
I'm pretty sure at this point the majority of crypto "investors" are underwater.

https://debthammer.org/cryptocurrency-survey/
If you do that, some users are going to land in a weird purgatory where they’ve denied camera permissions to their camera app or something, and be completely unsure of why the app is acting strangely or how to fix it
That would be a fun challenge: given access to all sensors except for the camera, write an app that creates fake camera data.

If Google worked on that, results could be fairly creepy for those who store their data in their cloud. They can probably infer what you look like from your photos (you’re the one appearing in selfies most), know what weather it is locally, know that you’re, for example, looking at the Eiffel Tower, and maybe even have a photo from 2 minutes ago made by another user from the same place.

I think Google certainly could make a fake address book that’s creepy for many users by looking at the address books they have.
It is really PITA. We're making a service which works with various devices. Most devices work over serial, so WebSerial makes it painless. But there are some devices which work over TCP/UDP. So we have to install our software to user computer, install our CA certificate into user store just to be able to talk to TCP/UDP from the browser. Much security.
That's a defense-in-depth measure; it can't be relied on. The exact same attack can be used against targets on a corporate network that doesn't use the RFC1918 address ranges.
>Germany has none of these things going for it. The situation is not sustainable.

What? Balanced trade is inherently sustainable. If Germany exported for the last few decades then it is going to import for a few decades at some point. That is how balanced trade works.
ironically, performance is terrible with most of their demos, and I'm using chrome on a decently powerful desktop.

https://felt.com/map/San-Diego-Zoo-Virtual-Tour-LC3QHLPxR4yw...
Wouldn’t you rather control these capabilities based on the origin domain, through the browser itself?
Chattel slavery wants a word with you.
> According to Bloomberg, the hacker is attempting to sell 23 terabytes of data for 10 bitcoin, which is worth just over $198,000 at the time of writing.

That's not a lot of money for something that probably warrants a price on your head by some Chinese agencies.
Fully forgetting that what ever they roll has to have state on server side, just this time in the server software... Not solving too much...

And then forgetting the nice stuff TCP offers like in-order guaranteed delivery...

Both which is needed for most sensible encryption schemes. And doesn't really get away from needing a PKI... Or then you could just grab a connection before it is formed. If you can MitM HTTPS you can MitM anything else...
Mostly it's TukTuk drivers who simply switch off their engine, and simply push their vehicle when it's time to move up.
DDOS is essentially the exact opposite of what the parent comment is talking about.
While I may personally agree with your line of thinking there, we are about 15 years too late to argue that point I think.
Hide it under prompt and that's about it. Alternative is that user will install some sketchy exe file which will do the same, but without any prompts. Browser could make it more secure.
There are still ways to get gplay permissions - e.g. see https://42matters.com/docs/app-market-data/android/apps/by_p... (note: i'm affiliated, but I believe it's relevant to the topic).
Detectable, maybe. Trivial, definitely not.
This is a misleading statement.

The only reason to fight for a trademark is if you are at the risk of "genericization", like happened to Kleenex or Xerox. If someone else is using your trademark to refer to something that is a substitute for your product (i.e. using Kleenex to refer to another brand of tissue paper), that's where you need to step up.

However, that's an exception. In general, you just have to actively use your trademark in relation to your product to keep it, and you are not required to fight other companies who make similar trademarks but do not risk genericazation.

This case is very clearly a case where the term is being used in a totally different non-confusing way, which means it's both not a trademark violation, and also that there's no risk of genericization occurring.

The two things in question are so different it would be like suggesting that Apple has to sue my local coffee shop to retain its "Cocoa" trademark (the software UX toolkit) since my local coffee shop sells cocoa.
> Is anime a new status quo that will, one day, be upturned by films equivalent to My Neighbor Totoro and Akira — but in a style we can’t imagine yet?

Not that it radically created a new style, but I think the sheer excellence of Spider-Man: Into the Spider-Verse goes to show that the current superhero renaissance/overload misses out on the core strength of the source material- the power of animation. Perhaps when more of those comic book movies actually resemble comic book art can there be a challenger from American animation traditions against the anime status quo.
Athletes are a great example of what proper exercise and nutrition does for the body. They are living proof, otherwise if it didn't work they'd be all overweight. Now we don't necessarily expect ourselves to be at that level but clearly doing the basics will work wonders or move you in the right direction. I don't think we can nullify the impacts of lots of exercise and world class nutrition because of some eating disorders.

I'd say obesity is the greater eating disorder, not athletes being at the top of the game working themselves into the ground.

But a good thing you point out there, is that it is easy to say exercise consistently and eat a good diet. But the trouble is the discipline/self control to do so.

Many of us lead stressful busy lives which don't always leave us the room to be the healthy people we want to be. You just need to make time for it in a way that you can and enjoy, if you truly do want to prioritise it.
I suppose for it to work the different apps still have to allow drag and drop?

So your monetization would be superusers paying for this app to allow them to do this kind of thing, can you already do it via copy and paste operations?
What you describe in your first paragraph is something I hear very often from people that always eat out and don't want to learn how to cook their own food, because for them it's not worth it, due to the reasons you mentioned.
I'm really curious, what are the items that you couldn't make work living by yourself? I personally cannot remember many of these instances back when I cooked just for myself. Most of the food items I had could be frozen or turned into a dish that in the end could be frozen well.
I did it absolutely fine. There is no junk on the disk and no processes sitting there.

A lot of the articles out there are trying to sell cleaning software so they make it look harder than it is.
Yeah, sorry if I was unclear: some folks thought that cuHostMalloc et al. and pinned memory were "impure". That you should instead have a unified sense of "allocate" and that it could sometimes be host, sometimes device, sometimes migrate.

The unified memory support in CUDA (originally intended for Denver, IIRC) is mostly a response to people finding it too hard to decide (a la mmap, really).

So it's not that CUDA doesn't have these. It's that it does, but many people never have to understand anything beyond "there's a thing called malloc, and there's host and device".
pourquoi?
If you treat people like children, they will behave like children, either subconsciously or, more likely, as a form of malicious compliance.
That's for the better, for me a concept of a place that serves drinks but not food sounds ridiculous and dangerous. And young generation drinks whole lot less.
It seemed like most of your post was about not being able to use the two functions through pointers of the same type, but you can use the two functions through pointers of the same type, so maybe now you can delete a majority of your post and submit a retraction to Hacker News or something.

I'm not sure you are using the same notion of "colorblind" as most people. All that is claimed is that much application code can be *compile time generic* over the async-ness of the I/O functions it calls. Stepping up the requirements to being runtime generic introduces some difficult concerns about the different error sets of different I/O functions, but async vs. non-async can be handled as in the above gist or by writing like one switch statement.
Phase out medicare? How will poor people afford any kind of care? No matter how efficiently you do things, it's still going to be somewhat expensive to provide modern standards of care. And the poorest people get a lot of injuries, germs, and pollutants.
The Supreme Court says states can decide how to regulate abortion, and that is now the law in the land of the USA. But many cry and bemoan how this is illegitimate, immoral, wrong, and elected officials encourage their citizens to help others violate the law.

The Supreme Court says no state can prevent a citizen from having a concealed gun, and New York immediately passes an obvious violation of the new law to restrict rights.

I’m not passing judgement on anything. What I’m saying is what is “illegal” doesn’t have a basis on morality - or else thousands of years of state-sanctioned slavery (literal human bondage) you would justify as “The Law” regardless of morals.
“and on top of it internet”

is internet a permission?

I've never seen that in any menu or prompt. I don't think Android has this. Which is a shame bc i mostly use offline apps and would love to know if an app is all offline

Understandably, I don't think Google cares about the offline use of their OS. It doesn't align with their business interests
If your goal is to increase RTK adoption, rather than being reactively defensive whenever someone writes something remotely negative about Redux, may I suggest focusing on the highly positive feedback you mention? Writing up case studies on how RTK helped solve concrete problems, instead of being summoned anytime someone is wrong about Redux on the internet…

Anyone judging Redux differently if it has a 15% or 45% market share is making decisions based on the wrong parameters anyway.
Can you explain how "require that UDP packets be sent exclusively within the same domain as the originating code" does not address any of that comment's concerns, or are you just nitpicking?
I often notice after the fact when it blows up.

Consider the situation with XScreenLock in Debian when it was found that the code had a timer in it that bugged people to update when using an unsupported version. Once the timer reached this point and many received this update, Debian immediately patched it to remove it as many found it annoying and it was a controversial move, but to me the most interesting part was that it was in the code, publically; it was added at one point,and no one at Debian knew.

This timer that merely annoyed users into updating could just as easily been serious malware that no one would have noticed that lay dormant to awaken at a set date.
Sedentary lifestyle. Especially we IT workers are at risk.
This could be my neurological development being slightly askew, but I am not creative in the slightest. I used to think I was somewhat creative (I drew constantly as a child and into my late teens, played a lot of music, worked as a graphic designer, love building things from wood, sort of a “maker” of sorts these days), but then I realized I’m just a regurgitation machine.

I’m not sure I’ve had a remotely original or interesting idea of my own in my life.

I just suck up everything around me, rip it apart, slap it back together, and that’s my version of “creativity”.

I’ve been working at being more creative now that I’ve realized I’m not creative, and I have no idea how. I am a pattern replicating machine.

I’m a little disappointed, but also somewhat content that I can enjoy what I do nonetheless. It’s all a sort of meditation and practice in developing skills. I’m not sure I ever prided myself on being creative in the first place, so it’s not a loss I suppose.

But when you say anyone can be creative, I have no idea what you mean. I can’t figure it out. Everything I think of is something someone has done. I can trace everything back to someone else. There is nothing creative about it.
" There isn't sufficient margin in drink to float a pub. The margin is in food (and to an extent, dispensed soft drinks)."

Lol. Try a simple experiment. 1) Pour me a beer. 2) Make me a steak dinner. Task: Find out which takes an entire cooking staff, dish washers, grills, linens, produce, deep freezers, meat bills, gas bills, .... OH! Medium rare please.
Oops, I misunderstood "same domain", sorry.
Well, as GDP keeps rising, so inevitably is consumption. Whether the money comes from salaries or otherwise, doesn't matter.
People drink less, and this is good.
Energy (namely Oil and Gas production) contracts are huge in B2B GIS and offer the growth opportunities that execs love, but in my own opinion the most consistently profitable sector and also the one ripest for disruption is local and state governments in the USA.

Imagine being a cash strapped county and paying 6 figures for a software license to a REST API and then having to become a tiny dev shop just to start delivering your generic pothole reporting app to web users.
What a time to be alive. We pulled that exact thing out on a school trip, and two of my classmates were so affected they literally collapsed. Placebo is kinda crazy. The entire thing doesn’t actually work, of course, but that scene did make me doubt, a tiny bit.
Just because something is a social construct does not mean it's arbitrary and meaningless.

Social constructs have developed over time under evolutionary pressure. Useless or damaging constructs eventually disappear since they contribute negatively towards survival.

The constructs that remain have demonstrated a certain level of fitness towards the environment.
If we have been chatting friendly for a while already, then flattered. It's clearly implying that from their perspective I appear to be very desirable.

And if it was a serious question asked early on, I would probably reply with something I don't like about myself, a weakness, if you will. It's not an entirely unreasonable question.
Those are all impulse buys. Where I am tech is normally cheaper than retail. If you are so disciplined you won't be buying these things at all.
I remember the situation where Google used to bundle permissions in illogical ways. it's been too long to remember specifics but it essentially meant an app had to request the ability to access unnecessary things and required the dev to explain in the release notes as to why.
If your business is profitable, normally it should not matter that it's open-source. If you post your ARR and type of business, you might find potential buyers even here.
The CEO of Felt (hinting) formerly co-founded Remix, which is another heavy design-focused company.

Also, check out the Twitter of Felt's lead designer for some of their process: https://twitter.com/lorenbaxter
300K ARR
226182 users
4 people
2.5 years

rezi.ai
Is this because of parenthood or something?
Only seven percent of adults have good cardiometabolic health
In the east of Ukraine, 'the best thing is to leave'
The app needs to request it in the manifest file, but it's automatically granted if the app does request it - you don't get a prompt.
Isn't DC a district? And Puerto Rico an unincorporated territory? As in, both would need to be converted to states first, and in the process lose some benefits a lack of statehood provides. (At least in the case of PR) For DC there is a legal argument that can be made that it shouldn't be one due to being the seat of the government and under direct rule of congress. at least from my reading up on it.

But yeah, the citizens deserve representation as well.
On Japan's farms, a weakening yen adds to slow-burning discontent
We weren’t swindling anyone :-) The manager of the pub (or I guess the licensee?) was the one telling us to do this. And the reason they’d do this is because the pub was part of a group of pubs, and there were incentives for the managers to hit wastage targets. So if there was a shortfall in some beer (like some somehow wasn’t usable, or there was a fuckup when switching a keg that caused the first 5 pints or so to be pure foam, or on a busy night on a big round you’d incorrectly ring something up without noticing) they’d try to recover that this way.

There wasn’t much theft that I was aware of, other than one assistant manager (who was constantly accusing us of stealing) was caught red handed stealing stock, but that was whisky or rum which wasn’t part of this iirc (when entire bottle goes missing, that really sticks out - very stupid man)
> If we keep going down this road, you'd end up with an operating system inside the browser.

Arguably, we're already there. I stopped pretending the web wasn't going to be the common platform of the future when WebUSB dropped and I learned you can root a Nintendo Switch from Chrome OS. Without the Linux part.

If you build something today, without too many resources backing you up, and you want it to run anywhere, you build something that resembles a PWA with Electron wrappers. (resembling because it could also be something like Flutter).
> He was blown away, as well. Obviously it influenced us when it came time to create TaleSpin.

Kinda interesting given how many similarities there are in the setting of talespin and Porco Rosso. But talespin predates porco rosso by 2 years.

When I first watched porco rosso I thought “man talespin really copied this one!” And only later learned of the time line. Now I can’t help imagining Miyazaki watching talespin and get inspired - although realistically they probably both draw from the same, third source of inspiration.

Also transformers and Gundam. There has got to be a connection there.
When you’ve been an investor in multiple billion dollar businesses, you can call him out for not being smart.

Until then, you basically look like a couch philosopher criticizing public figures on an anonymous forum. Well done.
Either you have Android <10, or you have an unofficial ROM, or the manufacturer decided to do weird things to the system for some reason.
I’m excited for Zig’s possible future in embedded, too.

I currently use Nim for our firmware at work, because at the end of the day —compileOnly means it’s just C. It’s been excellent for ESP-IDF/FreeRTOS, but I’d love to see Zig tackle it as well.

One lovely side effect of using Nim is our “business logic” code is remarkably simple in the firmware, as I got PPPoS working nicely with our Cat-M1/LTE NB-IoT modem, so making network requests is literally a single line of standard-library Nim. Quite lovely!

The less we have to write C/C++ the better, and I’d love to see Zig and Rust do a great job in embedded-land!
UDP is not a privileged protocol. You don't need any capabilities to speak UDP. It's used by web browsers already for HTTP/3 as TFA mentions.

But also, apps needing additional capabilities is rather common and handled by most any package manager that's going to be providing you a browser. Chrome in various configurations ships with a `setuid` binary to implement their sandbox, for instance.
How would you possibly know one way or the other?
I'm quite sure it still is. :P most people don't seem to like God emperor too much.
Sometimes you really don't do much more on packets than receive and store in (e.g) ring buffers until you can trigger some computation on aggregated data. Sometimes your application has critical latency and you need very light parsing. Not everyone uses tcp and all the options, some people are just down to jumbo udp packets, no fragmentation, and 800Gb/s rx...
The network transparency is dying already, all modern UI toolkits that target X paint every pixel themselves and don't use the X primitives. You the up using thinlinc,vnc,etc anyway unfortunately
>are often an expression of bodily autonomy and self-expression

In the same way that anorexia is an expression of "bodily autonomy and self-expression"? Tattooing, piercing or cutting rather see to be forms of self-mutilation and self-punishment or chasing the short high of the pain in contrast to emotional numbness.
Remaking EfficientZero (as best I can)
Not to discredit one of the authors points, but I don't see why its at all surprising that HIIT increased their maximum heart rate.

Your maximum heart rate isn't likely to increase unless you train and push the upper end of your HR. Sprint cyclists don't train to be fast by riding slowly, they do high intensity sprint efforts.

Your body adapts to the stimulus you provide it, if you want to increase your maximum HR you need to train at your near it.
Yep. I worked for Esri for 17 years. The lead PE dev is a math/geography double major (master's in one, Ph.D. in the other, I think?) and a great C/C++ developer to boot.

I used to walk by his office and find large integrals on his whiteboard, or see him working on his latest project with Mathematica and his code editor.
Surging fertilizer prices hit Japanese farmers hard
I thought exactly the same as someone from the UK as well. Far too much literal dependency on alcohol and football.
Optimization might not be worth the trouble at the individual level, even if that's half the fun for this crowd. But optimization is 100% worth the trouble to make the guidance as effective as possible at the population level. Even slightly better advice can make life slightly better for a zillion people -- think of that in cumulative QALYs or whatever.

If it turns out that a certain kind of exercise makes it a little easier for people to reach their health/fitness goals, and it isn't commensurately more likely to injure them, then let us leave no gains on the table.
Maybe if you don’t like HTTP you shouldn’t be trying to implement whatever it is you’re trying to do in a web browser ?