skysight-inc/HackerNews huggingface dataset:
>Second, I think Godel's Incompleteness Theorem shows that there are arguments that not everything in math can be described by sets.

It doesn't. In fact it has no relation to what is and isn't a set.

The problem is that "can be described" is not a mathematical question* and neither is "set" a universally defined term.

You definitely can define a mathematical object which isn't a set in ZFC, e.g. {x: x is a set}, which is a universe ( https://en.m.wikipedia.org/wiki/Universe_(mathematics) ), but obviously it is not a set in ZFC.

Notoriously {x: x is a set} is a set in naive set theory (which consequently is an incoherent theory).

In a broad sense Category Theory considers objects which can not be sets under certain set-theories, but in a meta-mathematical way that is pretty much the point.

Of course the correct point the author is trying to make is that standard mathematics is founded on set theory and is essential to almost every area you study in mathematics. "2" is a set "f:R \to R, x -> x^2" is a set and so on.

*: Actually it is a mathematical question (see representation theory) but only makes sense if you ask whether something is representable as a specific set theory, which is not a precisely defined domain. N is a set in ZFC (or ZF-C) but definitely not in ZF-I, so "which set theory" is the real question.
This is fantastic. Perhaps similarly, I personally found it much easier to complete math problem sets after I began to write out an explicit list of steps of what to do.

For example, I broke down problems with to-dos, such as:

1. Find the definition for what math_term_X means in a particular problem.

2. (For breaking down part of the problem): Figure out how to show that a particular object is lesser than or equal to another project.

3. Write down headings for each case I need to prove.

...and so on.

Writing down explicit steps was far more practically helpful to me, than my previous conception of problem-solving from the quote about how Feynman solves problems (that is: "Write down the problem, think real hard, write down the solution"). Some people may not need to write down steps, but I was personally able to learn a lot more with a specific, more verbalized approach.

It's very neat and helpful to have a flowchart suited to any general problem, which I'll try out in addition to my current approach of writing down a list of to-dos for solving specific problems. Thanks a lot for sharing.
The "timeline" link in the article is broken (links to localhost:4000), correct link should be

https://ionathan.ch/2022/04/09/angzarr.html#summary-timeline
That's an interesting take! I'm still early in my career and I ask with genuine curiosity, but why do you think "clean code" has a bogus meaning?
If you look at the chart in the essay, you'll see that though there were lots of what I called 'proto-smartphones' before the iPhone, and enthusiasts (like me!) loved them, the actual user base was tiny. SMS was huge, MMS was a rounding error and very few people were doing anything else. I was a mobile analyst - I even went to the actual S60 launch event where the Nokia 7650 was announced - and then worked at a telco, and I wrote some more about this a few years ago. https://www.ben-evans.com/benedictevans/2016/2/19/mobile-sma...

(Also, Blackberry was big for UK teenaged girls due to free BBM)
It doesn't have to start until it is published or otherwise commercially exploited.
> Measure changes in something the test subject isn't expecting and wouldn't realize they need to fake? E.g. if you had to sit in the waiting room for 5 extra minutes, your test score changes like this.

I can discard this by saying "well, the subject might behave subconsciously differently when they know they are in any experiment". How would you refute that?

> Measure differences below conscious control, like reaction speed to positive/negative/etc words after exposure to certain inputs.

What if there are phenomena that don't correlate with the differences you know to measure?
You think this is bad - just wait until Google decides to retire 8.8.8.8!
Collaborative beat machine demo using Deno's KV distributed cloud database
I used Deno's (a JavaScript runtime) upcoming key/value cloud database feature along with their web application framework "Fresh" to bootstrap this in about 5 hours. I found the developer experience using all of Deno's tooling both rewarding and intuitive.
> Here is another common argument:
SQL was designed with 1970s businessmen in mind, and it shows.

That is a funny way of looking at it. I see that SQL is based on the work of a computer scientist vs DSLs being made by hobbyists, and it shows.
Reddit's CEO Says Third-Party Apps Add 'No Value.'
For data in databases I prefer crusty and outdated
Is there a footer on infinite-scroll google?
It's time for filesystems to escape the latin alphabet. ΩFS anyone? ∞FS?
If you aren't the copyright holder to the work you are presenting you can't counter-assert your rights to publish against the takedown claim.

I don't get how this applies to this situation. Since the copyrighted work isn't being "published" outside of the physical computer.
This is why I taught my kids to sing the alphabet forwards and backwards. If you sing it forwards it can sound like you are saying "elemental pee" which sounds scientifically interesting but doesn't help anyone learn what that letter is supposed to look like.

We used wooden alphabet puzzles as a guide so it could reinforce the idea the you are saying L-M-N-O pretty fast.

Since the ABC song is one of three songs that use the same tune it is easy to teach an infant or toddler their alphabet as you sing them to sleep.

The ABC song, Baa-Baa Black Sheep, Twinkle, Twinkle, Little Star all use the same tune.

Add in the backwards ABC's and you get four songs sung with the same tune so that the whole thing becomes tonally monotonous and soothing and it will tend to relax your child as you rock and sing.

With practice I got pretty good at mixing verses from these four songs on the fly so that the song eventually morphed into a single tune with disconnected lyrics. I used it as a challenge to keep myself awake while I rocked them to sleep.

For grins, the Backward ABC lyrics are:

Z, y, x, w, v, u, t...

S, r, q, p, o, n, m...

L, k, j, i, h, g, f...

E, d, c, b, and a.

Now I've sung them backwards to you,

Can you sing them backwards too?

Pretty easy to see how each letter breaks free of the original forward limitations.
A Chinese YouTuber has traveled to a company who wouldn’t take the GPL seriously [0]. I wish more people had the nerve to do that instead of letting it slide.

[0]: https://www.youtube.com/watch?v=Vj04MKykmnQ
For Lisp I would recommend Edi Weitz's CL-PPCRE: https://edicl.github.io/cl-ppcre/

Pretty much anything else from Edi Weitz is also great.

Mezzano is quite elegant in my opinion, especially for an operating system. For example, this is the USB mass storage driver: https://github.com/froggey/Mezzano/blob/master/drivers/usb/m...
Binance, SEC strike deal to keep US customer assets in country
That's probably because the last thing studio execs (and gamers, who eat up so much shoddily written garbage) care about is writing.

If gamers rewarded well-written games, and avoided poorly written ones, pitches would focus a lot more on writing.
Millennial Dad culture – what dads are wearing, reading, and talking about
Also on the edge of my seat here, wondering what field it could be from. My ChatGPT-esque BS story is that this symbol was misplaced alongside more abstract math-y symbols and was actually briefly used in schematics to identify "lightning conductor" components shown here https://electrical-engineering-portal.com/wp-content/uploads... ... plausible, yes?
This is the type of interview question I hate. You’re basically selecting for candidates who care about the same problems you do.
Redis is a popular answer for C, and I agree.
No, Linq is *not* in any way like Haskell's `do`.

Linq is a (reasonably) compromised, non-referentially-transparent, implementation of a restricted form of relational-algebra with side-effects permitted, so I'm not comfortable describing Linq as "monadic".

Whereas Haskell's `do` is strictly monadic.
8.8.8.8

0.0.0.0

Google or Cloudflare. Both have fewer outages (IME) than Comcast. It just depends on who you want to share your web history with. I've seen Comcast lose DNS in the past even though the underlying transport still worked. It's bad for someone not technically able to change their DNS settings.
Yes. And it was as much an act of oppression and "supremacy" then as it is now.

"White nationalists" are really just "supremacists" attempting (unsuccessfully) to avoid the negative implications.

Oppression of "non-whites" is implied by their stated objectives since it is the only realistic way to achieve them.
That's fascinating - thank you!

He's describing a phenomenological as opposed to analytical approach.
Thanks for your feedback! Delayed e-mail can have of course have many other reasons than the service supposed to send it being down. But let's go with your example. Let's say you have a LoginService, and a MessagingService, and if you request a password reset, the LoginService sends a ResetRequested event. Now if the MessagingService is down, you'd still get told to check your inbox, although the e-mail hasn't even been sent. That's a bad user experience. Agreed.
Your suggested solution is to make the communication between LoginService and MessagingService not event driven. So if the MessagingService is down, you can "hard error". But how much better is the experience then, really? As a user, you request the reset, and after a few seconds (you're already annoyed and checking if your internet connection is down), you get an error message that you can't reset your password right now. I'd argue that option is equally unacceptable.
What you need to do, is to make the MessagingService better. In an event driven system, each participating service makes a promise. The MessagingService must give service level guarantees, it must be built and scaled to be able to process all the events it's listening to. If it has an error, not you should get the error message - you are the last person able to do something about it - but someone who fixes it. If you want a better user experience, don't build unreliable services and then apologize for the inconvenience. Built better (more reliable, more scalable) software. In the end, that's what event-driven architecture is about.
"my own people" in this case means "people that look like me, and have a somewhat similar culture/lifestyle". So obviously it is a bit unclear and you won't be able to get a perfect list of allowed/not allowed group, but it does not imply inferiority at all.
> That's not the only option. Why is it the only one you can think of?

It's not the only one I can think of, but no other options have been presented to me. I have been asking for solutions, but nobody has provided any that can't be dismissed on the same grounds.

> I mean, where are you going with "Our only options are to draw the wrong conclusions, or to stop studying it altogether"?

Where did I write anything close to that? I am not saying anything about drawing conclusions, I am literally asking: how would you design a test that measures the proposed problem? Why are you accusing me of advocating for "drawing the wrong conclusions"?

It's incredible how many people want to read my comments as advocating for something they are not. If you feel attacked because I'm asking how we could measure your idea, maybe I'm not the problem, but your idea is?
And then all these sites will start implementing LMO (language model optimized), and we will lose it all, once again.
Neither does a filesystem snapshot unless the snapshot is aware of every application's consistency semantics. You can't simply assume that every flush() or other write barrier means that the application data is now in a consistent state on-disk.
Are chiplets enough to save Moore’s Law?
If you thought the support was bad when you get locked out of your email account just wait until you lose your keys.
I suppose it's infinitely composable in that very limited dimension, but SQL's critics are asking for composability in other dimensions. For example, say I have a pretty long query of some Order table. Now I want the exact same query, but it should start from the OrderArchive table instead. How do you do this? Dynamic SQL? The world has lambasted Javascript for much less, but somehow the fact that so many tasks require dynamic SQL (or copy-paste) is considered acceptable.

For the record, I make heavy use of SQL because relational databases are awesome and SQL is the least bad option I've found so far. But the many shortcomings of SQL still annoy me.
For the overwhelming majority of cases, the difference is one is the motte and the other the bailey. Maybe there are some out there that are truly nationalists without feeling superior, but this has got to be very rare. If you didn't believe in supremacy (even just feeling culturally superior) why would you have a problem with people coming in? You'd only be a nationalist if you feel you'd lose something and end up in an inferior position.
Good Vibrations
Can someone explain to me how the title as it appears here relates to the linked paper.

"Therefore, the Mini satellites are fainter than Gen 1 Starlink satellites despite their
larger sizes.
"

OK, but no mention of "the brightness reduction target recommended by astronomers" anywhere. If there is a missing source please can we see it?
The last 20 years have made it obvious humans seem pretty apt at collapsing reality models without AI.
Shoot! I only have 511MB of RAM. Time to upgrade and get that AI!
seems unlikely to me. it makes much more sense to me that how and why we behave as we do is a function of the mechanisms in our brains and bodies.
How to Create a UTF-16 Surrogate Pair by Hand, with Python
Surprised to hear that teams are having weekly 1 on 1s for project updates. Is that actually common in the industry?

Always been in environments where they are run every 2 to 4 weeks and focussed on personal growth, career development, motivations etc
I've been looking for an alternative to Divvy because I've wanted more features, I'll give this a shot. Thanks!
I have had the opposite experience with every python team I have interacted with.

On top of it being slow and brittle, dependencies break, needlessly destabilizing stuff.

Worse, the python team ends up having the hardest job, due to self-inflicted problems, so it either ends up with junior devs that don’t know better, or bitter senior devs that could be 10x more productive doing something else.

As always, it varies from company to company, but this is what I saw on four teams out of four at multiple companies.
> I agree that patents are odd here, but the solution isn't to patch in more power to bureaucrats over the top of the other power.

What is confusing here? The entire structure is already a perversion of the natural world.

If we did not have our government, and the rules that it enforces (those "bureaucrats" you don't seem to like), then there is no "invention" to be nullified.

They already have this power. They enforce it through violence and imprisonment (tools reserved officially to the government). If the bureaucrats want your idea - they will take it, because they are the only thing stopping them from doing so.

The question is not: "Will the government nullify my invention?!?!?". It's - "What might my life have been like if the government did not restrict SO many people from competing at all - by artificially stopping them from using the tools and ideas they see around them? (for fairly ridiculous time periods)"
> The Reid technique has been used by law enforcement to convince criminals of confessions. Many confessions were found to be false.

This is one reason among many why it is a serious question to ask whether a confession increases or actually rather decreases the likelihood that the culprit commited the crime.
> 0.0.0.0

1.1.1.1
Ok so instead of Stack Overflow writing 80% of the code it is now Copilot. Got it.
It was $600 without a telco subsidy, which was a mistake, and one reason the first model really didn't sell. Then it went to $200 with subsidy in the USA (more complicated elsewhere). I presume you know that '$0' feature phone was actually $100 or so but subsidised to $0.
Telling someone to "delete your .git" is actually TERRIBLE advice. This should never be necessary unless you go screwing around in .git and break internals. It has a high probability of causing irreversible data loss. It's exactly the worst habit to build if you want to start collaborating.

If your repo ends up in a weird state, learn how to fix it. It should not be terribly complicated, especially if there is no rebasing happening.
A better user experience adds no value to Reddit since the users are not what bring value to reddit- it's the advertisers and investors.
> 0.0.0.0

did you mean 1.1.1.1?

https://en.wikipedia.org/wiki/0.0.0.0
Uber wrote a blog on using Clickhouse to store logs: https://www.uber.com/blog/logging/
Brightness reduction is nice but it's still important to also consider the energy required to keep starlink running: https://twitter.com/rdrimmel/status/1563158073694310401
> I’d place it into the look-it-up-if-needed category.

Knowing how to use git bisect is what elevates a programmer to the next level. Just understanding how it works gives you a new way to reason about bug finding and fixing (or feature development using old and new), and then actually using it can make you a bug fixing master.
I guess you missed this recent news story: Starlink v2 reached the brightness reduction target recommended by astronomers

So we can now have both. Africans can have their satellite internet, and astronomers can see their dwarf stars. Both should be satisfied so what are you so bitter about?
Flan-T5 models perform really well, considering their size. In my experiments and in some recent papers, they are very close to 13b Llama for example: https://twitter.com/YiTayML/status/1668302949276356609
I might catch heat for this, but I disagree. I am an investigative reporter who covers law enforcement and crime. While I have uncovered and exposed serious wrongdoing, my general experience is that an overwhelming majority of those in power are decent human beings who are trying their best to improve the communities they serve.

I often receive tips from police officers regarding what they perceive to be misconduct. I always investigate those tips.

Sometimes, it's bad. And sometimes it's really bad. But oftentimes, it turns out that everything was fine, and the tipster didn't have all the information necessary to understand what was happening. I'd be happy to share an example if you'd like.

I am not an apologist for bad actors. I have exposed them and I am will continue to do so. But I have to acknowledge my full experience. I interact with government officials and agencies every day, and the more insight I have into government, the more confident I am that power does not corrupt nearly as much as some people think.
https://archive.is/hcDbC
Starlink brightness concerns are mostly for around dawn and dusk. During the night, since they're pretty low, they're mostly in complete shadow. However, the darkness design is for operational altitude and attitude; during orbit raising, they are in an unusual mode.
It takes hours to explain to some what variables are.
I totally agree, but I don't think the reason has anything to do with what god would think, actually. It's about trying to put yourself in the mindset of christians throughout history. That something of the original last supper is preserved in the celebration of mass today.
I think a bigger issue in this case might be there public defenders are oversubscribed and sometimes not acting with all the vigor one might wish.
Exactly. Dig into what they know!
Please explain then the Scripps CO2 trend line? These measures are taken at some of the most remote places on earth. I would know because I personally collected atmospheric samples at the Alert, Nunavut sample point. The fact is we have drastically changed the composition of or atmosphere to include more CO2 and the physics is clear on the effect that has on the amount of heat retained.
Tencent doesn't own anything worth stealing. If I suddenly found myself as the owner of TikTok I think I'd be terminally embarrassed.
my point was highlighting the incoherence of appealing to tradition
Do we really need journalists and readers spending effort dwelling on the intellectual distinctions between white supremacism and white nationalism? Is that a topic of discussion our society needs to focus on? What practical difference does it make in describing existing political movements?

If there were some white nationalist group that espoused moving to predominantly white countries (or really starting their own country [0]), while being completely tolerant of the domestic state of affairs and distancing themselves from those who seek to turn this has-always-been-diverse country into their desired ethnostate, then perhaps the distinction would be relevant. But lacking that, it's a distinction without a difference.

[0] I don't know that there are any countries that are predominantly "white" but not better defined by a more specific term. It would seem that "white" nationalism is itself the product of "miscegenation" between various traditional nationalities. Nobody really balks at "$traditionally_white_nationality pride", or even larger pan- terms like European or Slavic pride. It's the attempt to take credit for nothing more than a lighter skin tone that is the problem.
Crunchbase Mobile App Update (December 2022)
are you part of the gigabrain team?
I’m not sure it would be much shorter with some other version control program. Merges, rebasing and bisect are fundamental to what version control does.
Some pretty clever friends of mine are firmly on the "fake news" fence with regards to climate change (and some other similar issues).

I've given up on changing their minds. No matter how deep I analyze their data and point out the flaws, they won't budge an inch.

Probably even total global destruction would not make them reconsider. It's become tribal at this point.
I get a weird colored-card-based layout on mobile when they run out of normal search results.
I'm not sure this is so much a company town as Google is trimming its mega in-person office footprint.

The bay area is in dire need of housing so I'm all for more homes getting built. 15% set aside for low-income housing too which is a good thing.
I don’t think it is reasonable to expect for a person on in a sort of informal online conversation like this to be able to define a bulletproof experiment for the topic.

Let’s apply a similar logic to something that is clearly possible to design an experiment around. How about detecting neutrinos? If we were commenting on an article about detecting neutrinos by dropping a piece of paper and seeing if it bounced around a bit on the way down, I think we’d all identify that as not a very good experiment. But, I could not design a very good experiment for detecting neutrinos. And, this doesn’t say much about whether or not neutrinos exist, I’m just not a physicist.

So, if posed with that question, I would not have a good response. Despite this, I would still believe the dropped piece of paper experiment was not very good.
Esperanto – Frequently Asked Questions
> I don't really understand why one would pirate an open source project... Just use it according to the GPL license. Redistribute the modified code, and leave the attribution to the code authors... Is it that difficult?

We have more than enough examples of commercial companies using GPL software without contributing back that I have to assume this question is rhetorical by now.
Paul Graham already made a tweet a few months ago addressing this issue, saying: “We can't all use AI. Someone has to generate the training data.”

You can find the related thread (603 comments) here https://news.ycombinator.com/item?id=35159447