skysight-inc/HackerNews huggingface dataset:
> Even in the olden days, the papers you had only had value against the agency's record that could prove their validity.

That's not true. For example, Jews (or people who wouldn't be always considered Jews, but those who would still fall under the Law of Return) have to produce some kind of document which states that their ancestor was Jewish. Often these documents were issued by authorities that no longer exist. And it was up to immigration authorities to decide whether they trust such a paper or not. Basically, anything coming from Western Ukraine prior to Soviet occupation would be issued by such authorities, same with Baltics.

Unrelated to above: a lot of databases are only required to store their records for so long. For instance, the transcripts from most colleges can be produced within 10 or so years after graduation. Then it's like they've never existed. So, if for whatever reason you need to show your grades later, you better have a paper version.
They didn't have a microG implementation from what I can tell. From your first link:

> DivestOS will not include microG or the GrapheneOS' Play Services sandbox.
You've already doxxed yourself by writing hundreds of comments on your throwaway you fucking noodle (assuming that you've not been careful about scrambling your writing style to defeat sylometry).
Then let them go through the immigration system, get a green card and start working in the US. The original thread here is me saying that it should be illegal / there should be penalties for hiring abroad when there are plenty of skilled American workers who are being turned down for the jobs which are going to cheap foreign labor.
- DuckDuckGo bangs - https://duckduckgo.com/bangs
- Instead of using prefixes, you could even use AI to detect the user intent (calculations, weather, etc)
- Use IP address if the user doesn't type a location for weather
https://archive.is/96b9Y
The Supreme Court should ignore this, as a matter of rule of law. Trump's not president yet, he has no authority. He won't even be king after he's president. We all know the dates of elections and inaugurations. Keep your shirt on.
I can relate. There's something about the human group dynamic that, by default, isn't kind to certain types of personality.

Internet-only friendships and acquaintances and groups can be deceiving too. They can be great and full of wonderful people, but the reality is usually that even if you spend 20 years in a particular internet community, you could leave tomorrow and few (if any) people would be talking about you for longer than a week.
I remember talking to techie friends about this a couple years ago. With the advent of AI screeners, it would only be a matter of time before candidates figured out how to craft and rewrite not just their cover letter, but their whole resume to semantically best-fit a job listing. It could even A/B test for the best response.

Everyone laughed and said it was too much work. I predicted it would be a YC company before long.

Only a matter of time before AIs will be talking to AIs to have a technical interview and negotiate salary.
Yup, in person and worst, only in network.

So you end up using technology to de-evolve society back to tribes.

Still, at least we are other people who are creating this AI technology and all of its application ... so we see the pain up close and we can start to steer it in a better direction that's more healthy for society.

But you know we have to find our integrity first.
Weechat for Slack and IRC (2020)
It's unclear to me why this is isn't statistically possible. Could you please explain?

But anyways, this article (paywalled) claims that 48% of California adults were born in the state as of 2022: https://www.sfchronicle.com/projects/2024/california-populat...
>But "search" and "getting an answer to a question" are two different things, aren't they?

First conceptualization of the "search" were web directories then AltaVista and Google drove the complexity down for the users by providing the actual system which crawls, index and ranks web information. Now cycle will repeat again and we will get Answer Machines aka chat bots which drive the UX complexity for users even more down.

Why would I skim search results links and websites if the "AI" can do it for me. The only reason would be if you don't trust the "AI" and you want the actual links of websites so you can look for useful information by yourself but the majority of people want an instant answer/result to their search query hence Google's old school button "I'm feeling lucky".
also, you can take overnight trains. I find it very comfortable - you wake up and enjoy your day in some nice town, then go back home. Great weekend getaway without really spending awake time on travel, airports, security etc
It looks like they're constructing a high speed route from Madrid to Badajoz to be finished by 2030, with the goal of extending to Lisbon. [1]

I lived in Madrid for a few years... It's hard to get anywhere from there by train outside of Spain, though it's definitely easier now than it used to be thanks to the high speed train to Barcelona.

1. https://en.m.wikipedia.org/wiki/Madrid%E2%80%93Extremadura_h...
It does not send your photos to be indexed on Apple servers.
> If you don't know why set theory is important, it is because set theory is the foundation of all of mathematics.

Sorry to burst your bubble, but as far as we know, that isn't true in the slightest. It's a logical positivist view abandoned after Goedel and Turing.

At best: What we hope is true is that there often is some axiomatic system where a specific mathematical lemma makes sense when redefined into something similar but not the same.
Not a legal expert, but suffice to say it's not without it's challenges. In practice, as a hiring manager, I've had the luck that it hadn't made a difference either way since I always had some promising URMs in the pipeline. (Edit: I take that back. At one point I had 4 reqs and the first candidate was a real unicorn and we hadn't interviewed a URM yet. My VP gave me an exemption on the condition that the other three reqs have to go the proper route. I got the exemption because he knew for a long time and trusted me and because of the remaining, identical reqs)

Edit: To some degree it's a variation of the same old goals/metrics spiel. Ideally you'd have managers who want to give URMs a chance. In practice creating this metric to force it makes nothing better but likely everything worse for everyone in the system.
It's too bad, but I see why this is flagged. Discussion of these opposed values does not have a necessarily right answer, and it's so easy to fall into strong opinions and repeated talking points.
Ask HN: Full Text Search
Hey HN,

I need full-text search for a large amount of text data (500gb++).

I've looked at Algolia, Meilisearch, Typesense, Elastic. From what I can tell, they all require a server which can keep everything in memory.

MySQL full text search is probably sufficient, so maybe I'm asking about best practices to store a MySQL database at terabyte scale.

Thoughts on how to scale a database and do faceted full-text search without it costing a ton of $$?
Business, law, and medicine are still pretty "high touch" and I think will be for a long time. Nobody is really going to trust an AI for legal or medical advice -- even if the use of AI becomes more common in those professions (which I expect) people want a human connection or a human handshake (or a human to blame).

AI for software though? It will decimate employment in that field as soon as it's good enough. Nobody cares who or what wrote their software. It's been amusing to me to watch the software profession build the tools of its own destruction.

As far as the future, I would advise looking at professions where a high degree of human-to-human interaction is important. But certainly I have no crystal ball, maybe people of the future will be fine with getting care from a Star Trek "Medical Hologram" doctor.
Yes. I have 15 years experience of mediocre web development, project management, and product management experience. Most of my development work was building the same CRUD apps over and over in greenfield projects and at small scale, so I never really had professional experience to "level up" and be a better candidate as a developer. Obviously in this job market with lots of other unemployed people with a more clearly good track record, it's very difficult for me to get an interview at all.

I saw an interesting post on X the other day: someone was saying that when people get a degree in something like... music, and they're bad at playing whatever their chosen instrument is, it's not surprising when they don't find employment. For some reason we do have an expectation that even bad or mediocre programmers will get jobs, which was maybe historically true simply due to the high demand for those skills at all, but maybe we're seeing the shift where it no longer is.

I think there's more at play too: many people are more productive in their roles thanks to AI, people are maybe clinging to their jobs more knowing what the job market is like, and companies are probably not spending money like they have been for the past decade due to interesting rates/uncertainty/whatever else.

One anecdote I'll add about foreign workers: my last employer was a software agency/consultancy, and they had probably twice as many developers in a country in southeast asia as they did in the US. I am not clear what the root of the issue was, I think it was probably several things, but that employer did struggle a lot with the results and output of the teams in that country, to the point that their entire office in that country closed down and I think the entire team was laid off. I think the problem was a mixture of poor management on the American side, poor hiring practices on the foreign (I don't like that word) side, cultural differences between expectations in work, communication barriers in terms of them understanding the details of the work that needed to be done, and mismanagement on both sides of the ocean causing poor morale.

I will add, that agency framed the use of foreign workers as a necessity for cost reasons, which I believe to be true. There was work they did with extremely small margins and even with foreign workers, was often times unprofitable. Small businesses just really do not have the budget for teams of software developers to make custom software, and especially not when the development process is an inefficient as it sometimes was at that agency.

disclaimer: really lovely, amazing people all around. great humans. had some understandable flaws. i don't like the use of the word foreign because i don't want to otherize anyone but not sure what other word to use
Hospitals are increasingly owned by insurance companies. The customers are not doctors but shareholders. That is why a cure is seen as a threat.
> Send them back on foot to Moscow, revoke their non-Russian citizenship

Eh, why? Most of them escaped russia because they didn't liked Putin. I know a few such Russians in Poland (with Polish citizenship too).
>But as a hiring manager, this is the last thing we want.

This is just a natural response to the automatic screening methods that have been used by the hiring side for years. Finally the sides have more equal power again in this arms race started by the hiring side.

Of course the consequence is that everyone loses and is worse off than if this arms race never started, but you (not you personally, hiring managers in general) should have thought about that before screening automatically. This is on you.
Too bad, fix hiring. A five interview cycle that takes nearly two weeks which keeps me from applying to other companies who are shitting up job listings with fake or ghost listings is reducing the SNR of hiring dramatically.

The solution is likely some kind of highly curated list you have to pay to be on, for both sides to increase signal and get rid of scammers. Many friends of mine have gone down the line of replying to recruiters only to be met with “contract to hire <20% of market rate and you must move to Nowhere, MN” when clearly your profile says what metro you are attached to.

Things are gonna be worse longer I think. Leaning hard on my network.
I've witnessed the answer personally. Indian immigrants working physically in US call centers.
> A scary number of candidates did not take rejection well and tried to use my feedback against me.

This happened to one of my bosses. As a result, I've never attempted it.

Except once, a candidate realized at the end of a technical screen they had done poorly and demanded feedback. I gave an initial bit (shouldn't have, my mistake) and instantly turned it around on me.
You have an excellent point. Bear with me.

I realized when writing this up that saying SAE isn't helpful but this is comes across as perhaps devils advocating. But I came across this in a stream of consciousness while writing, so I had to take a step back and think through it before editing it out.

Here is that thinking:

If I had a model completely mapped using SAE, at most, I can say "we believe altering this neuron will make it 'think' about the golden gate bridge more when it talks" ---- that's really cool for mutating behavior, don't get me wrong, it's what my mind is drawn to as an engineer.

However, as a developer of LLMs, through writing the comment, I realized SAE isn't helpful for qualifying my outputs.

For context's sake, I've been laboring on a LLM client for a year with a doctor cofounder. I'm picking these examples because it feels natural, not to make them sound fancy or important

Anyways, let's say he texts me one day with "I noticed something weird...every time I say 'the patient presents with these symptoms:' it writes more accurate analyses"

With this technique, I can quantify that observation. I can pull 20 USMLE questions and see how it changes under the two prompts.

With SAE, I don't really have anything at all.

There's a trivial interpretation of that: ex. professionals are using paid LLMs, and we can't get SAE maps.

But there's a stronger interpetation too: if I waved a magic wand and my cofounder was running Llama-7-2000B on their phone, and I had a complete SAE map of the model, I still wouldn't be able to make any particular statement at all about the system under test, other than "that phrase seems to activate these neurons" -- which would sound useless / off-topic / engineer masturbatory to my cofounder.

But to my engineering mind, SAE is more appealing because it reveals how it works fundamentally. However, I am overlooking that it still doesn't say how it works, just a unquantifiable correlation between words in a prompt and what floats get used. To my users, the output is how it works.
It always felt arbitrary to me :

next(x)={x} would give

1={0}
2={{0}}
3={{{0}}}

Kuratowski's encoding gives :
0=Ø=()
1={Ø}=(0)
2={Ø,{Ø}}=(0,1)
3={Ø,{Ø},{Ø,{Ø}}}=(0,1,2)

The cardinal of N is n and
every element in N are the predecessors of n.

Von Neuman's encoding gives :
0=Ø
1=0U{0}={Ø,{Ø}}
2=1U{1}={Ø,{Ø},{Ø,{Ø}}}

Now the cardinal of N is n+1, and n is the maximum
of the set N defining n.

Both Von Neuman's and Kuratowski's encoding allows us to define ordered tuples, but I cannot understand how to write the tuples for Von Neuman's in the context of natural numbers.

2 is {Ø,{Ø},{Ø,{Ø}}} with Von Neuman's
we can recognize 0 and 1 as the first and second element of the tuple : what is the third one ?
Mass layoffs are generally not that discriminating. Because they don't want the news to leak in advance, it's usually a circle of the top brass and the HR department that decides who goes. And with mass layoffs, it's usually entire teams not just people who were on performance plans. Hence, I don't think their argument is good. I have little against importing talent when there is a shortage[1], but mass layoffs are good evidence that there is not.

[1] Well, except when the country fails to invest enough in education and training. It's wrong for the UK, for example, to consistently not fund enough medical students, and make up for it by importing staff educated by third world countries.
>This logic only sounds good until you’re on the hiring side and you see the stark difference between the LLM abuser applications and the people who are genuinely applying.

Thanks to the automated systems put in place on the hiring side, you often never see the applications of many of the people genuinely applying because your stupid automated filters determined they weren't qualified.
Surely if you sue fake Nintendo, you don't need to discuss the licensing, you'd be sueing them for filling a claim they have no standing to claim
I just don't agree (aside from the part about small towns, I guess, but that's not relevant to SF).

If OP can't find differing personalities in a place like SF, it's a skill issue, sorry to say.
The most important thing to look for (imo) is programmability. You want a board that supports QMK or ZMK firmware. This lets you set up stuff like mod-tap, macros, mouse keys, etc. Mod tap is my favorite thing ergonomics-wise: v and m act as shift when held, normal letters when tapped. Really takes the strain off my pinkies. I also like having a navigation layer: hjkl in this layer act like vim-layout arrow keys.

I use a ZSA Moonlander. Best investment ever.
As someone with a physical disability, it was only "pride" which prevented me from hanging the placard [before app-based-only parking].

I don't occupy designated handicapped parking space, I just use the permit to get free parking (of which I am legally entitled to, handicapped per my US state's rules).

>consider a solution which doesn't perpetuate intra-class warfare on behalf of the wealthy class who imposed these stupid [rules]

Good advice.
Should I have to watch marketing events to make sure I'm not being spied on?
Maybe, but also denim is pretty much the ugliest thing a person can wear
its not legal n the uk. Quotas in particular are illegal, as is direct discrimination.
https://www.gov.uk/government/publications/positive-action-i...
I bit the bullet and got used to column staggered layouts but I feel your pain. Some options that I found when I was down this rabbit hole:

https://ultimatehackingkeyboard.com/ (my personal favorite)

https://keeb.io/products/cepstrum-keyboard-pre-built

https://keeb.io/products/quefrency-keyboard-pre-built

https://keeb.io/products/sinc-keyboard-pre-built

https://dygma.com/pages/dygma-raise-2

https://www.keychron.com/products/keychron-q11-qmk-custom-me...
Non-programmer usage of neovim outweighs programmer usage?
The vortex might be a variation of a trompe, a water-powered air compressor. The compressed air is in turn used as an airlift pump.

new to me: https://en.wikipedia.org/wiki/Trompe

https://en.wikipedia.org/wiki/Airlift_pump

edit: the text version of the video refers a study that I don't have access to.

https://primalnebula.com/the-engineering-of-the-alhambras-wa...

The Mastery in Hydraulic Techniques for Water Supply at the Alhambra García-Pulido, Luis José
Journal of Islamic Studies, Volume 27 (3) – Sep 1, 2016
https://www.deepdyve.com/lp/oxford-university-press/the-mast...
Being able to access iPhone apps I use continuously during the day without having to pick up the device makes this feature hugely useful to me. I only get asked to auth on my iPhone once every few days, if that.
The web is just as “open” as it ever was. It is just as easy if not more so to create and host your own content.

You’re complaining about “discoverability” which hasn’t been easy since 2000.

The most successful independent writer today is probably Ben Thompson’s “Stratechery”

https://stratechery.com/about/
https://blockbuster.thoughtleader.school/p/how-ben-thompson-...

Through organic search, you probably won’t find any of his free articles when searching for a topic on the first page. He had to put in the work over years and couldn’t depend on Google.
> Recent cohorts have been infected with a sense that the job market is nothing more than a game that they need to min-max

Can you blame them? Other comments mention that automating applications is just the response to automating rejections, so why wouldn't an employee min-max their job when companies are min-maxing their employees?
Give the UHK a look

https://ultimatehackingkeyboard.com/
Maybe just the ones with bright neon "Glow-foo" canary branding..
Scourhead: An open source AI agent that streamlines online research
"My wife provoked the beating by asking for a divorce"
I think this mostly plays a role when using modal text editors like vim in your terminal. Speed matters so very much then!
Give it a try if you want ;)
Taxes should absolutely be punitive for socially destructive behaviors.
They had to call it "Spotify Unwrapped". Bad move. Too close to a trademark.

If they'd called it "Crappy Streaming Service Royalty Calculator", Spotify would not have had any legal grounds to complain. Even if they used a Spotify logo to identify the Spotify calculation option.
What exactly is the "evil ideology" you're pointing to here?
Thanks, that was an interesting rabbit hole. Although I can't help but feel there's a philosophical map/territory confusion here. Like, sure, numbers can't possibly just "be" sets because there are many different models of the naturals in (ZF) set theory, even in higher order logics. But I feel like a Platonist would just counter that of course this is the case - we are simply modelling the properties of the "true" naturals with these sets, in the same way that differential equations can model the behaviour of fluids without "being" water. Nobody writes down Navier-Stokes and expects to get wet!
I reformatted an existing list of split keyboards into a gallery some time ago: https://aposymbiont.github.io/split-keyboards/ — you can filter for "traditional" layout.

I've not been actively keeping the site up-to-date. I merge PRs every so often, but I'm not following Reddit/Discord/etc to add new keyboards.
For Germany it’s far from reality… it shows from Paderborn to Dortmund in less than hour, but usually it’s good if you get there in two hours by train…
Turn it on automatically? Programmable space heaters are available:
https://duckduckgo.com/?q=programmable+space+heater&iax=shop...

https://duckduckgo.com/?q=seasonal+affective+disorder+lamp&i...
Show HN: Emacs.tv – A video index of Emacs-related content
Libero – A Programmer's Tool and Code Generator (1997)
Religion too. Those that are told a prophecy is to come, have a lot of incentive to fulfill that prophecy. Human belief systems are strange and interesting because (IMO) of the entanglement of beliefs with identity
Lots of complaints about the new windows, but just wait 100-200 years and they’ll be seen as historical items that shouldn’t be replaced as well.
There is a shortage of American workers willing to work for internationally competitive salaries. This is similar in Europe, by the way. Industry associations claim that there is a shortage of skilled workers, whereas in reality there is only a shortage of skilled workers willing to work for low-ish salaries. On the other hand, paying everyone higher salaries across the board would have its own economic consequences.
+1 love to see a comment written by an actual human programmer

It's always been a numbers game. The people writing this posts you don't want to work with. Think about it, would you write this post (you the reader, not you throwaway guy I'm replying to)? Top commenter entitled guy with "Ivy League" degree who probably did everything right in school but cannot code.