skysight-inc/HackerNews huggingface dataset:
Same here. To be fair, it has some rough edges as it is still a bit cutting edge. But it mostly works great. Worth a look if you need to share code between IOS, Android, Web, and server side.

We use the Fritz2 ui framework which has been built from the ground up with Kotlin-js. It's a reactive framework desigbed around Kotlin features like co-routines and flows. It comes with a nice component framework, great documentation, and has been rock solid for us. Worth a look if you are looking for something different.

We took some risk by betting on this admittedly risky setup one and a half years ago when I had a few junior Android developers that knew Kotlin and we needed a webapp in a hurry. I ran this as an experiment for a few weeks and then realized that I had nothing to worry about: it's fine. We were hitting all our goals. By now we are super productive with this setup and we are adding lots of features, ui polish, etc. every week. Maybe we'll have to switch at some point but so far we're good on not ending up with the usual mess of technical debt that I've come to associate with javascript projects.

Jetpack Compose looks promising. Once IOS support lands, it will be a strong competitor to Flutter and React Native. If you can do without IOS support, it's usable right now. I'm guessing IOS support would be at least another one or two years out.

Multiplatform is great and getting more usable with every release. We have an API client and some other functionality that we use across JVM on our server and kotlin-js. It should just work for kotlin native, IOS, and android as well but we have not used that so far. I'm kind of looking forward to the web assembly compiler becoming usable as well.
Disagree, maven to gradle is a downgrade. Yes, xml is boring, but it's still incredible simple, almost just a verbose package.json. And it's convention over configuration, if you do stuff like everyone else, it just works.

Gradle however, is a dsl in a language almost no java devs use. All gradle files are different, so copying an example from somewhere else probably won't work in your context etc.
I'm not a marketing expert, but I'd like to suggest using the slogan "Keep poor people away with Gated!"
Use a provider that uses 2FA for login
The Problem of Impressionability in Self Development
Don’t use Kotlin? Or just deal with the lack of language support.
Can you reliably autoplay video and audio in current browsers?
I don't get it, can someone explain? (we use a lot wireguard but I don't get it :( )

thanks
TikTok is vastly different between regions, even when you set a preferred language.

I'm American and live in Germany, and have tested it in both. In Germany, I get tons of those low-quality videos where they copy/paste something from Youtube and it looks "fried".
Yeah, atleast last time I tried kotlin-js it took a minute or so for any change in IDE to actually end up in browser.

I don't understand understand the js tooling setup completely (I mostly used kotlin on backend) but the gradle-webpack integration seems to have quite some overahead. Perhaps moving to esbuild can make things faster.

I don't have a very powerful system (4yr old linux machine with 8GB ram) so ymmv.
And for the next item on the scrolling marquee, I'd suggest "Require approved tribute from mortals before they dare speak within your realm!"

(I'm also yet to make much headway in the marketing industry)
The definitive news stream on carbon dioxide removal
i am hopeful i can finally stay on matrix while get people who cannot be bothered to leave whatsapp to talk to me.

would it be like how we currently send emails? like i don't know if exampl34@gmail.com exists but i still send it. if it does exist, it is delivered otherwise i am told no result.

any idea when we can start to see fruits of this interoperability?
Sertraline (prescribed by psychiatrist) + Stoicism (Stoicism and the Art of Happiness by Donald Robertson is a good intro, if you're interested)
The LibreOffice Online repository at TDF is temporarily frozen
ZFC is the x86 assembly language of foundations.
Saying that ZFC is good enough because you can do all of mathematics in it is like saying that we don't need Java/Rust/Python because x86 assembly is good enough because x86 assembly is Turing complete. True, but that's missing the point of what people are trying to do with higher level languages.

You can theoretically do everything you want in ZFC, but it's low level and a bit outdated and you don't actually want to write formal proofs in it. We know from experience that it is possible to translate the kinds of proofs that people do on paper into formal ZFC proofs, at least in theory. The mathematicians that study ZFC-like foundations are OK with that "in theory"-qualifier and are instead investigating the theoretical properties of the foundations.

The goals of (homotopy) type theory are very different: they are trying to be suitable for actually doing modern mathematics in, and computer proof assistants are being developed that make it possible to actually write down formal proofs in them, in the form of proof code. For this to work it needs to be possible to translate all the kinds of arguments that mathematicians write down on paper into formal proof steps. It is not sufficient to remark that it is theoretically possible to find some kind of translation: it must actually be done for the computer to accept the validity, and the burden must not lie on the mathematician writing down the proof. Instead, the system must make it easy to write down the steps that the mathematician wants to do. One of the kinds of arguments that mathematicians use on paper is that if A is isomorphic to B, then a theorem about A automatically gives you a corresponding theorem about B. Homotopy type theory is trying to formally enable this kind of reasoning.

In summary, the foundations people interested in ZFC have a very different goal than than the foundations people interested in (homotopy) type theory. The fact that the ZFC people are perfectly happy with ZFC and only care about ZFC doesn't mean much. The goals of the type theory people are not achieved by ZFC, not by a long shot.

Note that it is not the case that the general body of mathematicians cares about ZFC and does not care about HoTT. They care neither about HoTT nor about ZFC. The nod to ZFC that mathematicians give when pressed is mere lip service; most mathematicians would not even be able to list the axioms of ZFC. Only foundations people care about ZFC, and the kind of foundations that the ZFC people care about is irrelevant to the practice of general mathematics.
Only on HN would this count as addressing the point that the title is poorly written.
GemStone/S is a multi-user Smalltalk (with database characteristics). It has revision control and is quite fun to work in.
Not quite sure how you can call 30min a day for months not a success. The algorithm success is measured by how much time you spend on the app, not whether you enjoyed it.
But all the paper chips that you punched away are information too. So it's zero sum.
> It kept inserting a lot of borderline soft-porn type content

Is TikTok used equally by men (boys) and women (girls)?
The only rational way of dealing with high demand is increasing the supply. Everything else is a distraction. Especially if it involves scapegoating convenient villains.

In the developed world, provision of basic goods and services is a solved problem thanks to free markets. Where there is still an issue of access, it is addressed through targeted subsidies. Not through piecemeal, knee jerk restrictions nor by redefining what ownership or stealing means.

> And that's a problem. In many countries housing is not seen as an appreciative asset.

Where? Even if the house doesn't appreciate in value, the land it sits on does. The only places where land doesn't appreciate in value are those experiencing depopulation.
> Progressives like to shame the members of their own group into ideological uniformity

This happens in pretty much every part of the spectrum.

> No original thinking needed, just unconditional support for the cause.

The mere fact there are people with dissenting opinions shows there is original thinking.
Imagine we've got an EMPLOYEES table, that for each employee gives their employee id, their name, and the employee ID of their direct manager:

EMPLOYEE_ID EMPLOYEE_NAME MANAGER_ID
----------- ------------- ----------
1 Alice the CEO NULL
2 Bob the Director 1
3 Charlie the Grunt 2

We can get all employee-manager relationships with an inner join that finds every pair of rows in the table where the MANAGER_ID on one row matches the EMPLOYEE_ID on the other:

SELECT emp.EMPLOYEE_NAME, mgr.EMPLOYEE_NAME AS MANAGER_NAME
FROM EMPLOYEES AS emp
INNER JOIN EMPLOYEES AS mgr
ON emp.EMPLOYEE_ID = mgr.EMPLOYEE_ID

which produces this:

EMPLOYEE_NAME MANAGER_NAME
------------- -------------
Bob the Director Alice the CEO
Charlie the Grunt Bob the Director

Note that Alice does not appear in the left-hand column, because she has no manager, and Charlie doesn't appear in the right-hand column, because he doesn't manage anyone.

If we want to list all employees, with their managers where they have them, we can use a left outer join, which returns all rows on the "left" side of the join regardless of whether they have matching rows on the "right" side -- like this (cutting out bits of the query repeated from the previous example):

SELECT ... LEFT OUTER JOIN EMPLOYEES AS mgr ON ...

That produces this:

EMPLOYEE_NAME MANAGER_NAME
------------- -------------
Alice the CEO NULL
Bob the Director Alice the CEO
Charlie the Grunt Bob the Director

If we want to see who (if anyone) every employee manages, we could use a right outer join, which is similar to the previous but takes rows from the "right" side whether or not there are matching rows on the "left":

SELECT ... RIGHT OUTER JOIN EMPLOYEES AS mgr ON ...

This produces:

EMPLOYEE_NAME MANAGER_NAME
------------- -------------
Bob the Director Alice the CEO
Charlie the Grunt Bob the Director
NULL Charlie the Grunt

(To be honest, this is even more contrived than the previous examples: you can achieve the same result by reordering things in the left outer join, and that would come more naturally to most people, including me. And you would probably swap the order you display the columns in. But I include it for completeness.)

Finally, you can get a combined list of employees and their managers (if any), and potential managers and their direct reports (if any), with a full outer join, which returns rows from both sides of the join, regardless of whether they have matching rows on the other:

SELECT ... FULL OUTER JOIN EMPLOYEES AS mgr ON ...

Producing:

EMPLOYEE_NAME MANAGER_NAME
------------- -------------
Alice the CEO NULL
Bob the Director Alice the CEO
Charlie the Grunt Bob the Director
NULL Charlie the Grunt

Using a left join exclusively isn't a problem, as long as it's returning the data you need. If you use a left join where your data requirements actually call for a different type of join (e.g. "exclude any employees without a manager"), it could be a problem. You could get round it by adding a WHERE clause (e.g. "WHERE mgr.EMPLOYEE_ID IS NOT NULL"), but that's a bit ugly and hacky.
But can it drive a car?
When I go to the link, the top answer is about an if..else where the else will never be called. Searching the page for "left join" finds nothing.
- no documentation, not even a few lines

- no example without cloning

- example provided doesn't run without modifying it (empty video url)

- no tests

- doesn't look maintained (e.g. 3 years old typescript version)

Then looking at index.tsx

- using Class as component (debatable but really not idiomatic anymore)

- weird empty lines and spaces

- weird `this.container` pattern, not to mention the type of it is unsafe

- `aspectRatio` has to be in `x:y` format (including the colon), no way to know that unless you read the code in depth (also weird choice)

- using the anti-pattern of setting derived state (aspectRatio) in this.state, rendering again with a different aspect ratio won't work

- componentWillUnmount does not remove the listener, as calling `.bind` there will create a function that doesn't match the one in componentDidMount

- using `.bind` inline insted of using fat arrows directly when creating class methods

- the weird syntax for `playerProps =`

- hard coding some of the `PlayerVars` props instead of just makin props `PlayerVars & { ... }` to allow passing any props supported by react-youtube

Anyway that's just at a glance, I'm sure cloning the project and trying to use it would reveal a lot more.
There are features of domain providers that can prevent domain transfer without certain conditions being met.

I don't hold any domains for corporate enterprise purpose but, if I did, I'd be looking for domain registrars that can provide some guarantees.

I don't know if such a thing exists, hopefully someone here can answer that, but if not, I'd start making some phone calls/sending some emails to see what/who can offer better than your typical cookie cutter registrars.
I am from Spain. Our first home PC in 2003 with 256MB of RAM, a Geforce 2MX 200/400 and some Athlon XP cost us over 600 Euro. That was a crappy low-endish machine.

700 Euro for a Mac Mini it's a bargain.
i figured out it should work if it starts out muted
I think it was an article posted on HN a little while back that got me thinking about the time travel paradoxes that wormholes could enable. There was one thought experiment about a wormhole with one end on your front lawn, and the other in a spaceship that leaves with your partner, accelerating away at 1g to eventually reach the speed of light, and at some point turning around and coming back.

The way I envisioned it is that the wormhole would act like a Zoom call, where you could talk/interact at "normal" speed of time during the entire voyage. Through the wormhole on your front lawn, you'd see your partner arriving back in your front yard and greeting future you despite the fact that their ship was still years away from arriving back on your yard from your frame of reference. Not to mention that you could also step through the wormhole at that point and join the future you and your partner, and then the partner that would arrive on your original lawn would find you missing. Obviously this turns into spaghetti quickly.

Now, this post is the first time I learn that travel within the wormhole must take longer than travel between the mouths of the wormhole. This got me thinking about whether my concept of looking through the wormhole was correct.

Would you actually see your partner moving at "normal" speed, or would their movements appear to you to begin to slow down as they approached the speed of light, with your movements appearing to them to accelerate dramatically? It seems as if their EM radiation towards you would eventually shift to infrared or radio and yours towards them would shift to gamma?

Have I made a total mess of my understanding of all of this? Apologies for the amateurish questions.
I had trouble with it too. I think it's because if you read it as a newspaper headline you expect it to be two sentences, broken after the first three words. "Gated challenges unknown. Senders to donate to charity in order to reach you."
AFAIK the French NES is just a PAL console with an added composite-to-RGB converter. Although it outputs RGB signals, the quality is no better than composite.
As a user of a service, unless it is for learning or paranoia reasons it makes no sense to try to self host the same it doesn't make sense to have your own mechanic workshop in case your car breaks or your own hospital in case you need medical attention.
For the languages using Č etc, you probably also don't know how to pronounce C, W, V, etc.

At least writing Č shows it's different to C.
This swimming pool is getting warm isn’t it? But its fine, there's still a frog in the water.
NATO also promised it wouldn't expand anymore
Life Is Art
It was possible of course, but there are good reasons they were intrinsically linked:

The AC power line frequency was used for the vertical refresh rate for two reasons. The first reason was that the television's vacuum tube was susceptible to interference from the unit's power supply, including residual ripple. This could cause drifting horizontal bars (hum bars). Using the same frequency reduced this, and made interference static on the screen and therefore less obtrusive. The second reason was that television studios would use AC lamps, filming at a different frequency would cause strobing.

https://en.wikipedia.org/wiki/Refresh_rate#Televisions
There is also renewed interest in Georgia to reclaim South Ossetia and Abkhazia [0] If Russia appears weak these conflict zones could flare up again.

[0] https://www.rferl.org/a/georgia-abkhazia-south-ossetia-russi...
Yes, but JSX is much more conservative in what it introduces to the language. Other than the XML syntax rest of js is mostly left untouched.

In a svelte file, a lot of usual js constructs like labels, additions, assignments etc. have different semantics making it more work for another language to support it.
Exactly, it's what I use currently for Kotlin frontend and backend development. I've also used the opensource community edition it for Java and Python development.

There are a few things that you would have to pay up for that might be worth the money depending on what you are doing. I think their C/C++ IDE (CLion) costs money for example and they have an alternative to XCode called AppCode that does not have a community edition. And they have a few other things that might be worth the cash.

But simple Kotlin development works great without that. Everything you need comes with the community edition. You do need a fast computer to run it. It's a resource hog.
you're rich :)
Apart from the 2fa to for domain service itself, ensure you are enforcing 2fa if you use an external mail provider. And set the domains to autorenew.
Yes! And our It department still gives us a mandatory training on how to look at links before clicking.
5G Drains Your iPhone’s Battery. Here’s What You Can Do About It
How does Kotlin "scale" differently than Java? I mean I'm anything but a Java fan but both languages run on the JVM, so unless your colleague also changed the architecture of those services I don't see how a switch from Java to Kotlin would help at all.
That's not true. In fossil when you have multiple cherry-picks in a single merge, you can still get the hashes directly.

https://fossil-scm.org/home/doc/trunk/www/fossil-v-git.wiki#...
> we do not want to encourage people whose personal preference is not to use JetBrains development tools.

Ridiculous take. Waste of a good language frankly.
Any chance of at least a summary of your complaint? Having listened to the first the if service of the videos they don't seem relevant to a general point, more that you just don't like Emacs which I'm not something 45 minutes on YouTube to confirm (I don't like Emacs either, but that doesn't make all Unix software limited nor limiting).
>When you think about it, all joins are just a left join

Absolutely not. All joins can be related, or explained by using left join as a reference, but there's no such thing as a "default join", or perhaps there is, and it's up to the implementation of the database. Taking the analogy further, all joins are outer joins, just apply some filters, right? Or a left join is just an inner join, and then you include the rest of the left table. It's worthwhile pondering about this, but "all joins are just a left join" is a moot point.
Author here, thank you for sharing. Will be happy to answer any questions.
Ask HN: How come HN folks are so well-versed in social sciences and humanities?
Maybe my world is just small, but I'm consistently surprised at how many folks at HN are so well-versed at both technology and social sciences & humanities.

Was it your academic background / career path? Or was it just out of interest?

What kind of things (books, magazines, forums, etc) helped you to become so knowledgeable and/or engaged in these world/cultural issues?

I myself only recently got interested in these fields (my background is in the sciences) so I would love to know what everyone's "stories" are. :)
Must be an age thing; I find it awful. Every time I try it or when others show me the crap on it which is supposed to he funny or informative. Not to mention the massive amount of fake news packed in ‘funny’.
> I'm blown away that people can spend more than a few minutes per day watching it

But you did just that.
I think we found Jared.
The best advice I got when I was a young nerd is to talk about things I'm interested in that also appear to be interesting to the other person. Being able to always reset the social exchange to a common ground of interests gives you so much space and safety to develop the rest of the skills like listening and small talk.

I also noticed that smiling is a bit of a cheatcode. When things go south sometimes just dropping a smile can quickly turn you from someone who appears to be mean spirited or weird to someone who simply didn't quite land the joke or a reference and is aware of it - which can make all the difference.

Finally, it's important to remember that you need to develop social skills just like any other skills so there's no shame in taking advantage of social lubricants like recreational drugs (e.g. alcohol, weed) or shared activities!
While I get you point, I think it's of limited usefulness for Python. You would end up with Snekr.io using 3.11 and cheeseshoppr.ws using Python 3.8.4 and etc. You can get some packages for any Python3 but they are the smaller ones. The larger wheels like numpy and pandas have C code which needs to be compiled or there's a giant version dependent wheel.

Server side Python is often deployed in a venv which has the desired python version and all the dependencies copied with the code.
Sure, but they linked a good dev platform with an OS, this prevented .Net to become a much more used platform because most developers developed for Linux server using anything else then .Net (java,PHP,Python or the super shitty at that time JS and node). The open source community might have implemented an open alternative but only some parts of the language and platforms were open and there was a lot of fear that Mono that implemented some non open API could be a liability.

I personally was a big fan of C# and I can't forgive MS stupidity , because of the Windows Team a good language and platform was sabotaged, as I said it could have been a worthy competitor to JS/node especially in the past when JS was shit and even now where npm is filled with leftPads and colorRed packages.
Depends, how long do you need it to 'drive'?
The problem is that you can identify people by checking what resources they have already cached
This. Kotlin is a great language with a lot of potential, but JB keeps locking it away in their own ecosystem. I used to do stuff with it before but this attitude has driven me away.
Technically it might work but you are fighting an uphill battle in terms of documentation, stuff that's just not supported at all, bugs, etc. With Kotlin-js especially, I would strongly recommend to not bother with maven. It's a bit cutting edge and you'll have an easier time doing what everybody else is doing.

If you go the gradle route, of course use the Kotlin Script variety. Gradle is a bit complex and having your build logic written in Kotlin seems like it is the right thing to do.
Thanks a lot! Yeah, I'm looking for a registrar that ensures high security, availability and most importantly a functional support. I don't mind paying extra bucks.

Since I'm from Germany it'd propably be best to also use a provider from Germany in case any legal issues arise.
Count me in. Left joins only. It works, is fast, and I only need to remember one type of join
I use Clementine (or its more recent fork, Strawberry) as my FOSS music player on Windows. It's also available for GNU/Linux, but I just use mpd + vimpc on my Linux machine.