skysight-inc/HackerNews huggingface dataset:
> It has been a total shitshow. I started the process in June of 2022, eventually the team I was moving to got bored of waiting for the work permit in March 2023.

Someone did something very wrong. The wait time for a temporary work permit from the US is a whole 5 weeks.

I've done this, the process was very transparent and predictable.

Compared to the US system it's amazing.
Cool! Where can I find a list of all `container-type`s and their equivalent states? It looks like there's so many.
Is https://minkson.com The lighting of mosquitoes is also a high -risk product?
Cagey...
Same thing in Norwegian. But W is also not really a part of Norwegian orthography, it's just kind of there in the alphabet anyway. Only useful for names and maybe a couple loanwords.
I genuinely read that thing about the K as being a reference to the K in Kagi.

I'm going to go have a coffee.
“Time Zone King”: How One UCLA Computer Scientist Keeps Digital Clocks Ticking
The wikipedia page says exactly the opposite. "EOF abstracts the process of interacting with a relational database by mapping database rows to Java or Objective-C objects. This largely relieves developers from writing low-level SQL code." https://en.wikipedia.org/wiki/Enterprise_Objects_Framework
Just to add, isnt the reason why metal fatigue is well understood because it has killed a lot of people?
Our greedy, inept, inefficient government, but also our conniving, duplicitous, and machiavellian government that is able to keep aliens a closely guarded secret even from everyone for decades.

It's either one, or the other.
I have been using GrapheneOS for a couple of years and I feel frustration about this announcement. At the same time, sounds like not much of a biggie, but I'd prefer the burden of updating the apps not to be on the GrapheneOS contributors.

On the other hand, I can see Google's arguments and "plausible deniability" that this is not Embrace, Extend, Extinguish: really nobody expects them to "Don't be Evil" anymore, security vulnerabilities in these apps are probably the last thing in their priorities, and the target audience for these apps is really small.
> But the comparison works. No mobile linux distro adds hoops to jump through.

Right. Sounds a bit pedantic to me, but okay :).

I guess my point is that AOSP is open source, and in a much better shape for mobile than Mobile Linux.

It is great to see work going on with Mobile Linux, and I find projects like PostmarketOS really cool. I just don't like how (some) Mobile Linux fans apparently seem to jump on every opportunity to say that Android is doomed and Mobile Linux is the only way.
Your request probably timed out. Sometimes the OpenAI API takes ridiculously long to respond, so I've set a hard 90s timeout.
Every newspaper already has a payment platform. The only value add is distribution.
Competition is free if you don't care about your privacy or your personal data. Many don't, sure, but it seems enough do care such that Kagi has continued to grow and improve over time. A tall order for what? They already have plenty of paying customers and it's a self-sustaining business already. What more do you want?
Why do physics, chemistry, biology keeps changing? Why don't scientists get it right once?

What a stupid question.
How do you pronounce this? Is it a soft <g>? Whenever I see Kagi on HN I smile, because my daughter has a soft toy (a sea horse) that she has named Kagi (she pronounces it kha-gee, with a hard g). Good luck!
You can use any iBeacon/EddyStone BLE device for this, they are very cheap and are widely available. However, there are no neat built-in features in apps shipped with phones that make use of them on Android apps, you always have to use some 3rd party app and the UX there is usually not that great.
Official Minecraft Subreddit Shuts Down, 'Reddit No Longer an Appropriate Place'
I'm a fairly heavy user. I used around 1000 searches last month. I wouldn't draw any conclusions from my own usage habits about how other people use the internet or how many searches they'd need.
I dunno, names are scarce and if a project fails then I don't see too much wrong with reuse of the name.
As someone who usually plays only a very small amount of games for a very long time (MMOs and some others), what I noticed and also heard from others it's not even that other games are not interesting or good, it's more like "I'm trying this new game and I'd say I'm having fun like 7/10, but I'd really rather be playing the game I just put down which would be like a 9/10". Not sure if that makes sense or applies to those people, if they really mean "100%" or more like "we saw them trying another game for 1h in a month and then they played 10h of CoD per week for 2 months" or even people not buying, but trying out other games at friends' places and then not buying them.
Sorry, but surely to use AI for music you will need something with a large music model, which as far as I know GPT-4 doesn't have. Without that it would be like relying on theory books, never having actually heard any music. Or am I wrong?
They reach the top of HN front page. Because I've never heard of Neeva before, but I'm a Kagi paying user.
The funding is from investors who are Kagi users. You could sign up to be a part of their next funding round if you want.
That makes an astonishing amount of sense.
Tkinter Designer: Quickly Turn Figma Design to Python Tkinter GUI
> My point is that the way they are produced, Android phones are not built to last / be kept up to date.

Agreed, most Android phones are not built to last. Some are, though (I own a Fairphone, for instance). And some mainstream Android phones (talking Samsung and the likes) are maintained by custom ROMs like LineageOS. I mean GrapheneOS explicitly targets the Pixel line.

Also projects like PostmarketOS have been mainlining many phones, I think. I would guess that this also benefits Android?
> Sounds a bit pedantic to me, but okay :).

Ah, the distinction is important indeed :-)
The expectation is that things are improving.

I think many people in the mobile Linux do think Android is doomed, or at least is not an interesting path anymore for the long run. That's what drives them. Android works, but has some flaws this ecosystem can't see being avoided. Being stuck with the custom kernel and the proprietary drivers is one of them.

Personally, I'd be happy with an Android phone that can run free of proprietary drivers with the mainline kernel.

Thanks for the discussion :-)
Agreed - That 99% of users they're talking about aren't going to be the ones looking for an alternative search engine like this
True, and I didn't mean to imply that Euclidean zoning was invented by the Soviets. Rather, the Soviets, having a planned economy and authoritarian system, planned urban development: they decided how housing would be built, where, and what type. Their choice gave them big apartment blocks, but it was because the State mandated this, not because any developers or private landowners wanted them.

In the US and Canada, it's very similar, though a bit different: the State has decided that only ridiculously inefficient single-family housing is allowed to be built.

Both of them are situations where the State has forced limits on what kind of housing is allowed, but the type of housing is obviously diametrically different. A better system is one where the State sets very few limits on housing, only very practical ones (no 50-story towers next to the airport, for instance), and lets landowners do what they want with their land, within reason.
Perhaps the business is already sustainable and that $670k will just let them hire an additional person to speed things up a bit?

There's a lot of wasted effort in this industry. Slack has 1500+ employees just to make a chat app. Granted, it's a damn good chat app, but Mozilla is maintaining a browser with half as many people, with not everyone focused on Firefox at that.

My friend is now in a project where he billed for three weeks until all the issues with his dev account were sorted out. It remains unclear when he will be able to start actually working.

I spent two years building a web app + gRPC server that perhaps could have been just the latter.

I could go on. Point is, you can blow through $30mln easily but that doesn't mean you have to.
That's fair. From experience I think the most common problem with screenshots is [0O] and [Il] ambiguity. As a point of comparison I'm willing to suggest that both base58 and crockford32 handle the matter reasonably, albeit differently, through their omitted-characters and decoding tables.

One feature I do like from crockford32, that base58 lacks, and which also assists transcription from noisy sources, is the check symbol. So much that it is quite unfortunate that this check symbol is optional. In 2023 it's hard to fight the urge to specify a mandatory emoji to encode a check value (caveat engineer: this is not actually a good idea :))
cagey != shady, but maybe they meant canny
wtf is the answer??
The Soviet union mandated single family housing?
I pronounce it like her, which is unfortunate because in Italian "KA-ghee" (written caghi) is the verb "you shit".
A 1 in a billion collision probability?
In territories where small enterprises are numerous you can count n "Technodata" and m "Smith and sons" per square kilometer.
> Why would consumers (non-business users) want to stream Windows from the cloud?

Because they will take abuse as long as there's no other option that they can (1) afford (2) use without hurting their ability to game/facebook/whatsapp/talk with chatgpt.

Let me extrapolate some more:

Furthermore, with MS investing heavily into GPT-ifying everything, you can bet they're seeing a future where computers are more voice- and/or text-driven input devices to powerful GPT services in the cloud where they control everything and can "keep the user safe" (and keep the govt "safe" as well with surveillance).

People will lap it up because it's very sci-fi-esque, and the uptake/popularity of ChatGPT shows one thing: people WANT (something like) this, they don't want buttons, windows, terminals, browsers, mice/trackpads/etc. They just want to get on with their lives, and the computer to do things for them to allow them to play/talk/navigate/work/etc.

If MS offers them that, the non-monetary costs won't matter (until it's too late).

If it becomes a dystopia, well, let's just be happy that all of this house of cards is insecure and fragile, otherwise we're @#$@#$.
Here's a good writeup that goes into more depth than most of the READMEs on fine-tuning: https://erichartford.com/uncensored-models
In the construction industry there seems to be some kind of thing where workers impose it on themselves or have to for competition.

I'm constantly seeing tool demo videos with comments full of "What, you're not strong enough to just use X?" where X is usually something unpleasant but sometimes slightly faster or cheaper, like phillips deck screws or driving screws with an drill instead of an impact.

It makes me wonder if the trades actually need to be as hard on people's bodies as they are. If the demand was there to make the tech a bit cheaper.... it seems like a lot of manual labor could be saved, but there's a culture of not complaining.
And go where? Apple? How exactly is that any better in this regard? It's even more of a walled garden. If you mean custom ROMs, they have huge issues of their own making them a non-starter for 99.99% of the population.
I've heard Costco makes their profits from membership fees. The retail operation just aims to cover costs. So I can see why they would try to prevent multiple people from using one membership account.
I didn't realise Neeva had shut down. I tried it for about a week, but stopped using it because it wasn't as snappy as Google. In fact, I always seem to return to Google from every other search engine I try because of its snappiness — decades of tuning seems to have paid off.
And is Flatpack so hard to install?
I use not flatpacks and probably many are like me, why should we get 10 different package managers installed because some minority wants it's prefered one pre-installed.

Anyway I was right, it was FUD, you were referring about not beeing installed by default. Can you maybe do a self-diagnostic and find out why you spread FUD? Would it be nice if I would do the same about Flatpack or your distro? (Do not respond, just analyze this and maybe realize you can be better)
Ah, a fellow /e/ user. While I completely agree with you concerning dialer and SMS apps, the mentioned SafetyNet restrictions from the article could be causing problems in the future as many apps, especially banking apps, potentially rely on those.
It depends on the competency of your ISP and how aggressive they are about so-called features. In several cases, the ISP provided DNS decided not to return NX results and instead returned a page of ads which was great for email servers, back in the day. The other failure mode I've seen is that the ISP's DNS servers are overloaded and take several seconds to respond.
This is true. I have come across other instances where the explanations are incorrect. The app is not ready for prime time, but fine-tuned models can improve this.
and it seems like many actual users of Kagi (and Orion?) have contributed, so this isn't a (completely) a "big VC firm will enshitify this". This gives me hope. I wish I would qualify to invest in things like this...
And if you click through, you'll find that they don't have the Sinhalese word for monitor lizard, but you can contribute it for them to monetize.
1) 7B foundational model means this is a base model that has not been fine-tuned on the "prompt: response:" (instruct) structure, and it has 7 billion weights/biases. It's the working size of the model.

2) Currently every model that can run locally was trained with a 2K context size. It's a hard limit on prompt length. There have been recent advances with [A] position interpolation, but those methods explore fine-tuning/loras. This base model was trained with 8k sequences.

3. 1.5T tokens is the size of the total training corpus. Training cost and time increases with training size. [B]

A. https://arxiv.org/abs/2306.15595

B. https://www.semianalysis.com/p/the-ai-brick-wall-a-practical... (Jan 2023)
Google used css sprites for Google+. They cared a lot about speed, specially for the stream, with even some CSS constructs that were known to be slow were banned from use for rendering posts.

For css sprites, you could submit an image to a folder in the monorepo, and a couple of minutes later an automated system would update the image with all the sprites, and create constants that you could you in your templates/css to use the icons with the coordinates/size of the image.
Just like they've ditched Windows?

People don't care about Android. They care about their apps. Some are fun, some are necessary. In my country, cash has been almost replaced by an app (just one), and it's getting harder to exist here without it (as I try to). That's just one example. I've heard of other places where compulsory national ID systems only exist as apps. And so on.

Unless those apps becomes available outside official app stores, switching is going to be de facto impossible, and people will take whatever shit Google and Apple roll out.
Yeah I just checked my search history, I did 100 searches yesterday. That's probably more like what I do on an average day. That's roughly 10 searches per hour, doesn't seem unreasonable to me.
What got us there is burning fossil fuel not "innovation", even if you put scare quotes around it.

I know it's hipe to pile up on the modern world but I quite enjoy hunger being a solvable issue despite the population rising to unheard of before numbers, having eridacated or significantly reduced the impact of most of the nastiest diseases and education and well being steadily rising throughout the world. I don't understand how so many people got convinced that the solution is wallowing in sorrow and selfpity and advocating for a return to the dark age.
Fairphone does make impressive efforts toward this direction indeed. Their push towards more ethical manufacturing is also great. I which their phone didn't rely on proprietary drivers.

> Also projects like PostmarketOS have been mainlining many phones

There's only so much they can do, but if they manage to mainline Android phones, that's obviously great news for their owners, including if they want to stay on Android because this probably eases porting new versions a lot.
> Finally, Google is also moving away from Mercurial. Perhaps the JJ developers want to respond why (and check out Jujitsu -- it's a novel and very interesting system y'all should check out).

Sure. I presented about that at Git Merge 2022. https://github.com/martinvonz/jj#disclaimer has links to the slides and the recording from there. I'll summarize the problems we have with Mercurial here:

1. Performance/scalability. That's partly because Python is slow. Both the Mercurial project and Meta have rewritten many parts of it in C and Rust as a result. Maybe more importantly, there are many assumptions in Mercurial's design that don't scale well. We have extensions for downloading only a slice of the repo. We slice it in both file space and in version space. However, it can get very expensive to change afterwards. For example, checking out an old revision that they user hasn't previously downloaded is very slow (it requires rewriting all local revisions after that point).

2. Consistency. Mercurial was designed for local file systems, so when we store repos in our distributed file system, we run into write races that can corrupt repos.

3. Integrations. We integrate with Mercurial by running the `hg` binary and parsing the output. That's unnecessarily complicated and slow.

We also see several opportunities by switching to jj (in addition to hopefully fixing the problems above):

1. Simpler workflows. Things like: working-copy commit (no "dirty working copy" errors, for example), undo, first-class conflicts (no interrupted rebases, for example). See the GitHub project for details.

2. Cloud-based repos. The repos will be stored in a database instead of being stored in files on top of a distributed file system. That makes them much easier for our server to work with, and it opens up for many kinds of integrations that were not feasible before.

3. Simpler architecture. We designed jj from the beginning to be easy to integrate with our internal systems, so there should be much fewer workarounds.

4. Simpler code base. You can typically add a command without worrying about concurrent commands, a dirty working copy, or conflicts. An example I like to mention is how I spent about two weeks trying to implement a command for amending into an ancestor commit in Mercurial. Then I implemented a more powerful version of that (can move changes from any commit to any other commit) in an hour in jj.
If I become a paying member, can I set kagi as my default search engine on my Apple devices?
There's a few factors to keep in mind. HN is much smaller, uses less resources, less individual files; less roundtrips (of the hypothetical 104 ms) to get all the resources.

HTTP / TCP overhead and throttling is another factor; there's a few bounces back and forth before a request can be fulfilled.

However, the factor here is that with http/2 and other advancements, the number of roundtrips and the number of requests needed to get resources is reduced by a lot. HTTP 1 needed one request per resource, HTTP 2 and 3 can bundle them into the same connection. I'm not explaining it very well, there's good resources out there.

anyway, HN is an example of old internet style websites, where latency is compensated for by the webpages just being small and snappy. A lot of advances in things like latency and speed have been undone by heavier websites.
"What is Android ? Well you see, there are various operating systems out there. An operating system is the software that allows you to use your hardware. So for example you may be familiar with Windows, macOS or Linux..."

- Stopped listening 30 seconds ago
What are the advantages of streaming Windows from the cloud? Genuine question.
From my experience, all fo these dashboard frameworks in python look fine and dandy but break as soon as you try to extend them. How easy is it to add components? Say I want to trigger actions based on hover events or capture click data, would that be even feasible? Use cases like those, just to name a few, are why I keep going back to R's Shiny. It makes it much easier to write React components and just communicate custom data between the browser and the server.
> loading DLLs preferably from the working directory

That is a feature, though, isn't it?
Ask Hn: Building in-app analytics for your app? We'd love to talk to you
Thank you all for your attention to BlockSuite, the comprehensive project behind the amazing AFFiNE open-source notetaking app. BlockSuite aims to provide a progressive solution for building collaborative applications.

It includes a block-based framework for composing rich content editors and an out-of-the-box block editor tailored for the AFFiNE knowledge base. With block-based editing, text editing and state management are handled block-by-block, supported by CRDT technology for distributed collaboration.

BlockSuite also offers framework agnostic rendering for scalability and flexibility. For more information about BlockSuite and the AFFiNE project, we welcome you to visit https://affine.pro/ where you can also try it in action.
But at that point, it’s no longer SQL, it’s something better. That seems like a very nice point in favor of Clickhouse! But then again, Clickhouse is not a RDBMS, right?
I'm sure they're right, my dad doesn't need 300 search per month. What I question is whether or not 300 search is sufficient for their average user.

The person who is willing to pay for a search engine is also going to be a person care more about search and use it more. My best guess is that 1000 searches per month is right on the edge of what their average user can get by with. It's fair enough, they do need to make money, and I have no problems believe that 300 is about right for the average internet user. It just gives a false impression of your expected cost as a potential customer.
Yes, this is exactly the reason why.
> feels more like a proof of concept than an actual product

I don't think OP ever touted it as an actual product:

> We’d like to show you our project [...]

This may be personal but I'd love HN and especially Show HN to be one of the last places compatible with bleeding edge demos, where creators can feel confortable to share their pet projects no matter how naive or not-(-so-)prod-ready.

Otherwise I'm afraid we'll only get to deserve ProductHunt-style Show HNs, with tightly knit PR replacing substance and foolishness.
Elixir is functional and immutable first, (and structs) - that alleviates somewhat the pain of not having a strong type system. I really like the architecture of OTP, but I still find myself using Elixir in anger.

Especially, if I'm trying to bring and old(er) codebase (Elixir 1.9) up to the newest release... and upgrading packages, checking if things are likely to brake etc.

I constantly find myself realising that I cannot trust the compiler, which means more defensive coding, more tests, more time spent...

As an example, upgraded postgrex. The return tuple of one its functions had changed from 2 elements to 3 elements. Did the compiler caught it? No.
Had I had dialyzer type spec-s on my private function, I would at least gotten a warning. Thus, morale of the story: always type spec even your private functions , especially if they use 3rd party code.
It’s hot and new, but this is still a valid question. Neeva shows up, not Kagi, when you query Google about paid search engines.
This looks like a thinly veiled ad for timescale.
Thanks for the nice reply Spencer! Totally agree, there's so many things that are opening up for us since we focused our energies in that direction.

It'd be nice to meet, we really admire what you've been able to do at Amplitude helping establish the product analytics category