skysight-inc/HackerNews huggingface dataset:
> Cosmetic surgery. Be brutally honest on what can take you from, say, an 8 to a 9. Guys like certain physical attributes, and in general may get you more attention even outside of a dating app.

This way lies madness. Do not do this. Seriously, screw those guys who are not interested in you at your current attractiveness level (whatever it may be). If cosmetic surgery moves you up one notch on a 1-10 scale and that is what puts a guy over the edge, that’s not the guy you want IMO.
Perhaps, but I was comparing Apple ear buds with the 3.5mm jack vs lightning ones. Presumably the drivers and whatnot would be similar. In general I don't think audio quality has ever been particularly important to Apple. The iPhone (and all smartphones really) is a jack of all trades gizmo not a device for high quality audio playback.

I remember when I had a first gen iPhone and the call quality was atrocious with AT&T compared to my RAZR on Verizon. You get used to it over time but back to back it was pretty dramatic.
Not your question, but I tried a bunch after Google Reader shut down and landed on Bazqux. I've been a happy paying customer for years since the dev was so responsive and even helped identify an issue with one of my self-created feeds...
Compilation/transpilation is only part of the work traditionally being done by build tools like webpack and parcel (well, webpack offloads the work to babel or similar). I believe that a lot of the speed or perceived responsiveness with Vite comes simply from not bundling the code during development.

For a long time front end tooling has been bundling your dependencies and code into one or more bundles each time you save your code and then that gets shipped to your browser. Vite on the other hand just transpile the changed module(s) and then ship that over to the browser. This works great because browser support ES modules and module resolution natively now.
My opinion is that they optimize for huge deployments. Tiny companies are supposed to use cloud. And self-hosting is supposed to be used by big companies with thousands of people. I guess that's where their money is, anyway.

That said, they're doing good job of documenting things required for smaller installations.
hit me up on twitter at @strongnode_ceo
I don't see why we wouldn't make a Wayland server that runs on top of X, as a compatibility layer.

It seems like it would be the target of a lot of disapproval, though.
How is Uber anything similar to a utilities company? Those companies are rent seeking because they provide an essential service in a de-facto monopoly. Uber literally created the demand from both sides of the marketplace while facing steep competition from incumbents. There are many things wrong with them but how can you criticize them for rent seeking? They're one of the most capitalistic companies around and their origin story is literally the opposite of rent seeking.
There is not, to my knowledge, any prohibition against you going to a doctor who only sees "fee for service" patients, to get your lab work done. That is, a physician who accepts no insurance whatsoever. These are not rare in the U.S. Get your test from such a doctor, send it back to your own physician/healthcare provider as a nudge.

For much of my 30s, 40s, and 50s I was strictly a fee for service patient in Southern California. This, of course, is no solution for someone with significant health problems. I've been blessed with good health, undeservedly so. I had cataract surgery on my left eye in 2011 for $2600 cash, up front, at the area's biggest hospital. No further charges materialized. I had no regular primary care physician at the time. To me, $2600 for a surgery, the result of which was so magically wonderful that I burst into happy laughter in the ophthalmologist's office when he removed the eye bandage, was worth far more than the $2600.

Don't overlook businesses like Everlywell or Private Labs MD that enable one to get tests performed outside your own network. I've used such a service to "nudge" my health care provider (with whom I am generally satisfied) to investigate some subject further. Admittedly, this is not much help for exotic tests.

If, like me, you are lucky enough to live reasonably near our southern border, labs in Mexico don't even require a doctor's order to perform tests. There may be exceptions to this -- I don't want to imply that I know more than I do.

I don't want to "wave away" the very real problems that exist for those who cannot afford any service outside their network, nor do I mean to ignore the very real problem of arrogant medical professionals who ignore a patient who tells them, "Listen, Doc, I've had this same test three times in the last three months." I only mean to suggest that sometimes, when it is possible, it helps to work around a stubborn physician, rather than attempting to bend said physician to your view.
Right now there is a crisis due to covid being "over" but allot of staff left/got fired and cant be re-hired as fast.
I wonder how much of this might just be due to Android 12? I assume you have that since you're running a Pixel, anyway.

12 has been a buggy, freezy, needs-reboot-daily mess. Noticeably worse than any Android OS release I've used (since the late Gingerbread days). Preview builds have occasionally, temporarily been worse, but this long for an official release is horrendous.
You think you are rich if you have a spare 50$ ?

wow

Then I must be mega-rich.
> how do we know the example TCP RFC English Language description isn't logically flawed?

We don't, in the general case. In the specific case of TCP, the RFC has had many errata over the years[1] (many of which are logical errors).

This is a recurring problem in formal verification: you verify with respect to a particular description of the system or protocol, which itself may be either ambiguous or fail to reflect actual implementations. You can tighten that by verifying with respect to a formal definition, which can eliminate the ambiguity, but only pushes the trust as far as the proof generator and verifier themselves. You then maybe have multiple independent proof systems arrive at the same conclusion to strengthen your belief in the result, but at that point you're doing differential testing and not formal verification.

[1]: https://www.rfc-editor.org/errata/rfc793
btw, do you happen to be British?

The reason I ask is that only British people seem to add "lovely" in their sentences.

Also, I now learnt that the WINDMILL answer refers to something in London. I don't know how outsiders — say a random person from Argentina — is supposed to know that.
I spent the better part of a month last year shopping for a blogging platform before I decided that it was actually easier to build my own. I went through Gatsby, ghost, Jekyll, and notion.

This is the most basic rails app you can get and it does everything I need. When I needed to customize it for the "projects" tab, that was simple too.

Siliconvict com
There hasn't been a lot of players in this area lately, perhaps you should take a look to this Awesome RSS https://github.com/AboutRSS/ALL-about-RSS.

Self hosting TTRSS and using the API to access it from third party software could be a solution if you don't like the official TTRSS web client.
Think of it as a form of exercise.

If you go back to the gym after a long break, you spend a lot of time conditioning your body just to get your muscle memory back in sync with the machines, or free weights, or whatever you like to work out with.

Meditation is analogous to that. Once you get past just figuring out how to sit, you spend more time figuring out how to breathe, and then you get to the part where you let your mind do what it does while you're breathing. But the breathing (and the standard advice to keep your attention on your breathing) is just the tip of a much deeper iceberg.

So over time you get to explore the part of the iceberg beneath the water. You begin to unwind the long chains of association that exist below the level of words and verbal formations. There are good books about the impediments you will run into and strategies for getting past them (it really is like exercise).

But to what purpose? Why do you exercise? Do you just want to look good? Or have more strength? Or just health for its own sake? Or do you enjoy the social camaraderie you find at the gym? Or maybe a workout just makes you feel good and requires no other justification. In the end you will need to find those answers for yourself.

You have a body, but you are not your body. Exercise is practical and it works.

You have a mind, but you are not your mind. Meditation is practical and it works.
Then ride a cab? You're involving a middle man because they do a pretty damn good job taking you from point A to point B. It's the same reason you might want to use Amazon to buy something and "take money out of your community."
Remember this is a set of parsers. So it's goal is to accept valid-according-to-spec data, and reject all other data, and do so in a safe way.

In that sense, the spec can only be logically flawed in a few ways

For example:

1. if it specifies impossible constraints on data it accepts (IE field1 < field2 && field2 > field1)
2. misses dependent constraints necessary to safely prove other things (field2 - field1 > 0 without specifying that field2 > field1)
etc

Assuming you specify the assertions in the code, it will find these errors because it will not be able to prove the arithmetic is sound.

To the degree it is possible for the spec to be logically flawed, but not cause underflow/overflow/etc, it will not detect it.
Iron gummies are a thing, and helpful to a family member. Multi-vitamin gummies too, which might have enough iron to keep levels up depending on the condition.
I learned this in LV. You can cool yourself by holding something cold over central circulatory places on your body. i.e. the inside of your elbow ("the ditch"), back of your knees, or nape of your neck. I would use very a chilled/ice cold stainless steel water bottle. Similarly, in cold you can stay (significantly, in my experience) warmer by holding the bottom of your feet and/or your hands together flattest/largest part to flattest/largest part.

Edit-Also, you should have covered every bit of the inside of the window with aluminum foil. Flat up against the pane of the glass. Then have towels/blinds on the other side.
> how do we know the example TCP RFC English Language description isn't logically flawed?

They'll surely have needed to translate the English specification into a formal specification. That act of translation isn't itself a formal process, so it's subject to errors, and also subject to dispute in case of ambiguities or underspecification or contradictions in the English text.

You can never formally prove that an informal natural language specification corresponds to a formal specification written in a formal language (although you could try to take another abstraction step by writing a formal grammar and formal semantics for the natural language and then claiming that the interpretation of the natural language text, under that interpretation, agrees with your formal specification... I don't believe this is common or likely to yield useful results unless the natural language text was written in a very controlled way with this kind of application in mind).

> On a side note, rather than debating re-writing the Linux kernel in Rust so that it is memory safe(er), why not start working on a formally hardend kernel code? Or does this only apply to logical propositions, e.g. the RFC?

Rust's type system can actually be viewed as a formal proof system, where the type checker is verifying proofs about behaviors of the program. But the proofs in question are somewhat weak compared to other formal methods techniques, which can potentially be used to prove stronger claims about program behavior.

The Rust ones aren't trivial, though; they rule out quite a few kinds of errors even without having a formal specification for the program's behavior beyond that given by the type annotations. And there are some other features inspired by formal methods, like the fact that match patterns must specify a behavior for every possible value of the expression:

https://doc.rust-lang.org/book/ch18-03-pattern-syntax.html

Writing formally verified code with a richer specification tool is harder and slower going. Microsoft is paying the equivalent of an academic department (in MSR) to do some of that work. I would hope we would soon see similar stuff in the free software world from a regular academic department at a university... maybe inspired by some of this work from MSR!
This is one of the reasons why I find it most convenient to use an RSS feed to email project instead of an online reader.

Since the messages are "just email" you can filter, tag, and process them with .forward/.procmailrc, or your google filters.

I put together a CLI of my own to do the fetching, but there are a whole bunch of them out there and to be honest you probably don't need much complexity - beyond a couple of simple filters, and include/exclude regular expressions.
It's going to take me a while to fully understand this paper. I wonder what the route to incorporating something like this in the Linux kernel would look like?
1942–1944 Musicians' Strike
Virtual Internships | Global Head of Engineering | Full-time | Fully Remote | IST Timezone | www.virtualinternships.com

Would you like to join a rapidly growing EdTech scale up (series A) to help build and develop a product that will impact millions of young people around the world?
You'll, grow, nurture and lead a small, world class globally distributed, team and work on a product that is backed by the likes of Sequoia Capital and 500Startups.

Reporting into the CEO, this is a hands-on, yet strategic high-profile role that will be pivotal in the company's future success. You'll double/ triple the Engineering team and work on a product that is backed by the likes of Sequoia Capital and 500Startups.

Also hiring for Software Engineers (BE & FE)
You can find more info and apply here: https://virtualinternships.recruitee.com/o/global-head-of-en...
Oh good old Google reader with greasemonkey scripts to make the UI very minimal. Those were the good times buddy.
maybe it has something to do with the commercial nature of one of those two things.
I’d hire a physics BS grad for a software dev job. The ability to reason through mathematical problems is very similar. But then, I’m an atmospheric science student who ended up as a programmer.
I use FreshRSS on the server side, Reeder on mobile (iOS), Newsboat on desktop. Reeder + FreshRSS has been a very premium-feeling experience for me. One downside to this setup is that FreshRSS' web interface sucks on mobile, at least on iOS -- but with Reeder I never have to use the web interface.

There is an Android RSS client I've used that works with FreshRSS but I can't recall it.

I self host the following services to get RSS feeds for specific users/channels on closed (or less functional with RSS) platforms:

- Bibliogram (Instagram)

- Nitter (Twitter)

- Teddit (Reddit)

- RSSHub (Youtube and a bunch of other integrations)
Right? Seems like half of consumer routers have or have had an open exploit. I believe the GP, but can't see it being enforced.
nzb360
An 'Island' Changed the Course of the Thames River in London
Why unable to compete?
Maybe the right way to think about it is that ESM is python3 for the javascript world. If javascript had ESM from the start, it would be fine. And maybe once every package in npm is rewritten for ESM, it'll be fine. But in the meantime, we have essentially 2 mutually (sort of) incompatible programming languages which share a name and a package repository.

> You see, it's not that ESM killed JavaScript, all the hacky build tools did.

The problem is that ESM added a massive extra amount of complexity to all those hacky build tools, because suddenly we have 2 different kinds of javascript code and people expect their code to be mutually compatible. That is really complex.

- Typescript's canonical way to import things (import foo from './blah') is incompatible with ESM imports (because imports must have file extensions).

- Nodejs has a plethora of options to configure packages to support combinations of ESM and CJS[1]. Half of those options are deprecated. Lots of tools read package.json - but don't parse all those different options consistently with nodejs's implementation.

- Eg: wasm-pack only knows how to compile code "for the web" or "for nodejs". (You want a package that works everywhere? Adorable.) The web version creates an ESM module, but doesn't specify "type": "module" in package.json - so even though it could work with nodejs, it doesn't.

- Lots of packages in npm are broken in either CJS or ESM mode. And there's no way to tell without trying them.

Essentially, we went from having a simple, extensible system (commonjs + bundlers) to a very complex system. The number of people who understand all that complexity has dropped by orders of magnitude. Now I feel less capable of creating working code than I was a few years ago.

Its an unmitigated disaster for the ecosystem. Maybe in a few years, everything will be using ESM. But until then, I want off this ship.

[1] https://nodejs.org/dist/latest-v18.x/docs/api/packages.html#...
Can this provide something like linux’s unshare?
I don't it see being ISO standard as a plus, it means you are not allowed to copy the specification or ship it with the product or have it for download on your page.
Things can be rendered from compressed container files. For HTML with images, even slow-but-strong compression like LZMA is already fast enough to render pages as fast as you can click through them, even on fairly old hardware.

Kiwix .ZIM file format is a good example. The entire Gutenberg Library is a single ~65 Gb file, and you can read any book from it without unpacking anything.
If you have an iPhone and you care about its audio quality there are some DAC dongles, see also

https://www.whathifi.com/advice/how-to-play-hi-res-music-you...

Quoting the article:

"Next, you need a decent DAC such as the Audioquest DragonFly Cobalt, Cyrus soundKey or Chord Mojo 2 and a good pair of headphones, such as the Grado SR325x, Shure Aonic 3 or Austrian Audio Hi-X55.

This is just a starting point, of course. Don’t be afraid to build up to a more revealing system. You could combine the Chord Hugo 2 DAC with a pair of Beyerdynamic T1 (3rd Generation) headphones for a more premium set-up. That might be a touch overkill and punishingly transparent for an iPhone, but these are hi-res files, after all."
If you're interested in SwiftUI and care about feature composability, decent test coverage, dependency injection, isolated side effects, functional core and being able to use live previews properly, take a look at: https://github.com/pointfreeco/swift-composable-architecture

Been using it at work for a moderately complex app (not a toy app by any means) and it's been fantastic. We're 7 months in and haven't hit any gotchas, but the learning curve can be a bit steep, especially for more junior iOS devs.

Helps that they have a full video series taking you through the library and how they built it: https://www.pointfree.co/collections/composable-architecture
> This probably sounds really arrogant, but I’ve long given up finding a man as smart as me:)

That does sound really arrogant but I can understand it. It may be that at your core you believe you know what is right, and no one knows better. So you’ll never find someone that is as smart as you, because in your mind that meter is pegged at maximum.

But you still need someone you can respect. And remember that even if someone is not a smart as you in one way, they may be wiser and more capable in other ways that you can respect. Mutual respect is what is important in the end IMO.
Other cases geared a bit more towards HN folks:

- playing computer games where just the graphics card is using 200W-400W ("this has no use and should be forbidden!")

- using (and buying and making others buy) over-dimensioned hardware

- upgrading your hardware (desktop, laptop, cell phone) every 2 years

- three monitors

I certainly hope you're using public transport to go to work...
One additional bit of context on this. This is from Paul Pedriana’s blog. Paul passed unexpectedly last year. Among his many achievements, he was one of the key engineers behind the Sim City games and Oculus.
Problems with Media in One Chart
I think it's time to stop pretending that Western armed forces are anything but militarised white supremacist organisations spreading white power round the world.
I loved Tegel - mostly used the parking structure-turned-into-terminal barracks thing though.

Fast in and out, even with the X10 bus connection.

The main terminal was weirdly narrow on airside, but from memory apart from having to stand to drink beer was just fine.

I liked the currywurst carriage outside by departures if I was ever more than 30 minutes early for my flight.

Schönefeld on the other hand … grr. I argue that that airport was exceptionally poor in a way I’ve never experienced outside of corporate airports used for industrial and mining facilities.
Enjoying the podcast. I also remember having a ticket for BER a few years ago, ending up not landing there of course. I was there in May and it didn’t feel like a modern airport, it was pleasant but ceilings were low (after listening, no doubt an artifact of squeezing another floor in!) and signage for finding which train to take was terrible.
> These other apps had almost a year to fix themselves and they couldn’t. I guess they just couldn’t muster the capital to build something really solid.

They really didn't have time or money because everybody simply assumed Uber/Lyft would use their gigantic piles of VC cash to come back shortly and sweep everybody aside even at a loss.

And everybody was right.
That's exciting. I must be one of the few who actually liked Unity a lot, probably better than Gnome. From what I understand, a lot of the underlayment was 'hacky' and abandoned. While I don't like most NIH that Canonical does(snaps, upstart, mir), I really wish they'd have kept Unity.
The scalability of deep nets has made amazing progress since I stated working with them. Even just 5 years ago it was a challenge to train on multi-GPU, and training ResNet would take 24 hours on a standard GPU in those days. Now it's 10 seconds? Insane.
What an existentially depressing book though, at least for me. It was wonderful, and worth reading more than once simply because it helps absorb more of its deeply complex aspects, but without a doubt it creates an unusual emotional impact.
> the FCC does not directly respond to consumer complaints

I consider the chances of a personal response from the FCC to be vanishingly small.
Project Gutenberg is missing a lot of content that is public domain, and the oldest entries are often pretty poor in quality (and some of the oldest entries aren't lucky enough to get redone like Carroll's work has been).