skysight-inc/HackerNews huggingface dataset:
I want a phone that's meaningfully smaller than a tablet.

Like the iPhone SE, back when they made that.
A Tale of Three Bidirectional Level Shifters (2022)
Check out the YA book "Feed", it tackles that issue.
Those are the Gaza ministry of health's numbers for all killed, IIRC, not just civilians.
Shard: On the Decentralized Training of Foundation Models
Windows Surface Copilot for Workgroups 360.Net

It's kind of like those cryptographic keys they use a dictionary for: a nonsense noun phrase representing a number. Perhaps they're just encoding a SKU?
It's a quarter the total space, yeah. He probably meant half the viewport width though, since that's what you really run up against trying to make sites accessible on phones.
Your english is great!
It took them 7 MONTHS! To issue an arrest warrant for some blatantly obvious crimes.

Issues warrants for both sides at the same time is utterly repugnant and calls the entire court into question.
Dunno if game dev is in here but,

Related:

Ask HN: Sites like HN on other topics?

https://news.ycombinator.com/item?id=37611708

Ask HN: What are some communities like HN?

https://news.ycombinator.com/item?id=37616919
The Growing Importance of Desalination – Contrary
> Here's the thing about smartphones - you can make them as dumb as you want

Will they have the battery life of a dumb phone?
I'm having a lot of fun with this tutorial. Has anyone done anything interesting with these meta compilers for projects?
The 3rd generation SE is a current in-production iPhone.
Many of them have demonstrable property ownership (or their parents/grandparents did) in Israel proper.
What’s so bad about having a smartphone but exercising self-control? Turning off notifications is trivial. Nobody is forcing you to use social media. Having GPS in your pocket at all times is a super power. You must have one if your employer requires 2FA but doesn’t provide a phone (smaller companies). I like the idea of a dumb phone in theory, but we have long since crossed the bridge.
So why did it take them 7 months to issue a warrant? It should have been issued on Oct 8.

The fact that it didn't tell you all you need to know about how legitimate this "court" is.
Doesn't defamation of a public figure require "actual malice"? If so, doesn't the CEO's admission in writing that "I believe your post was made in good faith" severely undermine any claims of defamation?
Does Palestine, as recognized by the UN, include the West Bank?

Because from what I hear, that “Palestine” doesn’t really exist.

There’s Gaza, and there’s the West Bank.
> because you didn't write them down, you think they don't exist?

No, I just think they are irrelevant to adjudicating your claim that "If you have a list defined "al la lambda calculus" as a lambda term, you can't really write it down fully...". I've refuted you with an actual implementation (which you have obviously not even bothered to look at). The fact that my implementation could be axiomatized has nothing to do with it.

> I'm not going to spend $77 and wait for shipping to find out what's in the references section of some random text book.

EOPL is not "some random text book."

But it doesn't really matter. Pick up any textbook you like on programming languages published in the last 40 years. I'd be surprised if you could find even one that did not reference McCarthy's original Lisp paper.
I’ve used it for simple code suggestions when working in a language I’m unfamiliar with, or testing some new (to me) corner of Python.

I used it to help me think through what I’d need for color film development in my darkroom.

Basically if I already have some idea of what I need, I trust it to help guide me. I can evaluate its output sufficiently well.

If I’m learning something entirely new, where it doesn’t matter a great deal whether I get it right but I can test the output, it’s pretty useful too.
But both the submitted URL and the URL in your comment are char-for-char the same, hence my question. Or to put it another way, the link in your comment does not get me around the paywall (because it is the same as the submitted link).

Perhaps you pasted the wrong thing? That, or I am apparently a very confused person. :-) Anyway, archive.ph works for me.
I use lockdown on my iPhone. It doesn't make it dumb, it just disables a few handy or pretty (UI) features, as far as I can tell.
Google cuts mystery check to US in bid to sidestep jury trial
> it doesn't distinguish between "isomorphism" and "canonical isomorphism"

You can distinguish these concepts in (higher )category theory, where isomorphisms are morphisms in groupoids and canonical isomorphisms are contractible spaces of morphisms. These sound like complicated concepts, but in HoTT you can discover the same phenomena as paths in types (i.e., equality) and a simple definition of contractibility which looks and works almost exactly like unique existence.

> In my opinion, Lean made a number pragmatic choices (impredicative Prop, non-classical logic including the axiom of global choice, uniqueness of identity proofs, etc.) that enable the practical formalization of mathematics as actually done by the vast majority of mathematicians who don't research logic, type theory, or category theory.

The authors of Lean are brilliant and I'm extremely happy that more mathematicians are looking into formalisations and recognizing the additional challenges that this brings. At the same time, it's a little bit depressing that we had finally gotten a good answer to many (not all!) of these additional challenges only to then retreat back to familiar ground.

Anyway, there were several responses to my original comment and instead of answering each individually, I'm just going to point to the article itself. The big example from section 5 is that of localisations of R-algebras. Here is how this whole discussion changes in HoTT:

1) We have a path R[1/f][1/g] = R[1/fg], therefore the original theorem is applicable in the case that the paper mentions.

2) The statements in terms of "an arbitrary localisation" and "for all particular localisations" are equivalent.

3) ...and this is essentially because in HoTT there is a way to define the localisation of an R-algebra at a multiplicative subset. This is a higher-inductive type and the problematic aspects of the definition in classical mathematics stem from the fact that this is not (automatically) a Set. A higher-inductive definition is a definition by a universal property, yet you can work with this in the same way as you would with a concrete construction and the theorems that the article mentions are provable.

---

There is much more that can be said here and it's not all positive. The only point I want to make is that everybody who ever formalised anything substantial is well aware of the problem the article talks about: you need to pick the correct definitions to formalise, you can't just translate a random math textbook and expect it to work. Usually, you need to pick the correct generalisation of a statement which actually applies in all the cases where you need to use it.

Type theory is actually especially difficult here, because equality in type theory lacks many of the nice properties that you would expect it to have, on top of issues around isomorphisms and equality that are left vague in many textbooks/papers/etc. HoTT really does solve this issue. It presents a host of new questions and it's almost certain that we haven't found the best presentation of these ideas yet, but even the presentation we have solves the problems that the author talks about in this article.
E-ink phones are not necessarily dumbphones.
That earthquake in Alaska cracked swimming pools in California!
How does this work? If the primary cost is labor and labor salaries are so low how is it all not just a ton of profit and then causing a bunch of care facilities that compete?
You’re probably not even kidding, it’s part of a good solution. However, take a 360° look on the other aspects of this solution:

- We seek to raise every person in poverty to the average consumption level. Through charities, political programs, etc. Should we stop?

- If you don’t drive people to earn, you don’t drive people to work. And you get a dysfunctional society which consumes a lot but does not produce a lot.

- It’s the same philosophical problem as if you started to be fair towards men, then they’d stop striving. I assure you that you don’t want that.

- Would you be ok with solving climate change at the expense of other social targets? If not, congrats, you’re a leftist not a scientist.
For the last 5 years starting with Windows 10 (Snapdragon 835 based devices) you could run any x86 software (that doesn't require driver/drm rootkit) and 64bit emulation was added with Windows 11 (when intel patents ended).

Sometimes it feels like the commenters on HN are being kept in suspended animation for 10 years then revived for a couple of days to comment then put back to sleep.
My very first programming gig was converting these terrible, predatory flip-phone games that targeted the elderly into ios/android applications. How ironic if my career would end with converting ios/android apps back to flip-phone.
Theres already no expectation of privacy in public. Its fine, the panopticon already exists.

Democracy is great we can elect legislators that enact laws that align with our values. The trick is making sure that the "law enforcement" actually does what it says on the box and simultaneously to punish overreach of law enforcement the same way we punish any other crime.
You have a typo. "earn to" when you probably meant "yearn to".
Genuine question, why does this matter?

Not trying to be rude, but this doesn't seem like anything anyone would care about, but this definitely not the case.

There are a lot of comments that are nice and thoughtful, which isn't uncommon or anything but surprising to me. I guess forgery is pretty cool, but an old apple badge for some plain Jane apple person?

I have to be missing something.
Some of the things the allies did in the second world war were horrific. Overall, beating the nazis was a good thing, but both sides committed war crimes out of bloodlust and revenge.

If you allow yourself to execute carpet bombings on civilians "for the good cause", don't be surprised when the enemy does the same. 9/11 caused a fraction of the destruction and innocent deaths of bombings in either side, yet we don't (and shouldn't) accept that as some side effect of fighting "the enemy".

War crimes are a fact of just about every military conflict, but that doesn't mean we shouldn't convict those that commit them.
> War crimes are war crimes, and these were committed in the same war.

Some were committed 7 months ago, the other were allegedly committed a short time ago.

Putting them both in the same release is utterly repugnant.
Lack or possession of self control has little to do with the aggressive amount of tracking and data collection your phone does without your consent.
The description of "italic script", that the parent claimed was "one of the many types or cursive", explicitly says

> Italic script, also known as chancery cursive and Italic hand, is a semi-cursive, slightly sloped style of handwriting and calligraphy that was developed during the Renaissance in Italy.
Amara's Law and Atomic-Powered Flashlights
And how does it get there.
The arrest warrants are for individuals, some from Hamas and some from Likud. Where do you see an arrest warrant for Israel?

I spent a while trying to see what you wrote but am not finding it.
Google's Moonshot Factory Falls Back Down to Earth
Unprovoked, really?

60% of homes destroyed, 80% of schools, all universities, 31/35 hospitals.

What Israel [0] could have done was to not create this situation in the first place, but their goal was never solve it anyway.

[0] I mean the current government in power and right wing extremist settlers
> On a touchscreen, every use case is equally painful compared to more precise input methods.

Touchscreen input could actually be quite precise if it was based on specialized gestures such as swiping and pie menus. Extensions of Fitt's law (that mouse-based interfaces are heavily based upon) have been developed that are applicable to swiping tasks, viz. https://en.wikipedia.org/wiki/Steering_law
For a quick moment, I thought Netanyahu is wanted by the International Cricket Council for ball tampering.
Not really. It was a little confusing when they renamed .net core to .net, but most people have moved past it
Obviously gb200 and m2 studios are very different price points and power envelopes, per other comments.

I agree that Apple does not have a competitive server offering right now. But I think I'd still be spending toward that goal if I were reserving all the 2nm chips in the world next year.

Your claim that NVIDIA has better performance per watt really surprised me, so I did some digging. My prior is that opencl is medium support at NVIDIA and very low support at Apple, so an OpenCL benchmark might not be fair.

Reporting tokens/s, using llamafile's llama.cpp benchmarks for Mistral 7b f16 from Justine tunney's website (so this is non-batched): 192GB Mac Studio gives 79 prompt tok/sec and 15 eval tok/sec.

https://www.baseten.co/blog/benchmarking-fast-mistral-7b-inf... benchmarks an H100 on Mistral 7B, and claims different providers range from 38-170 TPS depending on their proprietary configurations.

A used H100 server is roughly $80k according to google. H100 power draw alone is 700W, and with server is likely on the order of 1,000W.

A new Mac Studio with 192GB of RAM is <$7k. The Studio power draw is max 295W.

So, Apple in Cost / 150 tokens/s: $70,000. Power draw: 3kw.

Nvidia in cost / 150 tokens/s using highly tuned proprietary software: $80k. Power draw: 1kw.

Nvidia in cost / 150 tokens/s using Mistrals own cloud performance: $150k+, Power draw: 2kw-3kw.

I don't think you're correct that Apples M2 chips get smoked by Nvidia's chips for these workloads.
Assuming you're tolerant of downtime, why would it be a huge undertaking? You could write the code to do it in 10 minutes.
> Now is a web app an app is a different question but I’d say no.

Why not? The browser has a ton of access to hardware these days. What is the difference, in your view?
Android Studio was released about a decade after Xcode though.
And not just all who were killed but everyone who has died since Oct. 7
The try/catch is basically a different stack, and a single try/catch frame may be many stack frames. I've found that for complex stuff I have to walk up and down my abstractions to understand how exceptions are flowing, and that it isn't easy.

I think it's fundamentally less local to do a conditional jump elsewhere in the code (even if doesn't cross into a different frame) than to return a value and step to the next line, rain or shine. I don't disagree that there's an isomorphism between the approaches (since they're both addressing the same need, surely there should be), but exceptions introduce a new set of rules whereas monadic error handling repurposes the familiar semantics of function calls.

But you're not the first person to mention your second point, so I totally concede that, regardless of whether it is "bad practice," empirically it's a weakness of the approach.
I agree. With the form factor: you either have reasonably sized content that requires abbreviated design and lots of interaction, or heavily packed content that's hard to see and easy to fat-finger.

And regarding touch input: there's no physical feedback. Touchscreens are inferior to buttons you can feel the edges of, or keys you can push and hear as they click. Most of the older people in my life still struggle with touch inputs.

Smartphones are so convenient and versatile, though. I can't imagine any kind of device replacing them.
This was my knee-jerk reaction, too. I think the truth of the matter is that convincing people to pay for some intangible service is an uphill battle, and conflating it with some flashy intangible concept (eg. "Powered by AI") is an easy way to onboard starry-eyed investor types.

So like, do whatever. There will be sycophants that promote and detract AI for years to come, if marketing to those passionate people is what you want to do then be my guest. As an end-user I probably still won't want to pay for your product anyways, and removing AI from your marketing copy doesn't leave you with much to market. Bad products get made with or without AI, trying to avoid or target the field to succeed is like reading tea leaves to find market demand.
Why would you need read and print in a language that isn't yet intended to program computers?

You don't need I/O in order to describe input and output in an abstract language. Literals, including quoted lists, are enough to encode input into the program as part of its body. The result of a function can be described using a notation like (+ 2 2) -> 4. It's not actually running so nothing needs to print that.
> nor most countries in the World.

Wikipedia says there are 124 states party to the Rome Statute and there are 193 sovereign states that are members of the united nations. Thats 64%, which is most countries.
So get a Nokia 4g and when you want mobile computing take a laptop
Thank you for taking the time to reply to a rando fellow nerd. Really appreciated!
UK to introduce new offence of causing death or injury by dangerous cycling
> They are very versatile - you don't need to define all your inputs up front, instead you can add new controls dynamically as needed

That's pretty much the last thing I want. I really like the turn page buttons on my Kobo. My previous kindle did not have them and it was a pain. Somethings like iPod wheel can replace a lot of current touch screen interactions (it's technically touch, but could be a dial) in small screen.

> I also think there's a big advantage to the vertical form factor for many applications - just look at how we've settled on a vertical format for almost all reading material

My non scientific answer is that it tiring to read a long line. A smaller width gave us more visual landmarks to rest our eyes on. And yes, a vertical form is easier to hold in one hand, but with how big phones are getting, most interactions is two handed.

> it is largely accessible, it's convenient, and people find it convenient to use.

And that's their only strong point: convenience. Ergonomics for a particular task does not translate well to others. If you only have to do one task, a smartphone is always the worst choice. A smartphone is more accidental usage than planned usage. If I know I'm going to take a lot of photos in an event, I want a camera, not a smartphone. If I'm going to write all day, I'm bringing a laptop, not a smartphone...
Bash script to edit contents of your clipboard with $EDITOR on macOS
The other day I was with my girlfriend trying to book a listing in Airbnb.

She couldn't add her phone number to her account, because her phone number was already registered in an old (2013) account of hers that she didn't remember existed, and she didn't remember the credentials.

Once she found a way to log into the old account, she was unable to remove her phone number from it without adding in a new number. We had to add my phone number to her old account so that we could use her number in her current account. We couldn't add a 'fake' number because it requires SMS verification.

So, I guess I will not be able to add my phone number to Airbnb if I ever want to use it.

I suppose they do it like this so that phone numbers can be used as username, but they end up pushing this kind of problem onto their users. We were in a hurry and it really was not the appropiate moment for Airbnb to act stupid.
Things that are political or politics-adjacent often mean different things to different people (e.g. "defund the police"). Someone asking someone else for a definition of their own meaning helps prevent a shouting match.
They want to return to their homes from before the Nakba. They tried to march for this peacefully in 2018 and had snipers shoot their kneecaps out.
There are 124 state parties to the Rome Statute, which is more than a majority, counting standardly.
Actually, I am more interested in cloud free where my data never leaves my device.

If, you can use LLMs, etc to make my on-device experience better without sending out information to the cloud - more power to you.

Running stable diffusion on my own machine has been wonderful. Running LLMs on my own machine has been wonderful.

I love on-device Apple photo search.

Many of the "AI" features are just an excuse to suck up more of my data.

But it is "suck up more of my data" that makes them bad, not the "AI" part.
It’s not just negative associations. I believe GitHub had a blog post where they went into why they chose copilot.

The answer was more of subtly conveying its output needed to be checked
What tracking specifically are you referring to? Is it apps tracking location, or browsing history? If it's just location tracking by the carrier, that's done regardless of phone type.
Important to note: The NTSB so far has listed no probable cause (the preliminary report is linked somewhere else in this thread.)

The phones were confiscated by the FBI, I'm not even sure how they are involved in such a request. The ship would be under maritime law so if anyone is handling the investigation and seizing devices wouldn't it be the CBP?

Maybe someone on this site knows more about maritime law and how this works?
It's an addiction for many. It's similar to asking why not have alcohol in the home of alcoholics? They could simply exercise self-control.
Personally, I think Microsoft wastes the name "Cortana" on their mediocre Google Assistant competitor. I haven't really seen Copilot do much copiloting, it mostly seems to answer questions and follow instructions. Maybe Windows 12 will be different, but I kind of doubt it.
They have been making cpus for windows for 11+ years
This seems silly. Parents that had the resources to shuttle kids to competitions have long been a thing. Yes, it was and is essentially an arms race, but opting out of it just means you are opting out of the race. Good luck with that, if it is in the direction you want your kids aimed.

I'm sympathetic to the idea that depression and anxiety are real. I'm not entirely convinced opting out will accomplish much. This is like thinking if you opt out of eating, you will avoid food health related issues. Seems much more likely that everyone will have a different relationship with these things and finding what is healthy for you will be difficult.

And lumping this in as somehow being as bad as phone related distractions is... dubious.
Unless it requires a kernel level anti cheat. I don't play those games but if someone does, it's a thing they should know.
IBM didn't want to design a power-efficient PowerPC chip. And then they switched from Intel once Intel stopped being able to design new power-efficient chips.
“New era” everywhere
Just do the things you or your kids want to do and not the things that you or your kids don't want to do, doesn't seem that hard in this case...

Nobody's twisting your arm, forcing you to spend more time than you want to at these activities other than your feeling of obligation to your children...

Don't complain, just don't go..
Everyone has limits to their self-control. What's wrong with:

- an alcoholic having beer in the fridge but exercising self-control?

- an overweight person having sugar cookies in the pantry but exercising self-control?

- a drug addict having heroin in the glove compartment but exercising self-control?

Also: I remember having GPS on a feature phone in ~2005. You don't need a smartphone for that.
I'm recently interested in the question of unions, and I'm wondering, if there any ICT unions somewhere? Or, at least, attempts of creating such?
I was also thinking that it can be difficult to officially unite many developers worldwide. But can it be possible to get data ownership back? E.g. collectively crawl job openings from LinkedIn, and leave some personal reviews on them, at some independent platform?
Presumably in the Israeli and US courts