skysight-inc/HackerNews huggingface dataset:
Well, both. And it could be a different type of manufacturing tech if that gives better results.
As long as the same person is on both sides of a communication channel, he has total freedom on what to say and will understand it flawlessly!

That's what standards are for, isn't it?
Of course, statically typed code is usually around 3 times the number of lines of code as it's dynamically typed equivalent.

This is due to lots of boilerplate, complex types, usage of abstract base classes, adding code for testing purposes into the production codebase due to disregarding language features such as mocking, etc...

The development time and bugs in a program are directly proportional to the total number of lines written.

You write 3x the number of lines of code using a verbouse code style then you have 3x the number of bugs. Static type checking only catches around 5% of bugs. It's not a significant debugging tool.

If instead of writing static types and all the involed boilerplate required to make it work, you instead invested that type in unit tests and proper qa, you will always come out ahead.
I tried LineageOS on the shield recently and ran into issues like gboard not working (not showing up on textbox selection), voice typing not working, and other jank. I regrettably switched back to the Nvidia stock image. I curiously still don't have the horrible Android TV home screen with ads but I did immediately change the system DNS to my own with AdGuard.
there is a possibility LE is doing it also, not just trolls. there seems to be no better way to shut down an internet location than posting that and the public is vastly on the side of LE here. But this stuff can cause any chat, app, whatever to be immediately shut down and everyone involved be criminally investigated. As an example, see how blasphemy laws in Pakistan are weaponized for political ends https://web.archive.org/web/20230211002446/https://www.latim...
Legal typically never approves of any article or statement that has the slightest possibility of resulting in a lawsuit, unless there is a payoff, which in this case simply happens to be satisfying the needs of no-name commenters on HN. But let's walk through the cost-benefit analysis, just in case:

The rates for lawyers at well known legal firms is about ~$300, and assume it takes 5 hours (which is a conservative estimate) for them to review the lawsuit and draft a motion to dismiss. A favorable outcome is not guaranteed, given that countries like the UK consider statements as libel even when the statements are true.

Still, assuming it takes only ~$1500 and the suit is dismissed afterward, they haven't had any additional income to offset the loss, and the $1500 can easily buy IDA licenses for a team member, which would be a far more productive use of the money.

As for LTT, they engage in many behaviors that legal wouldn't approve of. If I interrupted my colleague by saying "that's what she said" every two sentences, I would be fired the next day. LTT does it all the time, and there's nary a complaint (of course, I'm not privy to their internal operations).
I need a certain degree of freedom to write this.
The article says nothing about any affair except that unnamed people said that Epstein unsuccessfully applied pressure based on a threat to expose an affair. No evidence about dates or location of affair are presented.

Extreme hearsay.
Building a Better Book Club: A Strategy for Efficiently Ingesting Nonfiction
No you can't, because drivers.
If you folks have any questions about the Feynman Lectures Website, the online edition of The Feynman Lectures on Physics, the current ("New Millennium") printed edition (or ePub or Mobi editions), then you can ask me. I am the person who is primarily responsible for them. The same goes for the previous ("Definitive") edition. I've been working with The Feynman Lectures on Physics for about 23 years.
UHK looks amazing, thanks. Pricy, though, and I have to see about losing the Function key row.
That's interesting!

If AMD incorporates scaled down Xilinx's FPGAs into their x86-family product line, that could bring a lot of RasperryPi's community effort into a mainstream products too (home PC) and let us experiment embedded software directly on our PC! ...and break our main PC during our experiments too, oopsie. But it would be worth it haha.
I've owned several OnePlus phones, all bought straight from the company except the most recent one, which is T-Mobile branded and bought from the T-Mobile store. Unlike the previous ones, this one has strange behavior around app alerting permissions: I block all alerts from Starbucks or Prime Video, for example, and they're quiet for several days/weeks, then start alerting again. I thought I was misremembering at first, so I started taking a screenshot every time I turned off all alerts for an app and confirmed it's real behavior. I'm sure it's just a bug or something, but the conspiracy nut in me wonders if companies like those can slip T-Mobile some money under the table and get them to "fix" people's alerting preferences.
> compression before encryption

What's the matter with that? It should be secure with any modern cryptography primitives. (I mean, it's obviously no less secure to do `age -e myfile.7z` than it is to do `age -e myfile`.)
When you say "check your ram" do you mean consumption, or quality?
My mom has done this to every device she's owned. My Christmas visit starts by me asking her why she has four or five weather apps installed, every app for every local news station, apps for "coupons", and everything else I wouldn't touch with a ten foot pole. On her iPad, her lock screen has a CVS receipt of garbage notifications.

Frankly, the problem is the ubiquity of native apps. You don't need a native app to get the weather. It shouldn't have any permissions. This is the whole premise of the web. The web has its own problems, but it can't ruin a device like poorly-considered native apps can.
>impediment to iteration

The "aha!" moment that converted me from a Clojure guy to a Haskell guy was realizing that types aren't an impediment to iteration, they are an enabler of rapid design iterating. Once written, code has a way of not wanting to be changed. Types let me work "above the code" during that squishy beginning period when I'm not sure 'what the best structure and flow of data will be'. Emotionally, deleting types is a lot easier for me than deleting code.

This is in no way saying that types are the One True Way™ ^_^ Just that I've found them, given the way my brain is wired, to be a great tool for iteration.
You can reach me under hn.nqc37@simplelogin.com
Resilient LL Parsing
Thanks for this pointer. Just three key rows is a bit extreme for me :)
> It’s not a big ask to look this up.

For the guy who doesn't even use email? https://www-cs-faculty.stanford.edu/~knuth/email.html
There is a recording of him asking the Georgia secretary of state to find votes for him. I have listened to the recording.
Or an OTA was pushed out with adware. Samsung and Xiaomi phones do this a lot.
It is simply about supply and demand right. There are too many qualified people in the market who can teach. So, their market value is low. Same thing for flipping burgers as well.

Likewise, there are not enough qualified people who can perform angioplasty surgery so medical professionals get paid a shit ton.

All this notion about "meaningful work" etc is just a sugarcoating of the truth. Plenty of teachers would happily quit their job permanently if they hit the lotto.
Most people meaning their potential customers. As a customer myself, there is little that would convince me to get this headset for that price.
Thanks for posting this, Dan! It's not usually the sort of thing that gets traction here but I found it a wonderful read, even starting just from the shock of the problem, “You spent all this time proving correctness and it's still not correct.”

Rich Hickey has a similar fun challenge in Simple Made Easy, he addresses the audience:

> A lot of people, as soon as they hear the words “reason about” [programs] they're like, “Oh my God, are you saying that you have to be able to prove programs?” I am not. I don't believe in that. I don't think that's an objective. I'm just talking about informal reasoning, the same kind of reasoning we use every day to decide what we're going to do. We do not take out category theory—we actually can reason without it, thank goodness. So what about the other side?

> There's two things you do with the future of your software. One is, you add new capabilities. The other thing is, you fix the ones you didn't get done so well. And I like to ask this question: What's true of every bug found in the field?

> “Someone wrote it—it got written?” — [eyeroll] Got written, yes, what's a more interesting fact about it?

> It passed the type checker! What else did it do? [Laughs, a couple things shouted]...It passed all the tests. Okay! So now what do you do?

> Right. I think we're in this world that I like to call guard-rail programming. It's really, really sad. We're like, "I can make change 'cause I have tests." Who does that? Who drives their car around banging against the guard-rails like “Whoa, I'm glad I've got these guard rails because I'd never make it to the show on time!” right? And—and do the guard rails help you get to where you want to go? Do they guide you places? No—there's guard rails everywhere, they don't point your car in any particular direction. So again, we're going to need to be able to think about our program, it's going to be critical, all of our guard rails will have failed us when we have a problem.
Trailing commas a very highly impactful to the users, and trivial to the language writers.

The 123_456 syntax comes close to that, but is much less impactful.

None of those will make the language hard to parse.
Unlike the 90s and dotcom companies, there are few if any tiny AI stocks that offer huge returns. All the companies are private, or you have to invest in huge companies like Microsoft or Google. If anything, this protects smaller investors. Open AI is not traded on any exchange.
Reading about these cargo cults makes all those theories about alien origins of world’s religions slightly less nuts.
proof.
Perhaps a good way forward is to come up with a positive incentives, like already exists with the various badges for CI success, test coverage, documentation, valid HTML5, etc. There could be a service that verifies that PGP key can be fetched and the latest pypi version verified. To avoid putting the burden of hosting on you, perhaps you could provide a python script which takes the package name and allows people to self-validate?
I mean, there is no requirement that we use neural networks for driving (or for all of driving); standard logic and sensor analysis is also an option if less general. There are also things like automatic emergency braking that kick in with direct logic even when a human is driving; presumably we may be able to make more advanced similar systems for self driving.

But in general I would definitely agree that putting chatgpt into a car would end poorly.
Sometimes if I go into the same coffee shop every day for a couple years I will develop a rapport with one of the baristas and, of course, I like some of them better than others. Maybe one in ten ends up being so nice that they are memorable.

But none of that changes that new baristas can be trained to do their job in a few days and almost anybody can do the work.
How do you get photos of social events? I have never been able to convince my friends to share trip photos on email. Nobody wants to touch it with a 10 foot pole. This is not something you can confront anyone on.
You didn't seem to like your original iPhone. That's ok. I, for one, loved my iPod Touch. It had a full-fledged iPod music app that really worked flawlessly with podcasts and my large music library. I even paid for the update that gave me calendar, mail, and contacts because I wanted to read my emails on the go. Maps was wonderful, there was great YouTube app to watch videos in bed, and Safari worked ok while we were all waiting for responsive websites.

Of course the App Store was an explosion of functionality, but there was a lot to love about iOS before third-party apps appeared.
Technically true and it would certainly avoid a bunch of confusion if the new subset carries a new name. However there are a bunch of "OpenPGP" implementations out there but when you start comparing them, it's obvious that they differ quite a bit.
I don't know if Roku counts under the "phone home" umbrella, but my Roku has Jellyfin installed on it.
Gain: High-performance io_uring networking framework in Go
You could add “write this in the style of an ‘Show HN’ submission” to the prompt.
Indeterminism does not automatically imply free will. None of the open questions of physics, including how qualia arise, could plausibly explain free will. Neuroscience is continuing to show just how deterministic and predictable brains are.

So at this point the burden is on free will proponents to offer a plausible explanation for it. Without resorting to dualism, which is great for religious people but not scientifically useful.
Dark cloud over ChatGPT revolution: the cost
Ignoring under the hood OS and Subsystem. The Android UX started as a pocket pc, while iOS started as an Appliance. Even today that is more of less the same, although the both converge in the between as they look more and more alike.

I have a somewhat increasingly constrain opinion on HN. May be Steve Jobs's original model was right / better. Only First Party and extremely selected third party Native Apps. And everything else being Web / HTML 5 Apps.
> It would be hard to get input devices right when you’re wearing a headset though.

I suppose this is where Augmented Reality comes into play.
The poster is Chinese. Cheating is absolutely pervasive in Chinese culture. They believe that either all other cultures hold the same views as they do about cheating, or that those countries and individuals are naive and stupid for not cheating.

https://archive.is/3dcjH
Python release files have been signed with sigstore for the last couple versions. You can peruse the release tooling that uses it at https://github.com/python/release-tools
Many of the books already mentioned plus A Canticle for Leibowitz
The context of this conversation is what differentiated it at launch in a meaningfully tangible and immediately usable capacity.

None of these things meant anything to the average consumer.

The App Store is what ultimately made the iPhone a success, despite being fairly ho-hum in features versus the competition.
Dolphin: An Emulator for the Nintendo GameCube and the Nintendo Wii
Maybe you can contribute your work to this existing project that is really quite good. For your consideration:
https://github.com/builtbybel/BloatyNosy
I wonder if it's because of the nature of the companies involved. The semiconductor one is actually producing something tangible with huge costs associated with that. Most of the "tech" companies with the crazy salaries are just in the business of seeking rents from an entire market by collecting royalties or subscriptions for automated things, so they have way more money per person to give away.
There's nothing shady about this practice. It's simple science.
> It is a general-purpose text and binary encryption system

That's exactly why it shouldn't exist!
Being a father of a toddler has taught me that patience is a type of pain tolerance.

If I can be patient longer than my toddler can inflict "pain", I win.
Not enough emphasis can be placed on the existence of a usable web browser on a phone. It did not exist before. Blackberry was great for emails, and Windows mobile was great for propping your door open, but when Safari on iOS came out, even with it being slow 2G and with a buggy keyboard and no copy/paste -- you could use websites on a mobile device -- anywhere. Being able to pull up amazon and check reviews for products while browsing in a BestBuy or whatever was something that just was not practical before and it was a game changer, instantly.

Lots of people criticized it for not being able to do basic tasks like copy and paste or the lack of 3G after they bought it. The iPhone didn't suffer at all from the criticism because people saw it as a work in progress -- the AT&T attachment was actually brilliant because it allowed them to make AT&T build their network and offer decent data plans. Before iPhone the data rate was something ridiculous as an add-on to a regular phone plan, and everyone using 2G data all at once brought the network to its knees in dense areas and forced upgrades.
> People seem to forget this every time, but this version of the tech is aimed at developers and early adopters

Iirc, Apple dumped the iPhone onto the market even though it was not ready yet and was missing many elementary functions.

So not sure what you mean by "people seem to forget this every time".
High quality head mounted screen could be a huge breakthrough for ergonomic work. Staring at a fixed plane and orienting your body with respect to the plane is pretty mechanically unnatural for the human system and it causes a lot of problems.
The science is conclusive that pipelines are the LEAST dangerous and leaky method of transporting anything.
As Subuhibi is one of my all time favorite VNs, I feel obligated to strongly disagree. Here's a flowchart of the game. https://www.reddit.com/r/visualnovels/comments/71pc08/subara...

There are many equally valid "true" endings, not counting all the side endings. Sounds like it wasn't your cup of tea, that's fine. No VN is universally loved.

Also bonus link to one of my favorite tracks in the game: https://youtu.be/dQ5g1Va7CjI
Neither of these things are bad.
It creates a compression oracle, potentially leaking parts of plaintext.
Who is “they”?

The current OpenPGP keyserver does this, but again: that’s new, and it’s a matter of policy, not protocol. PGP itself isn’t involved in that.
> It seems like without fail, whenever PGP is mentioned, someone is ready to offer criticism of it, usually without offering a better alternative, since one doesn't really exist.

For signing minisign, signify, and OpenSSH exist; most of them have been around for quite a while (OpenSSH signing is the only one that's relatively new).

They're not "alternatives to PGP" in the sense that they will do everything PGP can (notably, no encryption). But that's not really a bad thing, IMO, and for encryption alternatives exist too.

One of the problems that ecosystem support is often lacking, both for signing and encryption. git can sign with OpenSSH since last year, but that's one of the exceptions. But that doesn't mean alternatives don't exist.

Ecosystem support is hard; you need to convince untold authors of software to implement your new crypto thingymabob, and there's a "well, no one supports it yet, so why should I?" catch-22 here.
That’s a great point and kinda hilarious. Parents who pushed you too aggressively towards success being the biggest obstacle you faced on your path to success. The trauma.
I'm older. I still haven't gotten over the "ribbon" interface. It drove me to LibreOffice despite all its faults.
The Pi engineers claim that at least some aspects of PIO are "patent-pending," [0] so a 1:1 reimplementation in another MCU would probably infringe on some claim or another eventually.

Yes, software defined I/O is not uncommon which is one reason I'm quite curious about the specific claims in the PIO patents. Another good example is the Infineon Peripheral Control Processor (PCP) used in Tricore. It's much more powerful ISA wise than PIO, but conceptually extremely similar.

0: https://forums.raspberrypi.com/viewtopic.php?t=307115#p18374...
But then you need new syntax to indicate subheadings, which is also (probably less) error prone because you might omit it.
2015 MPB configd and powerd drain replacement batteries
I'm curious if this is a case of planned obsolescence.

Apple MBP 2015 users with battery replacements from services like iFixit report that their computers start to lock up after operating on the battery and being connected to WiFi. Connecting to external power can immediately resolve this. There are often two or three services that are involved in the slow down, configd being the most common. You can use terminal to try to kill the service, but it is often difficult and the processes will immediately restart.

Is there DRM in Apple batteries that after market batteries do not have that may be causing this battery drain?
Tetrisweeper
Of course not. The unfortunate reality is on average the larger something is the less it sees you as a person. Any large organization sees us all as walking billfolds. If they don’t see us as human, how can they keep AI ethical or safe?

The reality is they simply cannot, and won’t. While safety will (probably) be assured, because unsafe products bring lawsuits, unethical products that extort customers for money are apparently perfectly legal. We see this in pharmaceuticals, processed foods, and of course Big Tech.
Credit card cash back is orthogonal to your first point. What supports 5% cash back is likely induced brand loyalty/stickiness plus financial surveillance data mining.
There is one other glitch recently discovered that affects all Switches; the Tegra X1 has no protections against voltage glitching attacks. Therefore, a mod chip (or RP2040) can cause a power drop at the right moment and bypass the signature check, and reboot and try again a few times if it didn’t work.

Most likely a Tegra X1 successor would (like modern security chips) have circuitry to detect such glitching and force an automatic reboot if it occurs.
Wearable robot arms prepare human interaction with cyborgs
For people in my social circle that would be a good use case for phpBB or email. The younger generations are less interested in things that don't get likes and emoji's so I completely understand what you mean. I suppose they are stuck using the mainstream corporate platforms.
This reminded me of investors jumping on every company that added the words "blockchain" to their business.
Its a good indicator how well the source is advertised. But at soon as its used as a metric it becomes useless as its easily gamed.
I liked my original iPhone prior to the launch of the App Store—but it was only jailbreaking and adding a lot of features via Cydia that made it a keeper, even after the launch of the App Store.

iOS was largely lacking for many years. No copy-paste until 2009, no multi-tasking until 2010. It was rough, even as a diehard Apple fan at the time.

There were countless times that I had phone envy—paying more to get considerably less functionality didn't sit well with me at the time. It definitely felt like a toy at times. Everybody wanted to play with the gimmicks like drinking a virtual beer or swooshing a lightsabre, or playing Tap Tap Revenge or Angry Birds, but as a daily-driver phone for productivity and not screwing around, it was pretty lacking.

This was the era when you bought a "smartphone" to do productive things, not screw around. I also liked my PSP, but it wasn't a productivity device, despite having a pretty kick-ass web browser with Flash support and a decent-sized screen.
Do you have a link
I highly doubt Apple or anyone else expect most people to buy it. It's a new market with no content and no clear use cases. So starting slow and brining the price down over time seems like the best strategy.
> there are no trial downloads available for theirs desktop products

They have a contact form and it's quite normal here in Germany that you have to contact the business first before you can download the business software.

All in all most normal small IT companies I know in my area have a similar looking website.

Which makes it more unserious is that one of the Managing Directors has done shady business in the past.
It's the Woosh country.