MurphyA/hacker-news huggingface dataset:
by zozbot234 | 2025-11-26 13:32:37+00:00
The standard semantics for second-order logic are not very practical and arguably not even all that meaningful or logical (as argued e.g. by Willard Quine); you can use Henkin semantics (i.e. essentially a many-sorted first-order theory) to recover the model-theoretic properties of first-order logic, including Löwenheim-Skolem.
by dav_Oz | 2025-11-26 13:33:00+00:00
What would the people who sealed the grave do when they accidentally unearthed a sophisticated burial site from the middle bronze age? Leave it alone? Maybe. I'm not sure, humans are curious.

Well the effort and care put into the grave made us - 2000 years later in cyberspace - in a sense remember the person. Who was this young woman? They even gave us hints/rewards. Made us curious.

So maybe they prepared her for an afterlife ... of continued memory and presence among the living, which they with their technological limitations succeeded in, we are talking about her, now.
by flobosg | 2025-11-26 13:33:08+00:00
Unsurprisingly maybe, DPANN archaea can also host viruses: https://www.nature.com/articles/s41564-025-02149-7 (Paywalled, but there’s a preprint at https://www.biorxiv.org/content/10.1101/2025.02.15.638363v1)
by clbrmbr | 2025-11-26 13:33:14+00:00
Do you plan to operate in USA (SEC rules)?

The investment structures could use description in English.

Does investing in these instruments make the investor a co-owner of the business? (Like a member of an LLC)? Or is it a revenue sharing contract of some kind?

SMB investing often takes the form of debt. Do you support cash flow loans?

What’s the enforcement mechanism if the SMB raises funds and then doesn’t pay out? I know a guy who does cash flow loans for small businesses and being a real tough mofo (and having even rougher characters on staff) is part of the job.

Also I think people expect there to be an exchange for shares. I know these assets will be highly illiquid, but still you could permit buy/sell orders to be placed on the books to facilitate exiting.
by rsynnott | 2025-11-26 13:33:23+00:00
The only one that seems to have failed in the same way as the US system has failed is Hungary (Turkey had a broadly similar systemic failure, but isn't a parliamentary republic). Now, obviously, a parliamentary democracy isn't a _guarantee_ that you won't fall into autocracy/kleptocracy (notably, the Weimar Republic was one, albeit a poorly designed one), but they do seem more resistant to it than presidential republics, where it seems to almost happen more often than not.
by libraryofbabel | 2025-11-26 13:34:45+00:00
Knockoffs? please, we call them “reps” ;)

There are whole subreddits devoted to this, the most well-known being repladies, which went private after it got too famous due to an NYT article. People will spend $1000 or more for a really good Birkin knockoff with high quality leather and hardware. The bags are almost all made in workshops in China. Getting one is apparently (I haven’t done it myself) an interesting exercise in trust and reputation: how do you know the seller isn’t going to send you a cheap knockoff from China rather than a “real” $1000 knockoff? In practice there is a whole world of trusted Chinese middlemen with reviews etc. who have a strong stake in keeping their reputation high in the “reps” community (but you’d better make sure the reviews are real…).
by Vaslo | 2025-11-26 13:35:08+00:00
My team has all moved slowly from R to Python. There was no pressure to do so. R has a clunky feel with a bunch of modules that can be a challenge to automate. Python’s general purpose use beats whatever superior modules R has all day. If someone wants the same package on Python from R it’s probably out there.

While plotting may be clunky, I just don’t see r as much better. Plus in 2025 I can just provide a sample of data and what plot I want in an LLM and I get zero shot code of the plot I want.

Author sounds very academic to me.
by jameshih | 2025-11-26 13:35:34+00:00
I’ve always struggled to wake up in the morning. No matter how many alarms I set, I’d hit snooze on all of them and fall back asleep. So I built a tool to actually help me get up. It’s an AI alarm clock app that calls me in the morning, chats with me to make sure I’m awake, and motivates me so I start the day feeling energetic and ready to go.

The app is called Wake AI, and it’s currently available on iOS. I built it using ElevenLabs’ voice agent. Since their AI voice API is expensive, I can only offer a 3-day free trial with a weekly subscription after the free trial. But if more people use it, I can upgrade to a higher ElevenLabs plan, which will lower the AI voice token costs, and I will be able to reduce the subscription price.

Feel free to check it out!
by queenkjuul | 2025-11-26 13:35:54+00:00
I was a lot happier in previous non-programming jobs, they just were much worse at paying the bills. If i could make my programming salary doing either of my previous jobs, i would go back in a heartbeat. Hell if i could make even 60% of my programming salary doing those jobs I'd go back.

I enjoy the practice of programming well enough but i do not at all love it as a career. I don't hate it by any means either but it's far from my first choice in terms of career.
by MandieD | 2025-11-26 13:36:23+00:00
It's helping teach my five year old patience and not to flail around hitting the keyboard when something doesn't happen immediately. He only gets to watch videos and playlists I search out for him, and only when I'm in the room... no YouTube Kids here. Once he's able to spell well enough to search, I'll have to re-adjust.

I have found, and this might just be psychological, that if I hit pause, wait a second, then play, the video starts playing within a few seconds.
by smollOrg | 2025-11-26 13:36:40+00:00
> According to the shocked researchers

What is this, some content creator run Biohacker Lab in some basement on Microflix premises?

Ominous voice: the tiny cell withdrew into the cracks of existence and saved it's entire code to be in the lines between, the Singular Point which was neither a fraction of space, nor a unit of time, hidden in the void of Chututululu's (33rd degree cousin of Cthulhu) dreams, written in the unspeakable language of the subtext of the book of neither life nor death, that nobody would decipher until the time was right AND GODZILLA GETS TO WALK THE EARTH AGAIN.
by aestetix | 2025-11-26 13:36:48+00:00
That treaty was established just over a decade after Hitler surrendered, when there were two Germanys, an Iron curtain across Europe, and a lot of other things which changed significantly after the Wall fell. Surely you would agree that those words meant something quite different then than they do now?

I don't think my framing was sensationalist at all. Chat Control is using the threat of child porn to make people forget the reasons why the ECHR cares so deeply about privacy. I'm not sure why Denmark is pushing it so hard, but governments have long feared and hated encryption.
by wcarss | 2025-11-26 13:36:59+00:00
Absolutely, I agree that it's a useful pattern. I've personally typed 4111 1111 1111 1111 into a stripe form more times than I want to even think about.

My point above was that it's not necessarily easy to convince the operators of a business that it's a justifiable engineering expense to set up a new "prodlike but with anonymized data" environment from scratch, because it's not a trivial thing to make and maintain.

I do think it's pretty easy to convince operators of a business to adopt the other strategy suggested in a sibling thread: run a dry mode parallel code path, verify its results, and cut over when you have confidence. This shouldn't really be an alternative to a test environment, but they can both achieve similar stuff.
by Thorrez | 2025-11-26 13:37:01+00:00
>There is no probable, verifiable solution here, not any more than when talking about human employees, contractors, friends.

Well when talking about employees etc, one model to protect against malicious employees is to require every sensitive action (code check in, log access, prod modification) to require approval from a 2nd person. That same model can be used for agents. However, agents, known to be naive, might not be a good approver. So having a human approve everything the agent does could be a good solution.
by bitmasher9 | 2025-11-26 13:37:38+00:00
That’s strictly not true, at least for “old media” advertising.

Advertisers are selected based on being palatable for the content and the audience. It’s common for content licensing deals to has stipulations about which advertisement is acceptable. Virtually all platforms — even Google Search — has rules about the type of advertisements you see. There are of course laws that prohibit the advertising of certain types of products in certain places.

Even if these scams had the money for a full page NYT article, they wouldn’t had gotten it.
by crashabr | 2025-11-26 13:37:50+00:00
Code existed before FOSS. Code that people collaborated on existed before FOSS. Code given away for free existed before FOSS. FOSS code, by itself, is not anything special.

Licences also existed before FOSS, but open sources licences enabling the kind of freedoms that they allow did not exist. And as it happens, a license is not a technical artefact but a social contract. Stallman is activist, not simply a neutral combination of a technician and a lawyer.

The social contract and political vision are consequently not ancillary, but core to FOSS. Code is the medium, but the license is the innovation. Without that social contract, 'open' code is just abandonware.

The community doesn't need to be a 'house party,' but the license guarantees the right for a community to form when the original author walks away.
by itopaloglu83 | 2025-11-26 13:38:00+00:00
This was one of the most relaxing things I’ve done. Recommendations are so bad so useless, despite paying for premium for peace, it’s just hassle to interact with the platform.

And shorts, just let us turn them off in the subscription page exactly like the posts.

It’s utterly baffling that a multi-billion dollar video empire doesn’t provide much of an option to their users in terms of settings.
by itajenglish | 2025-11-26 13:38:06+00:00
The API gods have struck gold again! I love this new approach. Really looking forward to seeing how extensions extend the core SDK functionality, especially those created by the OSS community. I also looking forward to seeing how the invoking of Inngest workflows directly in your business logic and getting the result synchronously will materialize. This will be a huge unlock in handling error prone workflows.
I built an open-weights memory system that reaches 80.1% on the LoCoMo benchmark
by ViktorKuz | 2025-11-26 13:38:09+00:00
I’ve been experimenting with long-term memory architectures for agent systems and wanted to share some technical results that might be useful to others working on retrieval pipelines.

Benchmark: LoCoMo (10 runs × 10 conversation sets) Average accuracy: 80.1% Setup: full isolation across all 10 conv groups (no cross-contamination, no shared memory between runs)

Architecture (all open weights except answer generation)

1. Dense retrieval

BGE-large-en-v1.5 (1024d)

FAISS IndexFlatIP

Standard BGE instruction prompt: “Represent this sentence for searching relevant passages.”

2. Sparse retrieval

BM25 via classic inverted index

Helps with low-embedding-recall queries and keyword-heavy prompts

3. MCA (Multi-Component Aggregation) ranking A simple gravitational-style score combining:

keyword coverage

token importance

local frequency signal MCA acts as a first-pass filter to catch exact-match questions. Threshold: coverage ≥ 0.1 → keep top-30

4. Union strategy Instead of aggressively reducing the union, the system feeds 112–135 documents directly to a re-ranker. In practice this improved stability and prevented loss of rare but crucial documents.

5. Cross-Encoder reranking

bge-reranker-v2-m3

Processes the full union (rare for RAG pipelines, but worked best here)

Produces a final top-k used for answer generation

6. Answer generation

GPT-4o-mini, used only for the final synthesis step

No agent chain, no tool calls, no memory-dependent LLM logic

Performance

<3 seconds per query on a single RTX 4090

Deterministic output between runs

Reproducible test harness (10×10 protocol)

Why this worked

Three things seemed to matter most:

MCA-first filter to stabilize early recall

Not discarding the union before re-ranking

Proper dense embedding instruction, which massively affects BGE performance

Notes

LoCoMo remains one of the hardest public memory benchmarks: 5,880 multi-hop, temporal, negation-rich QA pairs derived from human–agent conversations. Would be interested to compare with others working on long-term retrieval, especially multi-stage ranking or cross-encoder heavy pipelines.

Github: https://github.com/vac-architector/VAC-Memory-System
by prmoustache | 2025-11-26 13:38:48+00:00
> but it does feel like it's yet another distraction from their core services.

It is basically marketing. I am not sure everyone would call that a distraction if it gives kagi more visibility and thus, customers and revenues to spend on r&d.

Belgrade is a good place to test if that marketing works. It is a tech hub, which means higher probability to get new kagi subsribers, and it is not too expensive as a place to do an experiment. If they realize the ratio between money spent on this coworking space vs customer gained in that area in a year is not in their favor they can easily not renew their rent and shut it off.
by rsynnott | 2025-11-26 13:39:12+00:00
Don't be the person refusing the 4GL/Segway/3D TV/NFT/Metaverse. Regularly give the new tool a chance and check if improvements are useful for specific tasks.

Like, I mean, at a certain point it runs out of chances. If someone can show me compelling quantitive evidence that these things are broadly useful I may reconsider, but until then I see no particular reason to do my own sampling. If and when they are useful, there will be _evidence_ of that.

(In fairness Segways seem to have a weird afterlife in certain cities helping to make tourists more annoying; there are sometimes niche uses for even the most pointless tech fads.)
by embedding-shape | 2025-11-26 13:39:45+00:00
My experience and the ones I personally known, been in Western Europe, South America and Asia, and programmers I know have an easier time to find new jobs compared to other professions.

Don't get me wrong, it's a lot harder for new developers to enter the industry compared to a decade ago, even in Western Europe, but it's still way easier compared to the length people I know who aren't programmers or even in tech.
by wonger_ | 2025-11-26 13:39:55+00:00
https://blog.kagi.com/celebrating-20k

> The process from here involves setting up a business entity in Germany, so we can import the t-shirts, store them in a warehouse, connect inventory logistics and ship them all over the world. This includes building a website and connecting it to a back-end database. So, we basically ended up owning a merch production operation end-to-end, just so that we could ensure premium quality of these t-shirts!

> Now, you may ask, why did we go through all this trouble and allocate nearly a third of our investor-raised funds to produce and freely distribute 20,000 t-shirts?
by webdevver | 2025-11-26 13:40:01+00:00
i have no idea why nobody is doing it - it is such an obvious use case of LLMs. i guess the reveng market is much smaller than most people realized?

then again, who needs reveng when you can use said LLMs to write new software "just in time" with the same API.

reveng also was one of those industries that always had a very suspicious crowd of people - i dont mean malicious, i mean... a lot of them drew a disturbing amount of pleasure from doing incredibly labourious work, sort of like someone who enjoys putting together an airfix model over many months with a microscopic brush and tweezers.

so i wonder if a lot of them perversely enjoy starting at reams of bytes and putting together this 10,000 piece puzzle, and having an llm solve it for them is a deep affront to their tastes.
by misiek08 | 2025-11-26 13:40:25+00:00
My personal experience with both is that decompilers work great for easy code. I still have both Java and C# projects that I wish I decompiled even to worst possible, but almost compilable code. Instead getting just decompiler errors or code where all variables got the same letter/name and of course different types...

I think I've tried all available free tools and some paid in Java case. Finally I just deducted logic and reverse engineered the most important path.
by ajanthanmani | 2025-11-26 13:40:29+00:00
Thanks for the honest feedback - really helpful.

On the 98 questions: fair point. I was trying to get as many data points as possible create the more accurate finger print for the leadership style. I am now thinking a shorter version for a simpler use case.

On the "summary vs unlock later" wording, that's on me. The core summary along with some of the key insights about the leadership style are completely free, no emails required. I'll fix the copy, to convey this message clearly.

On the archetype: agreed. This isn't meant to be scientific psych test or a hiring tool (at least for now). it's more of a reflection framework for founder and aspiring CEOs. I'll make it clearer too.

Really Appreciate you taking the time to call them out.
by seec | 2025-11-26 13:40:57+00:00
I very much disagree with your point of view. If you have authoritarian parents with narrow world views, being exposed to other ways of thinking/living in school will only raise your expectations and create resentment against the parents which will generally make things worse for you. And if you are a slacker (and the parents lets you slack) being in class isn't that useful. If you are smart enough you'll get by, doing nothing. But the moment you'll be required to actually put some effort the lack of work will show up and by then it will be too late. On the other hand you could get an early warning if you avoid the hard stuff being homeschooled and it's generally more effective when you figure out stuff yourself, not being spoon fed in a lecture.

And by being at home, time can at least be used for self-guided exploration that are likely to be more useful than whatever they decided to teach in the current era at school (outside of language/math/science later on it's all thinly disguised propaganda anyway). If you are focused on the same things as everyone else at the same time you are not actually building strength around your interests/characters, the only purpose is to make you fit a basic template so you can be "useful" in the labor market. The idea of public school is to make a tool out of you, before anything else.

What you are complaining about is having shitty parents, which is a problem with bad outcomes, regardless if you go to public school or not. And even if you are successful at public school, there is little chance those parents will pay for later studies, so you are mostly setting yourself up for disappointment. You might as well learn to figure out stuff on you own, because you'll need that skill more than anything else when it will be time to leave your shitty parents.

I understand the frustration that comes from the feeling of having "missed something" but I can assure you that unless you were leaving in a very good school district (aka rich, which doesn't seem the case) you really didn't miss anything. Most of the real learning is done outside of school, inside school is mostly endoctrinement.
by maelito | 2025-11-26 13:41:45+00:00
I cancelled my Kagi account following the positions taken by the company on Yandex issue.

Did things change ? I'm not saying the opening of an HQ in Serbia is linked. It's obvious this is linked to the founder's origins and that's OK.

Just wondering if I should reconsider my subscription to this great product.

(Serbia's facing risks of petrol shortage because of Russia's war, just saw this in the news)
by jqpabc123 | 2025-11-26 13:43:09+00:00
The best available excuse for holding crypto is that it is "digital gold".

But real gold has been fully digitized. It's easy to buy and hold gold without ever taking physical custody of it.

And, gold can be bought and sold without any transaction fees.

And, the gold market is regulated and audited --- unlike crypto.

And, gold has industrial and numismatic value that bitcoin lacks.

Central banks around the world are currently stockpiling gold as a hedge against a failing US dollar.

Right now, the "smart money" knows that the best available "digital gold" is actually the real thing --- bullion.
by siliconpotato | 2025-11-26 13:43:56+00:00
> We even had an issue that SLURM uses 4 ports per job for the duration of the job, so you can't actually run more than a few thousand jobs simultaneously because the controller runs out of TCP ports!

That sounds concerning. Do you have a link to a bug report for this please? Is the tcp port problem on the compute node side or the controller side?
by gorgoiler | 2025-11-26 13:44:03+00:00
The computer terminal with an annoying box jammed up against your right hand, but also enough space for an ashtray:

https://encrypted-tbn0.gstatic.com/images?q=tbn:ANd9GcQwxhqR...

I kicked myself on the second read for missing why the title mentions trucking: it’s in the article, buried a little, but Ridley Scott called this the “truck driver” version of sci-fi.

“Bachelor pad” sci-fi is another great description, and this subreddit uses the equally fantastic term “cassette futurism”:

https://www.reddit.com/r/cassettefuturism/

I think it’s why I love the Technology Connections YouTube channel too. A lot of the devices are like 1980s science fiction! (The article in this discussion mentions the set designers using rotary mechanical switches to automate blinking light patterns so, in a way, they were living in their own futurism.)
by rsynnott | 2025-11-26 13:44:56+00:00
> The point the article is trying to make is that Labubus were an abnormally short lived fad

Is that actually true, though? I feel like furbies, say, were if anything a bit shorter. Possibly people were expecting Labubus to be like beanie babies, but really beanie babies were the exception in lasting abnormally long for a toy fad.
by chillingeffect | 2025-11-26 13:45:29+00:00
> If folks want more Rust projects under licenses they prefer, they should start those projects.

100% true, but also hides a powerful fact: Our choices aren't limited to doing it ourselves. Listening to others and discussing how to do things as a group is the essence of community seeking long-term stability abd fairness. It'a how we got to the special place we are now.

Not everyone can or should start their own open source project. Maybe theyre already doing another one. Maybe they don't know how to code. The viewpoint of others/users/customers is valid and should not only be listened to but asked for.
by rjmill | 2025-11-26 13:45:42+00:00
> But isn't it true for JavaScript too?

I don't think so. It's been a while since I've bled on tricky async problems in either language, but I'm pretty sure in JS it would be

[...] parent_before parent_after child_before [...]

In JS, there are microtasks and macrotasks. setTimeout creates macrotasks. `.then` (and therefore `await`) creates microtasks.

Microtasks get executed BEFORE macrotasks, but they still get executed AFTER the current call stack is completed.

From OP (and better illustrated by GP's example) Python's surprise is that it's just putting the awaited coroutine into the current call stack. So `await` doesn't guarantee anything is going into a task queue (micro or macro) in python.