skysight-inc/HackerNews huggingface dataset:
> Twitter could just add people to their own block list

That won't work because a spammer can create tens of thousands of accounts per minute.

Next thing you need is "real-life identity" verification and then you get yet-another-facebook.
Let me ask one of my co-workers and I'll get back to you on that, they seem to be a professional at this.

There are many things in nature exist in a spectrum and I don't think machine intelligence should work any differently. Many higher animals have the ability to recognise the same species as themselves. A smaller subset has the ability to recognize themselves from others in the same species. Just because they recognize themselves this isn't some immediately damn the creature into an existential crisis where they realize their own mortality.
I'm not sure what form it will take exactly, but I would say my life's work is to live as fully into my values as I can.

I used to just want to have a nice job with autonomy and to be able to work from home, until I got it and I realized that it wasn't as fulfilling as I thought it would be. I had security but I was disconnected.

There is so much disconnection in the world. We become disconnected from ourselves, from others and from reality. I think that it causes a lot of trouble for people personally and for society at large.

I used to be a complete introvert and would become overwhelmed easily. Now I truly enjoy meeting new people and being put in new situations. I want to help other people with their personal development because I see it as the greatest lever for creating a more connected humanity. I love development but this is what I'm truly passionate about.
Typically a mortgage will require the buyer to intend to use the property as their primary residence. If you want a loan to buy a house you intend to rent, you get a rider on the mortgage to that effect. So it is in the public records, if you used a purchase loan.
Another view of this is just that they've very effectively captured the value created by the workers of those companies. Rather than wait for them to accumulate that value personally then tax it, we could limit how and how much value accrues to individuals who run companies.
I wonder how bad 2038 will be. Real talk, I expect a lot of servers to go down.
The corporation would actualize the income as profit at some <=1Yr period, where it would be subject to corporate tax. Not saying your idea wouldn't work out best tax-wise, but that you'd still need to run the numbers. I'm pretty amateur at accounting, so I don't know.

I do get a kick out of the idea that these guys basically revolve a lot of their life around developing DF. I wonder how much of their lifestyle could be legitimately expensed from a corporate account without any IRS hassle.
Yes he is. I saw what kind of a person he was 4 years ago after I started following TSLAQ on Twitter and got exposed to information about him that was never surfacing the media.
One theory about the development of writing goes as follows:

- always take inventory by counting stuff in the warehouse

- make clay tokens (1:1 with warehouse items) and keep them in the office (now you know when things in the warehouse get legs and walk away)

- keep the tokens in the office in sealed clay balls (so someone can't five finger discount out of the warehouse and pilfer the right number of office tokens)

- make marks on the clay balls (1:1 with the tokens) so you don't have to keep making new clay balls each time you break open the old ones to check how many things they represent.

- realise that, by transitivity, the marks are 1:1 with things in the warehouse

- refactor the legacy system and just make marks on tablets (which, as a bonus, are more easily filed than balls!)
Energy, War, and the Crisis in Ukraine
It's not just "work on open source." It's "work on your open source project, for which you're already a maintainer."

You don't just get paid to work on whatever project(s) you want for 10 weeks.
Those times are wildly inaccurate on modern hardware with modern python, fwiw.
Maybe because there's not really anything of much interest there? Do people get bored with these vacuous "revelations" and fake controversies?
Ask HN: Picking up where you left off strategies?
I often start to learn something new or start on a new project and then a fire drill happens. I have to drop everything and context switch.

When I get back to the learning or the project, there is some friction to picking it back up where I left off.

What strategies can you suggest that would help speed up the process of picking something up where you left off and being able to hit the ground running?
"We said we were going to do something, and then we didn't."

Isn't that the textbook definition of false advertising?
I would report all the other accounts as they can present a security threat. This should be private information in the first place.
Show HN: Create AI-generated animal portraits of yourself
Fusion can give us 10x our energy need. Imagine a world where energy is simply not a blocker for anything.
Total power radiated by a black body per unit surface area scales as T^4 (in Kelvin).

So for black bodies with identical shape and linear dimensions R1 and R2, with identical power production per unit volume, both in thermal equilibrium with whatever is outside them, you would expect:

R1/R2 = (T1/T2)^4

(because setting power produced equal to power radiated gives R proportional to T^4).

Pretending humans are spheres with radius 1m and the sun is a sphere with radius 7*10^8m, you would expect the sun to have ~160 times the temperature of a human at equilibrium in vacuum. It's going to be lower because not all of the sun is power-producing, of course. But higher because a human is not 1m in radius. And again higher because humans are not spheres and lose heat more than a sphere would for the same volume (more surface area).

The sun is about 6000K on the surface. That would give us ~40K for the equilibrium temperature of a human in vacuum, which at least seems truthy.

TL;DR: the sun is big, with a small surface area compared to its volume, because it's big.
A good MVP consists in releasing something a few people desperately want, rather than something many people vaguely like. So right now, I'm not sure they're going at it the right way.
What the the prompt to make the database tables?
After using chatGPT for relationship advice, to help a friend generate a City Green Building Code, and how to politely decline my mother’s clay holiday art gift, I have come to the conclusion that the skills my kids will need to succeed in life are:

1. To ask the right questions

2. To exercise good judgement

These are, to my mind, durable human moats.
> Moderation is best implemented by algorithmic choice.

Here's an idea: moderation is best implemented by everyone. You follow well-known algorithms after initial register, then you can tweak the algorithm or apply algorithms made by others.
The same reasons given[1] for "why write clang when gcc works fine", mostly? Multiple implementations of a language force rigor in the specification[2], find edge cases in implementations, and promote healthy competition in performance.

[1] The good reasons, anyway. Please no GPL screaming.

[2] Something that IMHO rust has historically been kinda bad at. Even now there remains no clear specification I can find that explains exactly what behavior the borrow checker will admit vs. reject.
His commitment to his free speech is unwavering.
I've had the same experience - far less sickness. I've developed better health habits as a result of the pandemic. I wash my hands more frequently. I wear a mask in public now during the flu season. It's all really helped. Other than getting a minor case of Covid (presumably minor because I was vaccinated and boosted) I haven't even had a cold since the pandemic started. It's been a real wake-up call for the easy steps we can take to prevent sickness.
Aviation has all sorts of s/wonderful/terrible naming and encoding going on that's very historically dependent. What's the code for rain? RA of course, makes sense, English is the language of aviation after all. So mist is... wtf, mist is BR? Because brume is mist in French and the French took the lead in aviation for a bit early on because of a US patent battle.

Or transponder codes. It's four digits, but not really, they only go up to 7. Why? Because the system is descendant from WWII IFF systems and 4 octals was good enough for the system design back then.
I have read the “revelations” and… they weren’t that interesting to be honest. Pretty much what I expected.
Thank you for your ad hominem attack reply, it added nothing to the conversation.
They didn't say "fork of Electron", rather Electron is essentially "Chromium - browser UI" so they are saying there is a simplification to be made in an app that is "Chromium - browser UI + browser UI"
but he wasn't forced... he could've been but we will never know.
It depends on the types of constraints you have, the precision you want, and the sparsity of the system.

For example, for linear equality constraints, one general approach is iterative refinement [1]. If you are using floats/doubles and have dense systems, Lapack has implementations at some precision levels [2] (although not necessarily those you want).

For arbitrary precision, maybe look at MPFR matrices in flint [3].

If you have sparse systems using doubles there are papers on iterative refinement in suitesparse, but I don't know if the implementations are public.

If you have sparse inequality constraints, you can try SoPlex [4].

[1] https://en.wikipedia.org/wiki/Iterative_refinement

[2] https://netlib.org/lapack/explore-html/d7/d3b/group__double_...

[3] http://flintlib.org/sphinx/mpfr_mat.html

[4] https://soplex.zib.de/doc-1.7.0/html/IR.html
How long before we Club Penguin it and get it to speak in double entendres using perfectly normal language that has terrible meanings if took in a particular manner?
"was"? It still seems like a confused mess with lots and log 'security' that people ignore
These are our observed latencies for their risk checks after sending millions of orders per day for months at a time (which doesn't sound like much, and isn't much, but is the entire order rate that they gave us while we were doing 0.5% of the maker volume on their exchange).
Hey, Hacker News friends! I'm so excited to share my first launch here as an indie developer with all of you.

I've been having a lot of fun playing around with AI image generation over the last two weeks, and I wanted to combine this trend with something meaningful - so I decided to support wildlife preservation. All profits are donated to reputable conservation groups that devote at least 80 percent of the money to fieldwork.

I'm using Midjourney to generate these images as it gives me the highest quality results (IMO), even though it requires a bit of manual work since there's no API available. I'm planning to add more animal styles each week, trying to get to 100 before next year.

I hope you like it!
The FAA requires that most planes transmit ADSB-out. ADSBexchange aggregrates those transmitted signals and displays them online.
How do you know this is the same person?
Do you have any actual examples of this? Because all the journalists I've seen on this topic have gone to great lengths to point out that for them the bluecheck wasn't a status symbol - it was a feature for twitters users to know who was verified. Swisher has ranted about this a few times - she couldn't give a shit about her bluecheck it's valuable to twitter, not her, and she was supportive of Musk until the homophobia.
It's already public. It's just ported over to Twitter.
To put a fine point on it, he believes in naïveté: People will argue about over what is said (regardless of contradictory behavior) because the general populace will spend their effort supporting their belief system for/against the argument than acting on the contradictory behavior.

Recognizing his actions are contradictory requires a higher level of abstraction.
The best part of my garden, by a mile. If you enjoy wildlife and have a boring coin in a sunny place just do it.
Given that the biggest grumbles coming out of conservatives is that they think Biden raised gas prices to make them buy electric vehicles, I don't see them lining up to buy Teslas anytime soon no matter how many Twitter liberals Musk puts in harms way.
Paper – Educational Opportunities and Challenges of AI Code Generation
You're certainly right that overflow isn't special to numbers, but my disdain for ids being treated as numbers mostly revolves around how common incidents like this are and how often a safe decision results in tempting developers to make unsafe decisions for api consistency.

Suppose you store your ids as a 64 bit number in the database, that's plenty of room, we shouldn't need to put an alarm for when we're reaching the end (although operationally you might want to still) - it's 9,223,372,036,854,775,807 when signed and 18,446,744,073,709,551,615 unsigned. That's a fine, sensible decision to make at the database level. Now suppose you have an API that interacts with these ids in the database and exposes them down to users in JSON. Javascript (and JSON by extension) numbers aren't integers they're double precision floating point numbers -- quick pop quiz, without looking, what's the maximum representable integer before you lose integer precision? Do all of your APIs work with auto increment numbers (which should still be safe) or are some of them vendor supplied, like UPCs or ISBNs? Will your developers remember this when they make a new API or will they look at an old api and think "it's a number there, I should match it"? Do some vendors front pad their numbers with 1s (this happened to us)? There are a lot of variables here and one big juicy thing developers want and know other developers want - consistency of rules. So I'm offering an easy, consistent rule:

Store it however your database lets you store it compactly, know your limits, set alarms, stop apologizing for database lack of features, but MOST IMPORTANTLY: insist to your developers that its type in code is a variable length utf-8 string, regardless of it's contents. Overflows happen, you need to accommodate them at business logic levels all the time, but stop letting developers trust numbers as being self-bound. They're not numbers in the URL, they're utf-8 letters in a string. They're not numbers in JSON, they're utf-8 letters in a string. Give them an a function that verifies the format of a string and stores it however you want in the database, but stop treating IDs like numbers even if they're numeric.

That's my opinion. Not that ints are a bad db row type.
The problem, as far as AoC is concerned, is that Lisp tend to produce lisp-like DSL, so won't match AoC specs. Then again AoC specs are simple enough that you can still get away with using Lisp.

Obviously, the OP targeted their language for AoC because, come on, whoever would want to have the ability to swap the precedence and meaning of operators? That would be a fresh hell that would make early-90s abuse of operator overloading in C++ seem like a joyful time.
If he was actually this conniving then he wouldn't have bought Twitter in the first place. He's going to lose billions of dollars on that deal.

It seems obvious to me that he's a standard very online right-wing reactionary. People don't want to believe it because he's the electric cars and solar panels guy, but the new reactionary right doesn't care about climate change denialism anymore.
> Or Safari of course, it's really a great browser if one's on the Mac.

The venerable iCab or new Orion from Kagi shows what's possible here.

https://www.icab.de/

https://browser.kagi.com/

Kagi's Orion runs Firefox and Chrome extensions, including on iOS, and of course works with Kagi search, which is enough better that it's worth switching from Google/Bing/DDG.

---

EDIT to add, on iCab, it's been updated as of 2020, which unfortunately finally dropped the legacy Macs, but does support modern filter lists:

iCab 6.0 (September, 28th 2020)

iCab 6.0 is completely rewritten, therefore there’re many new features and existing many old features have changed. The new release uses the newer modern web engine of the macOS which is much faster and smoother than the classic engine that was used by older iCab releases. It also supports more web technologies.

Because the modern web engine had too many limitations under macOS 10.12 and older, the minimum macOS release for the new version of iCab is therefore macOS 10.13. Older macOS releases are no longer supported. This has the advantage that iCab can now rely on many native macOS features which are only available in newer macOS releases.

iCab now uses the native „Tabs“ feature of the macOS, so the tabs in iCab will now behave just as the Tabs in all other Apps using the native Tabs feature (like Safari Mail, the Finder etc). All the capabilities of the macOS to manage tabs are fully available in iCab as well.

iCab is now using the native filter capabilities of the modern web engine of the macOS. Therefore the filter manager is completely new. The new filter manager supports the popular filter lists from AdBlock Plus, Easylist, uBlock and compatible. The filter manager window provides a few links to web sites where you can find these filter lists. using the „Add“ or „Subscribe“ links on these sites can directly import these filter lists, but you can also simply download these lists into a file and then use the „import“ feature of the Filter Manager to import these files.

iCab 6.0 supports syncing of tabs, bookmarks, reading list, filters and search engine via iCloud. The iCloud sync is compatible to iCab Mobile for the iOS platform, so you can now sync all this data between iCab for the Mac and iCab Mobile for the iOS as well.

The new web engine provides more control over audio and video playback. It is possible to immediately stop all audio and video playback with a certain menu command. But it can also make sure that audio and video playback only occurs on the active tab.

Modules of the module manager can be put into the status bar, so these modules are directly accessible very fast and comfortably.

The App supports private tabs which do not save any private data (Cookies, Caches etc). Private tabs are marked with a red border around the address field.

And much more
No you wouldn't. As far as I know VPNs aren't blocked even with the "adult content" filter enabled on your account. So yes you can bypass it if you know what you're doing.
I think Elon is/was trying to bring back the "glory days" of the internet where free speech was the driving force behind tons of early internet projects. Seemingly everyone was onboard with the internet being humanities bastion of free speech and that had to be protected at all costs.

Then the wild west internet was developed into a city and well, you just can't walk around shooting your gun wherever you want anymore. And changing the law to let people do that isn't going to bring back the wild west, and is more likely to just cause a bunch of chaos.
I'm willing to bet they're not afraid of legal concerns, but PR nightmares like Microsoft with Tay a few years back.
All in all it seems you have been very fortunate and are in a good spot now. I am happy for you. And thanks again - I have never communicated with a millionaire before : - )
mRNA cancer vaccine slashes melanoma recurrence
The History and rationale of the Python 3 Unicode model for the operating system
Show HN: iPhone Camera + Google Maps = Vlogoscope
I support free speech and consider myself a libertarian, having much in common with the populist-libertarian-right, and the civil-liberties-left.

But tracking a flight like this on a regular basis to this intrusive a level strikes me as downright creepy and personally invasive.

Are you going to track the locations of his vehicles and where they park next?

An alternative argument - if we're going to do it to him, maybe we should do the same to everyone (which is crazy because no one cares that much about random plane movements from rich guys unless they are politically connected, or green hypocrites, or involved in some crime, but Law Enforcement protects this data etc)
> No one has had their engineer title taken away for being a crook, as far as I know

This seems an absurd claim, unless you're going to get very pedantic about some distinction between "engineer title" and "legal right to function as an engineer".

> https://montreal.ctvnews.ca/engineer-s-licence-revoked-after...

This is one example found after just a few seconds of searching, but it is absolutely commonplace to have your engineering license revoked for carrying out criminal activity.

> In those jurisdiction where it's a protected title, it just implies that you have some mix of STEM topics in your degree.

This seems a bizarre claim too. In jurisdictions where membership of a professional licensing body is necessary in order to refer to oneself as an engineer and practice as an engineer, it is absolutely not the case that all you need is the right "mix of STEM topics in your degree". It means you have a certain degree, have completed a set amount of work experience, have completed a professional certification exam and then maintain that license, which may require meeting other requirements periodically. And yes, "not being a crook" is certainly one of those requirements, and being involved in major criminal activity, especially criminal activity related to your professional practice, is absolutely grounds for having your license and certification as an engineer revoked.
Very cool. I also made a language specifically for AoC, with some similarities: https://github.com/lukechampine/slouch

Example of solving a (non-AoC) problem: https://youtu.be/i_zDbInYOpQ

One of my big takeaways is that the "IDE" plays a big role in how fast you can solve. Recomputing the expression on every keystroke seems a little insane, but the instant feedback you get is priceless.
you don't think it's notable that he so quickly reneged on this promise? https://twitter.com/elonmusk/status/1589414958508691456
>Point ChatGPT at photoshop

>”Give me a code base that reproduces the function of this application”

>”here are 10,000,000 lines of code that seem to reproduce with 99.998% accuracy
I saw a NOTAM about increased bird activity that had a 10 day duration. Thanks NOTAM.
Where else can N628TS be tracked? It looks like some of the most widely used flight trackers do not provide this data.
it should not be linked to VIPs and tracked like this, it's almost as creepy as stalking what this guy did. reported all his accounts.
> But there's a problem. Rewriting a library like TypeScript is extremely challenging. First, "absence of [a] specification" for TypeScript's behaviour. Donny's had to infer TypeScript's behaviour mostly test cases alone.

IIRC the TypeScirpt leadership is of the position that the implementation is the specification, which is unfortunate, because it means that the bugs in the implementation are necessarily part of the specification as well.
Neat. Lots of good stuff.

What's the interplay between infix notation and operator precedence? Expressions are not infix?

Also, please explain the dictionary and set duality.

FWIW, in my toy language, I use one syntax for sets, lists, and arrays, delimited with brackets '[' and ']'. Whereas maps, dicts, and (prototypical) objects use curlys '{' and '}'. A la JavaScript et al.

Lastly, wrt using '++' for concatenating lists, there have been times I've wanted sugar for prepending to a list. So maybe support both 'atom ++ list' and 'list ++ atom'?

For future updates, please us posted.
Apologies for nitpicking, but Lynx is not a CLI program. CLI programs are non-interactive, composable via stdio / shell scripting, designed to do their one task and return you to your shell prompt. Lynx is an interactive, terminal-based (character cell grid) program, that takes over your shell session - it has every quality of a GUI program, except it's using a terminal emulator as its toolkit.

But of course - it's still awesome, it's just not CLI.
Why the laws of physics don't actually exist