skysight-inc/HackerNews huggingface dataset:
Development of anything substantial is an incremental process where parts must exist in an unfinished imperfect state for a time. Managing those priorities and letting parts exist as scaffolding and/or barely working stand-ins is a core competency of our field. e.g. You're not a perfectionist when you used expensive artist-produced "perfect" stand-in art instead of programmer art, you're just incompetent and wasting resources on stuff that won't likely make it into the shipped product.

I've seen many "perfectionists" hide behind this moniker when infact they're just incompetent when it comes to prioritizing what to do, how much to do it, and in what order.

You're not a perfectionist when you spent all your time making a "perfect" ECS at the expense of actually completing a playable game, when the latter was your actual goal. You're just a failure/incompetent. But "perfectionist" certainly sounds better for the ego.
Why life expectancy in the US is falling
There is a reason mathematicians prefer to talk about 'cardinality' rather than size.

Anyway if you want a set to be at least as big as its subsets and consider them to be of equal size when they're isomorphic then you kind of end up with cardinality as a notion of size. In some sense it's simply the best notion of size we have if all you have is the structure of sets.

There are of course other structures you could choose, like topological spaces, vector spaces etc. Those can fail to be isomorphic even when the underlying sets are, so you get a richer notion of 'size'.
Expanding, US phone numbers are xxx-yyy-zzzz, where x is area code, y is prefix, and z is number.

It used to be that you did not have to dial the area code if you were calling a number in your same area code. So if your phone number was 415-591-0726 and you were calling 415-327-0914, you could omit the "415" part.

The prefixes ?11 were reserved: 911 for emergency, 411 for directory information, 611 for telephone company support, 711 for TDD / relay for the deaf, then 511 for road conditions I think, and then 811 for "call before you dig", aka please don't backhoe our fiber optics.
I'll add this guy, who is building a 1:60 model 777 out of paper, with unfathomable levels of detail: https://www.lucaiaconistewart.com/model-777
Once you get to infinities, you can no longer denote the "size" of a set using naturals numbers, which is the typical usage of the word "size" (there are three apples in my basket and three is a natural number).

So to me this is just quibbling about the definition of the word "size" which isn't a productive conversation. Stop calling it "size" and give it a specific terminology ("cardinality") instead and the whole unintuitive naming problem is sidestepped.
The idea being that producing the biofuel took carbon from the atmosphere (in particular algae crops [1]), vs releasing co2 that had been sitting harmlessly underground prior to being burned. Does producing biofuel not pull carbon away from the atmosphere? Am I misunderstanding your point?

[1] https://researchportal.bath.ac.uk/en/publications/bio-aviati...
Thank you! Appreciate the kind words.
As another commenter points out: the advice is not contradictory only if you’re stinking rich, as the people who tend to write these posts tend to be.
First pictures of spacecraft taken by another orbiting Mars (2005)
There's so much lost that was in MUDs, including a huge amount of good, descriptive writing of vast areas. I wonder if a later iteration of the Dall-E / Midjourney / Stable generators might be able to create visuals based off of rooms descriptions.
There are basically no prerequisites to get a grasp of these ideas. I remember being introduced to this in one of Raymond Smullyan's book when I was a kid.
There is this app [1] which works well but is English-only unfortunately. Still looks cool though.

[1] https://github.com/abb128/LiveCaptions
> Summers are the best.

If you take nothing else from this repost, let this really sink in.

And for those of us in the northern hemisphere, you should have a plan by this point in the year for your work life to truly enjoy it when it arrives.
The latest and greatest engines are not that far from the theoretical thermodynamic efficiency limit. So future designs are running into the hard part of the asymptote.

I doubt airlines are actually interested in committing tens of billions of capital, today, to get a dozen % improvement in fuel efficiency a decade from now.

And why would a private investor take such a huge risk without guarantees of making it back several fold?

So it doesn't happen.
A SPAC is not "just a vehicle" for doing that. It's an intentional dodge to let companies avoid scrutiny but still go public. The use of a SPAC to do this automatically casts a bit of shade over the company.

But even ignoring that, going public itself doesn't bode well for the product regardless.
Wrong.

I can tell you specifically as an existing landowner in an area with a very healthy ecological preservation culture and strict conservation regulations, that we pay A LOT more on a continuing basis to maintain this, and it benefits our values a lot less than aggressive construction.

First, the "public services" you mention? Yes, we pay more for those, because they are maintained at a high level. Everything from good roads and maintenance, good levels of service, conservation commission with a full-time employees in a tiny town, etc. Those public services cost money, and we are the only ones who foot the bill. (Not complaining, but don't act as if you are free or paid for by the state, county, etc.).

On top of that, everything is also more expensive. Merely getting an exception to a rule to change where the front walk comes from the driveway to the front door required a $2000 engineering plan and $350 application fee for board approval (and that was to get a de minimus exception so we didn't need to get a $9000 survey) because a few feet of the stairs was within a 100' wetland buffer zone. We'll also have to take extra steps & costs during the construction to prevent any impact on the wetlands.

There are also town taxpayer funds created to purchase open lands for wild area and recreational preservation. Again, all maintained OVER TIME by the town;s residents, and no one else.

The original purchase price is meaningless; they are paying to build a better environment the entire time.

It has zero to do with "pulling up the ladder", and everything to do with not wanting to do things like putting a 200-unit condo development on top of a steep wetland species harboring endangered species, multiplying traffic on rural roads by a factor of 20+, adding unpaid burdens to local public services, etc.
> To illustrate, Rust macros are basically that. They have a substantially different syntax to normal Rust code that make it very difficult to quickly grok what is going on. It's a net negative IMO, not a positive.

Yeah, more like a syntax extension than macro. But I am saying that you need both. Some time you need powerful macro ability to extend the language. Sometime you just need templating to achieve the expressiveness. With LISP, I get it that you are programming all the time, never templating, right? But I guess you only appreciate templating when you use your macro system as a general purpose system . The benefit of general purpose macro systems is you only learn one tool for all languages, rather than re-learn the individual wheels. And when you judge a language, you no longer bothered by its syntactic warts because you can always fix the expressive part with your macro-layer.
> It's similar a phenomenon attributed to news: it's confident, and sounds plausible until the topic is on something you know, then you realize it's full of errors.

Reminds me of the "Gell-Mann Amnesia effect" (as penned by Michael Crichton):

https://en.wikipedia.org/wiki/Michael_Crichton#GellMannAmnes...

In short: trusting a source on topics you're unfamiliar with, but when the source talks about topics you are familiar with, you realize it's full of errors, but then turn the page and then trust it again on further topics you're unfamiliar with.
Or Gim Paint, and then we can argue over how to pronounce Gim. is it Jim or gimm?
Here's another one, apparently the author and maintainer of helm.el is a French mountain guide with no IT history.

https://sachachua.com/blog/2018/09/interview-with-thierry-vo...
It could be that the corpus ChatGPT was trained on is full of ‘confidently wrong’ answers from these ‘experts’. One solution could be to train these LLM on a higher quality corpus from real experts instead of random text from the internet. But would that just bring us back to the days of expert systems?
It's worth noting that R=2^N: reals is the set of all subsets of integers, simply because any real in binary form appears as a sequence of 1s and 0s that select a subset of N. And for some reason it's not possible to know if there's anything in between N and 2^N. This makes me think that infinite sets grow in discrete exponential jumps: N, 2^N, 2^R and so on. N seems to be the smallest infinite set.
Oh, man, I envy you the experience of seeing it for the first time.
i thoguth there are two types of infinities:

by there being no bigger number (classic logic infinity?)

and by 'construction' which boils down to cycles in graphs. even two nodes bouncing can do so forever. so then "bigger infinities" would mean that there are more nodes in the cycle.

i suppose this gets more and more interesting when adding geometry (which involves a basic logic), and then having cycles within cycles.
You'd be surprised how niche this sort of discussion is in neuropsych research. Is it because researchers aren't thinking enough about the big picture or because the NIH is incompetent and the researchers just go along with what they need to get funding? Idk, but either way it's not great. I suspect this problem exists in a lot of sciences but psychiatry in particular seems to have overcorrected for some of its less rigorous history.

That said, I don't think it's correct to say the scientific method can't apply. We absolutely have to be more careful about averaging over many people with different actual disease but the same current shitty label, and we also have to be better about looking at longitudinal signals. But there are ways to do this in a more scientific manner (e.g. involving well-defined testable predictions).

I agree that as part of this transitory period (especially with the sample sizes that most psych studies can feasibly get) there should be more synergy between qualitative human-focused approaches and what the by the book science people are doing. It's unfortunate how far behind research psychiatric practice can lag in some respects, and in other respects the psych researchers seem to not take practitioner observations too seriously these days.
Why is it impossible for Talyor Swift to ask that question herself? Because she is a blonde singer?

It is very common for someone top of one's trade to command respectable knowledge and skill in another trade.

Einstein was a decent violin player. It wouldn't be a surprise if he asked some deep questions in musics in certain circumstances.

Talyor Swift has got to the top and sustained at the top of probably the most competitive business, and keeps her wealth growing. She has certainly financial knowledge and discipline. I am pretty sure she is capable of asking that question.
Con-man literally comes from confidence-man, if you have no morality or even ego and your only goal is to answer a question then confident answers will be the result regardless of their validity.
Elon Musk threatens to sue Microsoft over using Twitter data for its A.I
> I really hate reading C++ so I really haven't checked any of the produced snippets for correctness.

So they're almost certainly wrong...
Show HN: Expertise Calculator for ChatGPT
Expert percentage calculator for chatGPT super basic, checks against 10,000-hour rule for expertise. calculates from launch of ChatGPT on 30th Nov and shows where someone is at rn and date they'll be classified an 'expert' - based on that rule. rudimentary doesnt come close, but kinda intriguing when you think about it.
I recently discovered you can call Netflix to ask them to increase your disc plan to at most 8-at-a-time. I bumped mine up to get the last rentals I can until the service disappears.

Sad times.
Quantized versions will pop up on huggingface very soon, if they arent already there. It takes basically no time, much less than something like a alpaca finetune.
One view of it is that owning a database of passwords is a massive liability in 2023. Both in the cost sense and the legal sense. Building/maintaining/securing it costs more than most people want to think it does (especially if you need to pay for regular external audits, which is mandatory in some industries). The legal risks if that database falls into the wrong hands are enormous. (There are plenty of class action lawsuits every year when breaches of passwords are discovered.)

It's very nice to externalize that liability/risk as much as you can. Hopefully standards like Passkey will help make that much easier to do without third party middle providers like Auth0/Okta/et al.

> Presumably there isn't a migration workflow away from these products, save for asking your customers to perform a manual action.

In my experience most third-party auth providers give you email addresses and correlating accounts by email address often does 80%-90% of the work. You can often script adding all your current user emails as users in the new system and give them unset/invalid passwords. You just can't prevent the need for manual password resets under the new auth provider, but often that is the only manual step and it is a common "Forgot Password" workflow so it will feel familiar/easy enough to most users.
I meant it in the sense that I assume GP meant it, i.e., the index of an element in an ordered set is an integer corresponding to its position in that set, starting at 0 or 1 for the first element (depending on your indexing scheme of choice).
Holy shit, combined with the above that is infinity times better. Thanks.
Lol this clown
BTW, I am working on an open source project that will generally make these ideas usable, at least useful for me: http://agi-assistant.org

No public code yet, but I will release it with Apache 2 license when/if it works well enough for my own daily use.
MySpace Music can be used as another example,

https://www.reddit.com/r/technology/comments/b2381s/myspace_...
I just see a reference to some "problematicus" species in the article, I wonder what it did to earn that troublemaker rap :)
All sorts of llama weights are on huggingface now.
This is pretty clear from the article:

“ Qantas stored 12 of its A380s in Victorville. There are now seven servicing the airline’s London, Los Angeles and Hong Kong routes, with another three expected to return next year following the completion of an extensive maintenance check and cabin reconfiguration process. The remaining two jumbos were left in Victorville to be broken up into parts.”
I will give it this - the cinematography is very very good.
Couldn't we manufacture more massive ones in orbit around the moon, since they won't collapse under their own weight? We'd need extra fuel to get resources or parts off the surface of the moon, but that's nothing in comparison to the fuel needed to get off the Earth.

Edit: I forgot the moon has a much lower gravity than Earth. It might still be worthwhile to build in orbit, but we can build a lot bigger on the moon than on Earth.
Could you share some data from your experiment?
Yeah I don't think we're getting there in our lifetimes, especially not with how neurobio/psych research has been progressing lately, but I agree it is theoretically possible. And along the way there are many imperfect models that could still be highly useful - I don't think replicable is a binary thing at this level of abstraction.
> the whole thing seemed to just bring out the worst sides of people

I wonder if it's still the case though. It's been years I haven't seen anyone arguing on my quiet feed. Maybe people have learned? or just deserted it?

Nowadays, the really toxic place is Twitter, orders of magnitude worse than FB has even been in my opinion.
How about slipping a bank teller a note:

Help, the man with me has a gun. He thinks this note is a robbery demand.
F5 to Layoff 9% of Workforce
We all have weird interest, it's the long tail.

Magic happens when you find someone with the same weird interest: emulation brings innovation through iterations!

Maybe someday I'll find someone interested in running Excel through wine rendering in Sixels within a terminal :)

And before you ask, yes I've enjoyed way too much reading about https://github.com/taviso/123elf and the history behind it!
I wonder if Larry David's commercial was written in such a dismissive / negative joking way because it would be easier to avoid litigation? "I wasn't promoting it, I was on the ad saying I wasn't going to invest..."
This idea of the low-hanging fruit being accounted for is also brought up in a post about rates of significant scientific discovery over time.

At any rate I still think his writing is great in general. Although I'm kind of bored of the AI obsession the rat-adjacent circles have.
> You'd be very surprised. Photography as a profession is near ly dead

We have data on this, the Bureau of Labor Statistics provides it: https://www.bls.gov/ooh/Media-and-Communication/Photographer...

Number of jobs, 2021: 125,600
Job outlook 2021-2031: 9% growth (faster than average)

> The vast majority of professional news photographers, whole teams, have been fired from all major and minor newspapers that used to have them

That's because no one reads newspapers any more, not because of automation. The internet + social media killed the newspaper, but it didn't decrease overall demand for professional photography.
Defining the number of items in a set requires the existence of natural numbers in the first place. (In typical set theory, people start with the existence of sets and then define natural numbers from sets.) And it doesn't help when dealing with sets that are as numerous as the natural numbers, or more.

That said it's not wrong to lump together all infinite sets and say their size is infinite. That's how third graders understand the size of a set anyways. It just isn't precise.
If you feel like chatting with others who also archive YouTube (and other) content, consider stopping by my discord server:
https://discord.gg/rgBHGm9mTC

We maintain a central list [1] of content that various members have archived, so that when content is removed from YouTube, people can direct inquiries to contributors who have archived that content.

It's a small way to keep track of what things have been successfully archived, and sometimes direct efforts to preserve specific content.

[1] https://tinyurl.com/v4rpe9w
We can maintain continuous internet connection from anywhere on the surface of the moon to Earth using 2 lunar satellites. Using more won't provide any advantages until its using a lot of bandwidth.
Time it's for real
Investment giant buys flats in Dublin’s Blackrock to rent to [civic] council
As per their new FAQ [1] you may request download of this data

> At any time up until October 27, 2023 a current DVD subscriber or former DVD customer whose DVD subscription was canceled within the past 9 months may download their data, via our Data Download (https://dvd.netflix.com/Download), which includes: Your queue, Your rental history, Your ratings, Your reviews

[1] https://help.netflix.com/en/node/130637
Virtuallyfun has a go at running DesqView/X... and now I'm shocked to see it was all the way back in 2011 !

https://virtuallyfun.com/2011/03/27/desqviewx/

There's also a long running ticket in dosemu2 around some issues with DesqView/X
https://github.com/dosemu2/dosemu2/issues/606

In some more years it will probably be working fine there.
I did like this article's note on that:

>Why do people all use pinecone to store like 10 things in memory
> It is very common for someone top of one's trade to command respectable knowledge and skill in another trade.

I don't think that's true. There are some popularized figures, especially ones who have become public figures through music, and then have had continued success, but those are just the pop stars. What about all the doctors or engineers who have found success in one area, and then think that automatically makes them experts in a different area, with disasterous results?
Makes you wonder. There must be a massive archive of satellite on satellite images somewhere and teams of people figuring out engineering capabilities/secrets from them.
One of the most celebrated silent film characters was, "The Little Tramp", featuring their misadventures in trying to stay alive and not starve, being an immigrant, taking on terrible and often dangerous jobs, etc.
The other element here is quality content - you probably aren’t just training on public internet data for commercial LLMs, hopefully you can train on scanned books too, and closed academic journals, radio transcripts, photograph stores, map data, codebases, technical documentation...
Open-BCI has had their Ganglion board available for years, and it is also open-sourced hardware and software. It's more expensive than the PiEEG, but this probably isn't as new as the headline suggests.

As discussed in a thread a few weeks ago, the hardware often isn't the challenging or expensive part of building a BCI system.

Electrodes and a softgoods system to reliably hold them in place comfortably is a big challenge.

The off the shelf pre-build components are expensive, uncomfortable, and/or unreliable (from our experience).

We're building a sleep wearable EEG headband which monitors sleep state and uses auditory stimulation to increase deep sleep in realtime (https://soundmind.co).

We started by working with the Open-BCI board. It was a good starting point, but once we tried to get it on our heads and sleep with it (not lying next to us on the bed), we needed to move to our own custom hardware.

That was not a big challenge. A month after that decision, we had a custom board.

But electrodes, and keeping electrodes in place, that's where the challenge is. Off the shelf stuff is either uncomfortable and expensive, or not of high enough quality to use in EEG.

We've had to not only design our own electrodes, but also the system to hold them in place comfortably while sleeping.

Many other BCI devices don't have the "sleeping" requirement, but it is still a PITA to get things going on an average users head.

Emotiv (also a local Sydney, Australia company) has some great devices which can be easily used - but I don't think they give direct access to the data.

By all means, people should play with the BCI tech, but just know that if you think you're going to buy a board, and use it in an environment where the person is not very still, you are going to run into lots of issues.
Moon orbits are very unstable. Maintaining anything so large there for an extended period would be difficult.
Authors Guild, Inc. vs. Google, Inc. (2015)
When your argument is "look outside" you should know it's so weak it's not worth posting.
Except in the US, the government is... us. Show up to a local city council meeting sometime and tell me how many oligarchs show up to shout down new development, and then tell me how many of your own neighbors show up to do the same. You might be incredibly surprised by whom you see.
PostNord is about a million times worse for me.
It would mass a lot more in orbit, since the moon itself is providing most of the structure for the proposed telescope.
Satellite-headlights: because the space-streetlights keep floating away!
I've been noticing that I'm much more likely to argue/fight with friends by text rather than in person. Not talking about social media, just plain old chat. Maybe because we miss real-life signals that help us adjusting the conversation.