skysight-inc/HackerNews huggingface dataset:
For a while I was tempted to get a minimalist phone like the Punkt MP02 [0] or Mudita Pure [1], but in the end I could not give up on:

- A camera (to snap pictures of our kids)

- A map for navigation

- Authentication apps for banking

There seem to be a few success stories in the comments. I'd be curious to hear how they made up for the missing features I listed...

[0] https://www.punkt.ch/en/products/mp02-4g-mobile-phone/
[1] https://mudita.com/products/phones/mudita-pure/
I think you think wrong.
My argument is that what's happening here in C++ is not merely Undefined Behaviour.

UB is a runtime thing, at runtime your program tried to do this operation we said mustn't ever happen, so all bets are off. C++ also has this idea of programs which are Ill-Formed, No Diagnostic Required, meaning that this was never a C++ program, the ISO document doesn't tell you what this program will do, and a compiler isn't expected to tell you that you didn't write a C++ program in these cases either, so too bad but it's not our fault.

IFNDR is there because these are non-trivial semantic properties, so by Rice's Theorem they're Undecidable, the compiler cannot be sure if every arbitrary program meets the semantic requirement. The ISO C++ document would need to document a check which can be performed, allowing compilers to accept only programs which pass that check, or something similar giving enough rope for them to avoid cases where your program compiles in Clang but not MSVC or vice versa, that sounds awkward to write, instead it just YOLOs the whole problem with IFNDR -- if any program unknowingly does not meet these requirements it was silently never a C++ program anyway, not our fault it doesn't work.

As it has grown over the decades, C++ has added more, and more, and more IFNDR to the text, because it sure is easier to wave away such programs as "That isn't C++" than to either insist compiler vendors write more diagnostics (Boring! Expensive!) or define the language more carefully so as to make the wrong programs impossible to write. They do not have a comprehensive list of IFNDR (nor UB) in their language today.

My belief (and some well known C++ people agree) is that the vast majority of real world C++ programs today are Ill-Formed by these definitions and so do not have and never had any meaning by the text of the standard. I think this is substantially worse than the situation in C.
Which is in a Google One subscription
Spotify Paid Out $9B to Music Industry in 2023
Thanks.

So, slow as it may be, the win for UML (which seems to still have a
heartbeat) is that it can run on uP without any specific
virtualisation capabilities, right? If I could run Linux on a Z80/6502
then in theory I could run a virtualised Linux on a Z80/6502.
Ok, so signed up to the free trial.

I’ve now got perplexity pro, ChatGPT pro (expiring in a day or two), copilot pro (expiring end of the month) and Gemini advanced.

And really, I don’t have much use for any of them over and above perplexity pro.

Gemini advanced doesn’t produce images- and no voice replies either (on iOS at least - UK), so I don’t really see the point of having it past the trial.

Copilot is ok, but I realise I don’t have a need for running across office apps. Turbo is quick though.

ChatGPT is fun - the custom gpts make it worth while over copilot, and I like the voice replies. So I might continue with that one.

I haven’t a need for coding with them, which is where I think they are meant to shine the most - unless I am doing something wrong?
Then why no anime girls etched in chips yet?
Possibly, but at the scale discussed in the article, not so much.

% time ls | wc
10000000 10000000 78888897
ls 1.90s user 0.73s system 99% cpu 2.637 total
wc 0.28s user 0.02s system 11% cpu 2.597 total

ETA: and most of that time is spent sorting the output.

% time ls -U | wc
10000000 10000000 78888897
ls -U 0.53s user 0.29s system 99% cpu 0.823 total
wc 0.26s user 0.02s system 33% cpu 0.822 total
I will also echo the author of WAForth, and say wow, thanks alot -- I appreciate your direction, but more than that, how you share it
I asked for ways to install an APK in android outside Google Play Store, all the responses ended in security concerns about the origin of those APKs and how I should limit myself to official stores.
Generating an Audio Book Using Text-To-Speech
Or some Newtonian like in https://www.youtube.com/watch?v=n-txrCMvdms (9m47s)
Why? How does this generate revenue for CyberusTech? What is the long term goal?
One wears a lead vest when getting x-rays at the hospital or as protective equipment when operating on nuclear reactors.

Moving beyond eating lead doesn't mean not using it intelligently when the risk profile is low. Also, lead-based glass is also an important component of the world's high-efficiency perovskite solar cells.

Many of the industrial products materials we wouldn't want to eat, this just means we have to be better about recycling.
I'm not saying there aren't people with ADHD who don't get addicted, but the statistics are unambiguous. Just google ADHD and addiction and you'll find plenty of studies.
Absolutely. Bard felt worse than GPT-3.5 in some aspects. Gemini Ultra looks to be on par with GPT-4 and better than GPT-4 atleast when it comes to speed, which isn't trivial when expecting longform answers
Why are the featured screenshoots still desktop-only?

FFS it's 2024, we're supposed to be thinking mobile-first, and focusing on experiences for the majority of visitors (i.e., mobile), and yet "inspiration" remains "look at these desktop designs"?

When does such irresponsibility become negligence?

/rant
> It would seem I am not the only one who notices the constant, absurd attempts to discount this simple fact.

Or... they upvoted you because Python being slow is a simple, obvious, uncontroversial truth that nobody disagrees with?

Do you understand that I'm not trying to disagree with you on that point? The point is not that you're wrong about Python being slow, it's that you're wrong that this is somehow a secret nobody wants to admit, and you're wrong that this is somehow an evil thing that Python should be shunned for. There are no "constant, absurd attempts to discount this simple fact." The discussions you linked aren't doing that, they're just talking about the relative cost and importance of improving that slowness.

Python is slow because accepting slowness lets the language be simpler, more flexible, and sometimes more expressive. For some use cases, this is an excellent tradeoff. For other use cases it's a terrible one. I don't understand why you see this as some kind of moral crusade.
I did a test on my field, I might have gotten an idea or two. Thanks Bard.

Really makes me wonder if chatGPT4 could have given me the same answer if I could roll seeds a few times or change the invisible preprompt.

We have 2 online AI that can do logic now, 0 offline :(
Damn they already killed bard. Pour one out for Google’s fastest branding deprecation
It’s a bit more nuanced. An individual practitioner might not have malicious intent, but the industry itself could largely be fraudulent. Take for example a well meaning physic or purveyor of some pseudoscientific medical modality. The very existence and promotion of ineffective alternatives scams society as a whole, since the general public and by extension free markets are notoriously terrible at evaluating efficacy.
With the Bard name retired, the mapping looks like this:

Gemini Models gemini.google.com
------------------------------------
Gemini Nano
Gemini Pro -> Gemini (free)
Gemini Ultra -> Gemini Advanced ($20/month)
The lead:

> In the four-month period between February 23 and July 1, 2022

In the body:

> Between February 2023 and July 1, 2022

Somebody needs to use less chatgpt. At least read it before publishing, geez.
Confirmed.

"Who are Bob and Doug McKenzie"

Bob and Doug McKenzie are a pair of iconic fictional Canadian brothers...
Another atlast fan here. I used it as an extension language for SDL (Simple DirectMedia Layer) and wrote games for the GP2X handheld in a Forth-like language. Everything should be scriptable.
I think it's a valuable news function to highlight that some of these coaches may be somewhere from misleading to fraudulent. That said, I think there's an paternalism to a lot of articles of this variety, where implicitly messages of type "thing X is bad" and "thing X should be regulated/illegal" are mixed together.

The nature of being adults with money and agency is that people will be trying to sell you things, and you will largely be permitted to give them money for their product. If you don't like the product, don't buy it. It's one thing if we're regulating something like food or drugs, where the average consumer can't possibly verify if e.g. an ingredient list is misleading, but here you're just straightforwardly getting some advice/coaching -- kinda up to you to decide whether it's worth it.
Putin claimed at the beginning of the war that it did not seek any territory from Ukraine (to be fair, nobody really believed him). Annexation of those territories was thus an increase in the amount of war goals that Russia sought. The referendums were canceled in the wake of the Russian army suffering an embarrassing rout near Kharkiv, and hurriedly rescheduled when it looked like Russia might lose control of Kherson soon--that is, the annexation happened in response not to Russian military success but immediate Russian military failure.

The annexation should signal to the world that Russia is not interested in any serious peace settlements. Indeed, it should be a strong signal that Russia is uninterested in acknowledging that its military is not capable of achieving a state that makes concessionless peace deals possible. I will fault Ukraine for many things, but being unwilling to negotiate with someone who will not moderate their goals in line with their ability to achieve them is not one of them.
From [1], "Adjectives modify nouns; adverbs modify verbs, ..." - so though you're right that both sentences are grammatical, I think a lot of styles would have a problem with "a proper written sentence" since what you actually mean to say is "a properly written sentence" (unless you make it clear that you speak of "proper sentences", probably).

[1] https://owl.purdue.edu/owl/general_writing/grammar/how_to_us...
https://www.sfgate.com/tech/article/google-workers-company-c...
KVM is the one built into Linux. VBox has it's own module for hardware virtualization all along
Bard was absolutely trashed when it first released, so I'm not surprised they are trying to rebrand it.
And then port it to the Apple Vision Pro to leverage eye tracking.
>navigation I just look up where I want to go on a map and just drive there.

This is one of the two reasons I believe I cannot get rid of a phone. After getting lost in a not great neighborhood in the 1990's and getting jumped, I have pretty severe anxiety about travel to places that I am unfamiliar with. GPS has been a godsend.

And pictures of my kids. There is no more convenient way to take constant pictures and videos of my kids than with my phone. I don't remember entire years of my life, and therefore their lives. But I have pictures and videos to remind me!
These people obviously did not try hard enough. WebXR viewers exist
The only social app I have is Discord, I'm 15 and it's like the MS Teams of my generation. Nobody likes it, it's designed like crap and we hate the developers but everyone uses it so we just kind of have to. There's really nothing better I can think of, and my friends aren't as much of a nerd as I am (They still think the nerdy stuff is cool though, they love my Pentium III + Voodoo3 retro PC) to use anything like Matrix clients or Revolt.
The Soviets used to reverse engineer and clone DEC VAX computers. When the DEC engineers heard about this, they added a message in Russian to one of their CVAX CPUs: "VAX - when you care enough to steal the very best"

https://micro.magnet.fsu.edu/creatures/pages/russians.html
It uses GPT4, among others.

> Choose your preferred AI model from GPT-4, Claude 2.1, Gemini, or Perplexity in Settings. Easily switch models for better answers.
> every time I see this image I want to throw a brick at something

I get the art style is overused but wow, that community is blowing my mind. I can’t imagine being offended by something so innocuous.
I know which one I wouldn't pick for five billion files, that's for sure. EXT4 prepays for some of the work at mkfs time, but it also has certain limits. XFS can create as many inodes as you want, if you have the space for it.
Tangent, but what is an “executive coach” and why do you see her?
• Bard when launched was using one of the PaLM models, which is inferior to GPT-3.5 (the free version of ChatGPT).

• Bard since a couple of months ago was using Gemini Pro, which is roughly comparable (a bit worse or better depending on whom you ask) to GPT-3.5.

• Bard is now (today) called Gemini, available as "Gemini" and "Gemini Advanced". The former is still comparable to the free version of ChatGPT, and the latter version costs $20/month and uses the "Gemini Ultra" model, and is meant to be roughly comparable to GPT 4 / the paid version of ChatGPT. (Their paper claimed it to be better than GPT 4 on some benchmarks, but real-world usage will show which way it goes — but it should be significantly better than Bard from recently. Edit: See https://www.oneusefulthing.org/p/google-gemini-advanced-tast... from someone who's been using it for six weeks.)
It’s not just the apps. I know I have a problem with checking Hacker News and another very low tech discussion site (local to my area, basically a 2003 website).

The discussions are very pertinent to my daily life, unvarnished, and the clientele of note (kind of like Hacker News I guess).

For me it’s because I think I have very little time for real friends as a working parent; I text old friends from college and such, but my daily life is lonely outside my family, and logistics and chores consume a lot of that time. More free wheeling discussion like with a circle of friends is what these discussion groups fill for me, and that’s hard to quit.
Money.

Perceived or actual self-control of your own destiny.

—-

I worked as a unionized employee for the first part of my career and all it did was severely limit my pay and growth trajectory. I’m not going back to that.
The most interesting question this has always raised for me is whether it implies you should always try two doctors/dentists/therapists/etc. before making a choice. Seems like it would be just as powerful “in real life“.
You need to look at the world probabilistically and over an extended period of time, not just try to guess what will immediately happen and go with that. The United States is still longing for global hegemony, when it's increasingly clear such is no longer possible. That creates a very dangerous situation, especially when we seem to keep picking rather poor leaders who lack much in the way of competence or foresight.

There's also simply misreading other leaders' intentions. If the US does not believe that Putin would respond to a conventional attack with nuclear weapons, then that also dramatically increases the chances of such an attack. And in fact one could argue that we're currently trying to probe how Russia would respond to slowly escalating types of provocations.

There's also the future. As we enter into a multipolar world it's possible the dollar could collapse, which could create unimaginable chaos. Russia could have some degree of turmoil once Putin permanently leaves office, which could be seen as an opportunity for the US. We might even develop a means of completely mitigating nuclear weapons, and so on. And so Russia is going to be looking at scenarios probabilistically. You're absolutely right the chances of the US trying to directly invade are extremely low, but they are also nowhere near 0. And that's in the current state. Who knows what the future holds? And once a country is right there, in NATO, it's there 'forever'.

----

Like try to take yourself back to WW1. Tensions were of course very high, but try to imagine what you'd think would happen if a Bosnian Serb (with secret state backing) assassinated an Austro-Hungarian royal. Would you expect to see Brits killing Germans over it, and tens of millions of people being killed? It just seems like a highly improbable outcome, to say the least. And in fact we could be living in a timeline where some 0.00001% probability event played out, and has completely shaped our world ever since. Such things can, and will, continue to happen - history makes this clear.
I'd be miffed if the police sidestepped the law and tracked my whereabouts just because I was in an organisation where a couple of other members have suspicions raised about them.
At a previous employer Oracle sent a nastygram because they saw downloads of the VirtualBox extensions pack (which is free to download, but requires a license) coming from our IP block. This despite the fact that we were a big Oracle customer (tons of Oracle DBs; granted, we hadn't purchased VirtualBox licenses). I'd rather not deal with a vendor that's that antagonistic.
>All modern Internet-based tech wants your engagement, full of dark patterns

I cant prove it... but I have noticed that my phone when I leave it alone does not do much if any notifications. But if I pick it up for a few mins and fiddle with it. Suddenly there are 2-3 notifications from applications that havent made a peep since yesterday but only after I turn the screen back off. Usually to tell me something very trivial. I suspect there is a background timeout that waits 1-2 mins after I set the phone down. Trying to get me to re-engage with the thing.
> Some of the most toxic people I ever worked with were very charming in interviews

this may well be a feature of (social) economics and hence a necessary evil
And just in case you never came across it:

https://through-the-interface.typepad.com/through_the_interf...

A great interview with him.
> I tend to use media (games, chats, dating apps, social media, etc.) excessively (for 4-8h a day)

I would do (and have done) genealogy for that kind of time. I think I can best describe it as overlap between it and addiction behavior. I base it on:

..how people close to me feel about it

..how often it squeezes out other worthwhile and important uses of my time

..that I keep justifications at the ready and think about others who do the same

I have no declaration to make about it other than I need to be mindful.
I feel that by virtue of being a search engine, Google has access to a lot of data that is now locked up but was available in the past.

They just need to curate their data but I wouldn’t be surprised if their pile is as large as OpenAiz
While it might be true I think it's worth pointing out that Khrushchev and Beria were in rivalry for power.
And I would be surprised if in his memoirs he wouldn't have painted Beria as the bad guy.
So I think we should take all those memories with a grain of salt at best and understand that all those stories might be twisted or even completely false.
Asciinema is great! The only thing it’s lacking is full screen support for mobile. Currently, on mobile the full screen button doesn’t work. I can zoom in the page but this never really aligns well.
And don't download it from your employer's network if Oracle thinks they might have deep pockets.
I think that's exactly how it works. If you associate with sketchy people or groups, you automatically become a target for surveillance.
I keep hearing about it, just never got around to actually doing anything with it...but I might have that itch now. I'll look into these things thanks.
Thanks - that’s way more interesting than the original blog post.
I get that Discord is more practical, but it is at the cost of freedom, trustworthiness and privacy. Communication platforms are the last place you should compromise on this, since your choice is directly going to affect the choices of many others.

There are tools which are much more user-friendly than IRC (and even Discord, in some aspects), such as Matrix or Zulip. They easily enough could’ve been more pragmatic picking those instead.
Unfortunately that is an illustration of what I mean. Iraq and Ukraine participated in nuclear disarmament and monitoring. Iran has continued to pursue nuclear development and gets very diplomatic kid-gloves from even US military retaliation on Iran-backed groups in the area.

The US was very clear in not attacking Iranians, though Iranian support was the vehicle by which US troops were attacked. Iran got a measured response for its allies because Iran 'carries a big stick'
Would it be ok to surveil you just because you are a Twitter user, a known place for nazi gatherings? I'd say it's not ok.
I like this one.

https://www.lingscars.com/
They work most days. There are days they don't.

most people in the nordicts live in a mild climate. The Mississippi crosses the ocean and brings warm water to them so if you are not inland you don't see very much cold despite the northern location.
I mean, yes, you're right that the failure mode of the `then/2` approach works differently than `with`. I think most semi-experienced elixir devs would recognize that the function used with `then/2` needs to have a pattern that matches expected returns—as does `with/else` if you want to be able to continue on the happy path of your program.

For those that don't realize that, caveat lector.
This is basically just fortnite. When they wanted to make a racing game, they did it in fortnite. When they wanted a rhythm game, they did it in fortnite. Fortnite is a game browser and engine, not a set of mechanics.

Also if the intention is to limit the use of the property to epic games, why not use a plain old database? Nft seems like overkill
What evidence do you have that there is no evidence though? Or does a different standard apply to certain claims, like cultural axioms?
One thing I miss with the move to mobile and cloud-first is that you used to be able to organize your phone apps on a desktop which I did every 6-12 months to clean them up. I find that's a real pain on an iPhone. I guess I can just remember names and search but I liked a more organized layout over 4 or 5 screens by general category.
Almond?
> like type safety. In the real world I've never root caused a production issue back to that.

Your definition of type safety might not include validation + using the type to carry proof of that validation throughout the life of the program.

For examples see:

https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-va...
My problem there is that most dentistry related things are couched in moral failings. And people with good teeth have them due to their diligence. But... I've rarely seen evidence of this. Always posturing and admonishments.
I've used Terminus and Prompt in the past on iOS. For remote dev work over SSH using nvim.
There is a world of a difference between us looking after each other and them looking after us.

Put this in the context of the liberal democratic republic as it was born from monarchy: we must leave the “benevolent”, God-graced structure of government behind. In its stead is the common man governing himself, and with all the faults and warts, it is still more conducive to our expected freedoms.

There is not much more of an argument than I can offer other than the hundreds of years of actual practice.
100% utterly wrong, people with ADHD are A LOT more likely to get addicted and stay addicted.

This is clinical data NOT open for discussion.

Blows my mind that people think medical data is a topic for discussion where your opinion matters.
3 Pros and 3 Cons (After 3 Years) of Remote Working