skysight-inc/HackerNews huggingface dataset:
There's nothing snake oil about SQRL. Can you back up your claims?
That's part of the problem.
I was thinking A.I. could be useful as an assistant for ATC. But yeah, it would inevitably be over-relied-upon and over-trusted.
If you are teaching kids programming, do it with pen and paper
Almost crashing your airplane is always a major incident in commercial aviation.
This doesn't seem to be the practice in a European country I live in btw, but I've seen it elsewhere (once bought a cheap android phone while travelling).
So I tried it with an image of a monkey that I often use for profile pictures (https://mathstodon.xyz/@OscarCunningham). This image wasn't made by Stable Diffusion. It gave me this prompt:

> a monkey plushie on a white background, photograph taken by steve buscemi from a zoom lens, studio lighting, ultrarealistic

Can someone tell me what Steve Buscemi is doing here?
...which is then often too opinionated and bloated for specific use cases. E.g. nobody in their right mind would use Unity for a simple 3D viewer application.
On the topic of gitea, I rummaged through the thread and it seems they want to make a decision in the first months of this year. I'm not sure these people are fit to run such a platform if they don't understand the problem with "we'll ban code doing xyz because we don't like it" for such a project. I was really looking forward to codeberg, but I also have a bunch of infosec stuff in my repos, including malware/PoC's etc. but I don't want to risk getting banned.

We need something like self-hosted gitea plus fediverse-driven socials mimicking github.

/edit: there is actually work being done by forgefed.org, radicle.xyz and forgejo is implementing federation here: https://codeberg.org/forgejo/forgejo/issues/59
thanks for sharing. this is really helpful.
And this is against all regulations and guidelines for about every company.
Donald Knuth on Literate Programming [video]
There was a lightly visited portal (news) that I got used to and started to bug me to turn off my adblocker (uBlock) if I want to read their materials (I do not call their duplicated things fetched from here and there articles).

I stopped visiting them.
This is neat! I assume this is Python 3?

Still looking for a replacement for the excellent Jython project [1] on the JVM, which has been fantastic for adding scripting to Java/Scala based projects, but sadly stuck on Python 2.7. I wonder if this could be bolted onto or run inside a JVM somehow (perhaps the WebAssembly version?)

1: https://www.jython.org/
Southwest had clearance. So they are clear, you can't rush take-off or anything. They could have been more mindful of what is around them and refused to line up if 3 miles felt like too rushed.

Why are overlapping clearances allowed (and used) by rules, regulations and local operating procedures DURING CAT III operations, is beyond me.

I don't like overlapping clearances in normal times but during CAT III operations this is insane.
"Operating system are holding them back"

Yeah. It would be nicer if they were holding it back a LOT MORE.
Human error is just part of it.

Some environments foster correction of such errors, learning, experience-sharing, pay well for parts and maintenance, don't overwork their staff. Others not.

I think for me such insights would be gold.
Does anyone know whether wgpu (the rust library) is ready for production, and if not when it might be? The 0.x version number suggests it isn't. I'm aware that WebGPU, and browser support for it, is still in development and subject to change (and that wgpu is the library underlying that), but I'm more interested in using wgpu in native rust programs than in browsers/wasm, and I'm not sure if I need to wait until the spec is finalised and browsers officially support it to do so.
To be fair the big difference between Virgin (and Qatar, Emirates, etc.) and other major western airlines is that they were founded in the 80’s not in the 1920’s. Planes used to drop out of the sky all the time.
I hardly think you cared about the dictatorship before the "partial" mobilization began.

And if something had collective approval (even through silence), then it must also have collective responsibility.

Don't try to play a victim card here, Russian, we all saw what you did and continue doing.
And some of us even experienced it.
werf CI/CD tool becomes a CNCF project
An event worth mentionning in any MPC time line is the long fall out between Roger Linn and InMusic/Numark/AKAI and the fact that InMusic/Numark never felt like honoring AKAI's financial agreement with Roger Linn.
Visually the icon is shorter, making me more anxious and get it charged earlier.
I dont know of anyone having their parents babysit 5 days a week, but OK, you're not supposed to do that for one day either. How does that even work though, you need to provide a document from a registered daycare showing the number of days a week you're buying. Parents obviously can't provide this document.
yeah evangelising anything hardly works. people in large are always hesitant to move away from the familiar. i find show and tease works better :)
I think, there is one more topic a game developer should know about that fell through the cracks. It's computer algebra systems.

The rationale is simple. If you want to learn math fast, be prepared that you will stumble upon the lack of training as soon as you go from theory to applications. Normally, you need to go through a few books of exercises to start feeling comfortable with calculus or discrete math. And that's where computer algebra systems step in. They do your math for you.

It's much simpler to learn the basics of any CAS than to train yourself to solve all kinds of equations with pen and paper. It's easier (and more fun to be honest) to practice with a CAS and gain experience on the go too.

In my book, an introduction to SymPy takes only a few pages, but enables practicing with linear systems, matrix operations, calculus, polynomial approximation and interpolation, Bezier curves, NURBS, and polynomial transformations as the book progresses.

And SymPy is not even the most potent CAS out there. It is free and easily accessible though. If you know a little Python, you already know a little SymPy.
And you know what? It's not because of tower control guys.
Hi, I need a database PageRank graph to apply a calculation of PageRank algorithm to find the score of these pages in the database.
There is an awesome playlist [0] on YouTube called "CodingMath" that I think is perfect for anyone interested in computer-graphics or video game development. I think it's useful for every developer, too.

The author uses JS and HTML5 to implement what he explains but you do not need any JS or HTML5 experience to understand any of it and you can recreate all the code in any language. All you need is experience in a programming language

[0] https://youtube.com/playlist?list=PL7wAPgl1JVvUEb0dIygHzO469...

Note: I am not associated with the author and haven't watched all the videos in the playlist but watched enough of thwm to recommend it.
Android Baseline profile is Vulkan 1.1.

Just like it happened with WebGL, I bet WebGPU will stay at 1.0, and maybe around 2032 we might eventually get WebGPU 2.0 with the native capabilites available 2023.
Leaks can ignite. The Broom Method may not detect all leaks, but will ID the ones that are currently aflame and are, thus, a serious personal safety hazard.
around a couple of years ago it always bugged me that CDNs took 15mins to several hours to recognise changes, much like DNS. this made them useless for real-time websites

I wonder if things have changed since then
I honestly expected the video to be about a road LITERALLY getting a DUI, since I've heard of weirder things happening, like a cat being elected mayor[0]. It turned out to instead be an interesting case study of a really wobbly-looking road. I can't decide which one I would've preferred.

This is actually my first submission to HN. I wanted to submit something, but I don't yet have my "hey, I could post this to HN" sense, so I just picked one of the tabs I had open.

[0]: https://en.wikipedia.org/wiki/Stubbs_(cat)
Dell to Cut About 6,650 Jobs, Battered by Plunging PC Sales
The tower control is there to tell planes what to do, not to leave judgment to the pilots.
This is slightly off-topic, but does Dokku take care of host level security at all? Or do you have secure the server normally before using Dokku?
Nim vs. Crystal – Performance and Interoperability (2019)
Bank sale 20k
Hmmm ...

Disclosure statement

C Raina MacIntyre receives funding from mask manufacturer Detmold for testing of their masks and is on an advisory board for mask manufacturer Ascend....
I wholeheartedly agree; locking down systems is a feature, not a bug.

I would go even further and say it's not just so in the users minds, it is also so in the admins mind, whether that's a business setting where we have to make sure thousands of workers don't accidentially brick their PC (or worse: cause an infosec issue), or a family setting.

Though I have to say, that lockdown-feature comes with a rather heavy price tag attached, because, well, the systems in question do a whole lot more than just make the locking down easy, do they?

It would be great if commonly used Linux Desktop Environments allowed for a switchable (with root-privileges) "Lockdown". I'm aware that this is possible already, but requires too many steps and is too error-prone. What I want is a simple on/off-cmd offered directly by the Desktop-Suite for me to issue as root.

That would allow people like you and me to setup computers for non technical people to use easily, whith the benefits of both an open system, and the stability a locked down system provides.
Great comment. People don’t want search. They want something. Search boxes gets you something. People type URLs into search boxes because they want the website. They don’t want the search. Search boxes don’t make things. But now they can. Lego in your made up story. Now there’s some ad revenue. A good thing? New issues for sure.
Honestly I’ll take the incremental odds that I’ll be the unlucky guy in the first ever Qatar plane crash over the absolute dogpile BA calls service now (having just received my missed business class bag after a full week of no communication or updates).
After asking the question, I looked for an answer and found the is-object npm package. It utilizes a null check to make sure a variable is an object. This utility has 6.6 million weekly downloads.
The logic in the isObject function will break because the second condition would then be invalidated. Resulting in a bad day for 6.6 million projects. It took me a while to digest the magnitude. Maybe because I just started as an SWE.
I gave up on FF on android, it's abysmal. The best browser UI on android goes to Lightning https://f-droid.org/en/packages/acr.browser.lightning/ but it's essentially abandoned - even though it uses the system webview, it can still be a problem. The next is Bromite https://www.bromite.org/ which is significantly nicer and faster, and FF on Android, with built-in ad blocking.

On desktop, FF is still my choice, but the android one is a bad joke.
I could like to have a kind of rust edition for JavaScript.

You could opt in to an edition by adding a JavaScript directive at the start of the file — like the "use strict" directive. e.g.

```js
"use edition2023"
```

This could enable to remove obsolete features and improve strictness.

EDIT: I forgot the "use" before "strict".
> Oh yeah, bye bye Accessibility! Firefox has become mostly unusable under Windows

Same on macos. Cannot use Firefox, because it does not work with Macpass.app [0] autotype - to my understanding because Firefox does not support (some) macos accessibility settings/features. For me the UX with Firefox is just the worst compared to competition. It's noticeably slower, uses much more CPU - thus makes the laptop hot, fans constantly kick in and drains battery. A lot of (all of it?) non-native GUI components makes the experience not good.

Arguably this could be old information, because my gripes are from many years ago, though I try it every year or so - but the situation is still way behind everyone else.

I support the Firefox's message, even donated to them couple of times, even though don't use their product, but at least on macos - experience is too bad for me to use it.

[0] https://macpassapp.org/
Sorry but you’re incorrect.

Oxford dictionary says:
“experimental is adjective.
1. (of a new invention or product) based on untested ideas or techniques and not yet established or finalized: an experimental drug.
2. (of art or an artistic technique)
involving a radically new and innovative style: experimental music.”

I don’t believe you didn’t known the meaning of the word but you intentionally twisted it. I find it a bit ironic.
Building a day-to-day fixed routine was a life-changing decision for me.

1. I have stable point to rely on when life turns chaotic.

2. I have an overview of my life, and make it balance: physical health and mental health, work and relax.

To quote Haruki Murakami [^1]

> I keep to this routine every day without variation. The repetition itself becomes the important thing; it’s a form of mesmerism. I mesmerize myself to reach a deeper state of mind.

[^1] https://balancethegrind.co/daily-routines/haruki-murakami-da...
> I have a less optimistic take. At the moment, the only thing standing between the world and a Chrome-only monoculture is iOS Safari.

Unless web admins take action and e.g. show an annoying popup about web freedom on iOS and Chrome.
i used to have this for some sites too, but ublock seems to always get ahead eventually
Ask HN: Best solution for comfortably reading papers and other PDFs
I often find myself reading academic papers and other PDF articles on a desktop screen and it hurts my eyes.

HN, how do you like to read academic papers and other PDFs?
No, I'm dead serious. To usr another example: surgery. Just assume people cutting you up know what they are doing, even if you do not have the slightst clue.
Venture Communism (2014)
Dang changed the title after they commented.
Dear mozilla,

The web is dying under chrome, with the excuse that iOS has its responsibility in the stale doesn't help either.

It's dying, not because of vendors pushing their favorite flavor, but because it has a terrible, horrible API, that make building an app with tightly controller Ui and Ux atop of it a Sisyph-ian challenge.

It's horrible for 3 key points reasons:

- the insistance that the document oriented API (DOM/HTML) as a feature surface that covers app needs, and that all use cases can be address with enough work (regardless of this amount of work)

- the tremendous gap of customizable input api, that would allows easier visual and behavior customization, while enforcing third party expectations support (assistive tech should be able handle it same way as «builtin» input)

- the insistance that CSS flaws (global declarations) are not a roadblock, that implicit, hidden states (from DOM) that can be guessed through JS event handling is a reliable enough solution.

The lack of initiative to solve those problems either means that care is lacking, or that the API is good enough.

The API will be the death of the web. Google won't solve it, Apple won't solve it.

DO IT. If the API is indeed good enough, prove it building an extension atop of it. Leverage your incredible work of those 10 last years on your engine to build the ultimate development platform. Implement it atop standard to have a backward compatibility. Propose it in a first class citizen form to take the initiative on hybride native app with great replacement of the mess Electron is.

To me you have no choice, the alternative is death of the web. At some point, history will be forgotten, and a proprietary vendor will do that, the flash way.

The world would be grateful, and done properly, you'll take back a big chunk of control on the web standardisation, and have large opportunities for sides monetization.

Make the web great. It's your job, only you have an incentive.
To add insult to injury, I'm guessing the lawyers that help them enforce their IPs are paid better than their top engineers and artists, also because of a disparity in typical outside options.

My experience with Japanese people and some anectodes from a friend who worked at Nintendo is that bureaucracy, culture expectations that you shouldn't change jobs at all, and English ability are some of the strong limiting factors for Japanese rank and file employees to achieve high pay. It's a shame as Japan has so many smart people who are both down to earth and innovative.
It depends on the TTL set on the cached content in CDN. If the TTL is for several hours, CDN won't show the recent content. Given that the TTL is set appropriately for the content, CDN will behave correctly.
You would be surprised.

No one outside AAA studios cares about Vulkan, and Khronos had to come up with ANARI to try to move visualization companies out of OpenGL/DirectX into Vulkan.
> Except the browser stack is full of legacy features

Examples?
It's very likely the Southwest pilots were completing a checklist, programming their flight computer, or some other minor pre-takeoff activity before being ready to takeoff. A minute just isn't all that much of a delay. If the controller needed it to happen immediately, they should have first asked if the plane was ready, and then should have issued a takeoff clearance with 'without delay' or 'immediate' in it. Only then would be the Southwest pilots job to refuse the clearance if they couldn't comply immediately.

I am unaware if there is a formal definition of how long a controller should expect a flight to take before following a non-urgent instruction, but 60 seconds doesn't seem wild to me.

Now you could say that the Southwest pilots should have heard 'traffic 3 miles out', and understood that things need to move quickly. But as a pilot, I can say we don't have the traffic picture controllers have, particularly in bad weather. The general understanding is if we can't see other aircraft, we manage our plane, and its ATC who can get a picture of how fast the other aircraft are moving and what is safe from a separation perspective.
Size is not measured by revenue alone. Cloudflare has a 75.6% market share among reverse proxies and 17.6% of all websites use it. [0]

[0] https://w3techs.com/technologies/overview/proxy
Yeah I know a couple of pilots, one of whom does "flying scum buses" as he calls them to hot places around Europe and have a lot of horror stories. Nothing major: bits of planes falling off, people going bananas, near misses etc.

I generally don't fly these days and haven't actually been in a plane for 20 years (ex wife couldn't fly due to med issue) but I need to get out there and would like to pick the least shitty solution.
What if Safari is the new IE?
Pictures with zoom lenses, obviously :D
In Practal [1], you could declare the sum operator as

\sum i. lower upper t[i]

and then write the above sum as

\sum i. 1 100 2 * i + 1

(after * and + and numbers have been defined as well)

There is no reason why the above cannot work both as math notation and as code.

[1] https://practal.com
I use a remarkable e-ink tablet, though I'm also looking longingly at the PineNote. Don't tell the whole class, but sometimes I print papers out and read the paper version.
List<String> can contain nulls. List<String!> would be a list all of whose elements are non-null. There's no problem. Other languages have been doing this for decades.
I doubt that it's possible to open the door for "language version by imports" without turning that decision into a forever-floodgate. Note that I am not entirely sure that it would be a bad decision (I do lean in that direction however), but it would definitely be a severe one.

It would be like a variant of inviting Dracula across the doorposts, only that this one may or may not actually be a cool guy and not a vampire, but in any case he will sure bring all his friends, and their friends and so on forever.
Can you clarify whether or not Steve Buscemi actually took the photo?
Safety and customer experience are two different things that may not correlate much most of the time. I'll rather have top quality pilots and maintenance than friendliest flight attendants if I have to choose between two.
Wave.video Review – Scale Up Your Video Marketing
Wave.video is an upscale video marketing platform where you can easily scale your video content to multiple social media platforms, live stream to multiple sources and much more.
There's not only the question of why use this over Lua, but why use this over many compile-to-lua languages, providing a great range of syntax and typing features.
All countries devs are poorly paid compared to their US counterparts.
That's basically what "use strict" is, isn't it?
> This is happening. It's just happening to the people who are the most productive.

Oftentimes, not even that - just look at CEO compensation explosion over the last decade [1]. The real money ends up at shareholders and uppermost echelons of management, not at any level of the worker class.

> There is no reason productivity gains would naturally be equally distributed amongst all workers, nor the wage gains.

There is a reason, it's called unions - and it's no secret that the explosion of C-level compensation came together with union-busting laws and the general decline of unions.

[1] https://www.statista.com/statistics/261463/ceo-to-worker-com...
This sounds a lot like the results you get from CLIP interrogation. Maybe they just use that and made another online service for it?
> Microsoft OS isn't that bad these days

Really? Edge is the default option, they push you to make Edge the default if you are using Chrome or Firefox and every now and then they ask you to accept Microsoft's default Windows settings.

The show their MSN news by default, Bing is default, they show ads in the OS, they constantly ask you to log in to your Microsoft account, everything leads to MS 365 office products or MS cloud storage.

It's a horrible OS and I wonder how long this can fly by any anti-trust measures.
The browser turning into an operating system (or rather a separate meta-platform that provides a common wrapper over operating system services) has already happened a long time ago.

And while many web APIs indeed 'suck', they're still roughly in the same ballpark as traditional OS APIs when it comes to legacy features, unfixable design warts and general 'pain of use' (e.g. it's not like native development is all rainbow-farting unicorns, while web development is eternal pain and suffering - it's both 'mildly annoying' most of the time).
They can still bully others by e.g. putting memory restrictions on other browsers.
For me, the number of votes and comments is essential information to have for HN posts. A good discussion is one of the best ways to get me interested in a topic and I generally look at the comments before I even follow the link.
The author[0] writes a monthly column on puzzles and other recreational math. She was the author of John Horton Conway's biography[1] and many other math-related and math-adjacent things.

People writing monthly columns are always under pressure to find things that are new and can be made accessible, so if you have something that fits the subject and brief, it's easy. The problem is that most things you think are fascinating, the authors/journalists won't think is interesting, so you may need to sell them on it.

[0] Siobhan Roberts

[1] Roberts, Siobhan (2015). "Genius at play: The curious mind of John Horton Conway." Bloomsbury. ISBN 978-1620405932.
In the Java world very long start-up times are a feature, not a bug
Scott Aaranson’s decades old “big numbers” write up which I think explains why this is useful and fun: https://www.scottaaronson.com/writings/bignumbers.html