MurphyA/hacker-news huggingface dataset:
by rkomorn | 2025-10-21 09:56:28+00:00
I think it really depends on how big of a pivot and how good they were pre-pivot.

Rockmelt made one of my favorite browsers (UX-wise) in 2010-2011. A year later they pivoted to ... I don't even remember what anymore. But it wasn't at all a product I cared about.

"Betrayal"? I don't know. It just was pointless to me and I stopped using their products.

Would I have kept using their products if the new stuff they were building seemed useful to me? Yeah, I think so. They had enough credibility with me to give them a chance at another product.
by wahern | 2025-10-21 09:59:00+00:00
PUC Lua doesn't use these tricks; every value in the VM is represented with a POD struct with explicit tag and value members. The OP may have been thinking of LuaJIT, which uses NaN boxing, but not pointer tagging.

PUC Lua does rely on two's complement integer representation, though, as well as long long, while nominally adhering to C90, so not quite strictly conforming.
by noir_lord | 2025-10-21 10:01:21+00:00
Militarily they where powerful however they bought that power they didn't build it (UK was primary supplier of their battleships when they had their arms races with Chile and Brazil respectively) so it was a bit of a glass hammer situation.

https://www.youtube.com/watch?v=gnl-wtl5-1E Drachinifel covers part of it here as well as he usually does.
by TZubiri | 2025-10-21 10:01:32+00:00
"Read the following tweet and provide a classification string to categorize it.

Your class label should be between 30 and 60 characters and be precise in snake_case format. For example: - complain_about_political_party - make_joke_about_zuckerberg_rebranding

Now, classify this tweet: {{tweet}}"

I stopped reading here. It's a bit obvious that you need to define your classification schema beforehand, not on a per message basis. And if you do, you need a way to remember your schema. Of course you will generate an inconsistent and non-orthogonal set of labels. I expected the next paragraphs to immediately fix this like

"Classify the tweet into one of: joke, rant, meme..." but instead the post went on to intellectualizing with math? It's like a chess player hanging a queen and then going on about bishop pairs and the london system
by monerozcash | 2025-10-21 10:01:44+00:00
The right way is the one that you choose yourself and suits your needs.

There's no default right answer to this, as the answer depends entirely on what you're sorting and how you want it sorted. Even for a given character set the "correct" alphabetical sorting is still locale dependent.

And even knowing all that, "correct" programmatic sorting might still be essentially impossible. Some digraphs may be sorted differently depending on the specific word. For example A vs Aa, where Aa means Å. But Aa won't always necessarily mean Å, so good luck figuring that out.
by sofixa | 2025-10-21 10:02:41+00:00
> FX is magic beans?

> Although, to be fair, I can see the perspective that argentine _debt_ is magic beans funded by hopes, wishes, and the IMFs argentine refinancing.

Exactly. FX isn't magic beans. The currency of a country that has defaulted more time than anyone cares to remember is magic beans though.

There is a reason for the old saying "There are 4 types of economies - developed, developing, Argentina and Japan".
by js8 | 2025-10-21 10:03:21+00:00
> Don't you mean xA = B ?

No, that equation can be created as a special case from equation TAx = B (where Txy = yx is a transposition combinator).

> Not if you require x to be strict, i.e. it must use its argument.

I am not sure it would generally help but maybe you mean it only in case of equations xA=B (not Ax=B as I suggested). I also think this strictness condition would be too limiting.

In equation Ax=B, we can take A of the form R_n A_1 .. A_n, where R_n reduces Ax to x A_1 .. A_n (R_n rotates x in front of n arguments).

So if x is concrete and takes n arguments, we can think of it as "text" (parenthesised expression) in symbols that are to be interpreted as A_1, .. A_n. Requiring that every possible symbol is used in a language text fragment is a weird condition, which doesn't make much sense to me.

In any case, my definition of typing judgment then allows to put a chosen condition on a text composed from chosen symbols, which is quite powerful and can be used to e.g. determine whether a quoted expression is valid. And arguably it is a very natural definition in the context of ULC. (I read to Mock a Mockingbird 30 years ago - in partial Slovak translation - and most problems there could be formulated as the Ax=B equation for x being a concrete term.)
by leemartin | 2025-10-21 10:03:53+00:00
Earlier this month, OpenAI announced that Spotify could now join your ChatGPT conversations. Having just written about the state of the Spotify Web API, I was curious to see what this integration was capable of. In this latest newsletter, I decided to examine the authentication permissions to see what account access is being agreed to and what capabilities are actually being utilized, and in what form. Turns out, you're agreeing to a little more access than the current functionality you're receiving. This raises questions about future plans, privacy implications, and what your data might be used for down the line.
by CaptainOfCoit | 2025-10-21 10:04:11+00:00
Sure, but why does it always have to lead to users getting the short end of the stick? Why can't they accept money and NOT screw over the users? And if the choice is between "Take VC money and screw users" and "Reject VC money and happy users", why do 99% of the people take the first option? They're most likely software developers (as this is the context), so it isn't really a choice between "uncomfortable life" or "comfortable life", there is something more going on here.
by dspillett | 2025-10-21 10:04:41+00:00
> SN would take a cut of transactions

These are people already trying to divert the discussion off-site for their benefit. Very few would honestly report any resulting transaction for the cut to be taken from.

[yeah, it did see the sarcasm tag, just clarifying to put off would be entrepreneurs so we aren't inundated by show-hn posts from people vibe-coding the idea over the next few days!]
by supermatt | 2025-10-21 10:06:35+00:00
Not sure if this will help to debug. Definitely not working for me in Safari. Could be a downstream cache I guess? The browser is using iCloud Private relay. I have "disable cache" checked in the network inspector. The only plugin installed is 1password, but I get the same problem when disabled. Restarted browser with same issue. Seems to work when in private mode, but not without.

Summary URL: https://ferron.sh/docs Status: 200 Source: Network

Request Accept: text/html,application/xhtml+xml,application/xml;q=0.9,/;q=0.8 Accept-Encoding: gzip, deflate, br Accept-Language: en-GB,en;q=0.9 Priority: u=0, i Sec-Fetch-Dest: document Sec-Fetch-Mode: navigate Sec-Fetch-Site: none User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/18.6 Safari/605.1.15

Response Accept-Ranges: bytes Cache-Control: public, max-age=900 Content-Encoding: br Content-Security-Policy: default-src 'self'; style-src 'self' 'unsafe-inline'; object-src 'none'; img-src 'self' data:; script-src 'self' 'unsafe-inline' 'unsafe-eval' https://analytics.ferron.sh; connect-src 'self' https://analytics.ferron.sh Content-Type: text/html Date: Tue, 21 Oct 2025 10:07:46 GMT ETag: W/"ba17d6fadf70c9f0f3b08511cd897f939b6130afbed2906b841119cd7fe17a39-br" Server: Ferron Strict-Transport-Security: max-age=31536000; includeSubDomains; preload Vary: Accept-Encoding, If-Match, If-None-Match, Range X-Content-Type-Options: nosniff x-ferron-cache: HIT X-Frame-Options: deny
by Someone | 2025-10-21 10:06:41+00:00
> And it also makes the project more secure, from supply chain attacks and such.

And less secure, from having fewer eyes look at it.

> Because there is no "abstraction layer" of a framework,

In a large project, I think you’ll end up developing a framework for use in-house, even if you don’t call it that.

> you also have greater control over your project, and can make performance optimizations at a lower level.

That’s true; you can tweak the framework to match your use case. For an analogy, look at Apple. They have much greater control over their hardware stack than the typical PC manufacturer. Because of it, they can change it to suit their needs.
by liqilin1567 | 2025-10-21 10:06:44+00:00
This is my self-hosted list--all of which are hosted on a 1-cpu, 1G RAM VPS :)

1. siyuan - a lightweight note-taking website like obsidian

2. readeck - a lightweight bookmark website scrapes original page to the local server while keeping the original formatting.

3. leantime - a lightweight project management website
by npodbielski | 2025-10-21 10:07:06+00:00
I guess it depends on your country climate, here, where I live in the basement I have steady 22-23 degrees C, so not a problem really. Also I do not have even GPU there which is the most problematic part usually.

About DDOS, you should not your server directly connected to the internet. Use some router or managed switch first. Usually it have already some kind of protection on whatever device is connected to your internet provider infrastructure.

Another question is why would anybody DDOS you? You are not important enough. When I bought domain and connected it to my VPS - I got almost instantly visitors (probably bots looking for new domains being registered) trying bruteforce an access. And I almost instantly blocked Root login and Password auth. They were still trying to login. So I moved the port to higher one. It was calm for few months and then they found new port and again tried to ram it down. So I blocked IPs only to predefined set.

It was exactly the same when I opened my server to the internet with new domain. From that point of view it does not matter if this is your machine, VPS or dedicated server on some rack somewhere. You are responsible for its security.
by darkwater | 2025-10-21 10:07:09+00:00
> Karma jealously is as unbecoming as karma whoring, so perhaps wind the ol' neck in a little there. Laziness/ineptitude is more common than malice and this could have been accidental via quick copy+paste.

Agreed, and sorry for that (even though my gut and not-so-gut feeling is that it was done on purpose rather than by mistake, but I might be on the wrong side myself on this).
by noir_lord | 2025-10-21 10:07:37+00:00
On the one hand yes.

On the other isn't that just how humans are?

Before I was a programmer I trained as an industrial electrician - I don't really understand how truly complex the power grid is or the transport network or the global financial system or hundreds of other networks, my partner works in logistics (shipping i.e. boats on the water) - the complexity there is insane as well, on a surface level those networks are sorta understandable but the detail is fractal, the closer you look the more detail there is, there has to be a fundamental limit but no one human could master one of them in a life time never mind more than one.

So do I expect the person in the street to understand that the internet is composed of bailing wire, gaffer tape and RFC's dating back to the late 60's, not really, it would be unfair to expect them to understand it when I don't understand other networks (or even the internet if I'm truly honest - not all of it or even most of it, it is vast).

It doesn't mean I'm not interested though.
by dns_snek | 2025-10-21 10:08:30+00:00
> Who are you to be that demanding?

Let's call it the skeptical public? We've been listening to a group of people rave about how revolutionary these tools are, how they're able to perform senior level developer work, how good their code is, and how they're able to work autonomously through the use of sub-agents (i.e. vibe coding), without ever providing evidence that would support any of those grandiose claims.

But then I use these tools myself[1] and I speak to real developers who have used them and our evaluation centers around lukewarm, e.g. good at straightforward, junior level tasks, or good for prototyping, or good for initially generating tests, or good for answering certain types of questions, or good for one-off scripts, but approximately none of them would trust these LLMs to implement a more complex feature like a mid-level or senior developer would without very extensive guidance and hand-holding that takes longer than just doing it ourselves.

Given the overwhelming absence of evidence, the most charitable conclusion I can come to is that the vast majority of people making these claims have simply gone from being 0.2X developers to being 0.3X developers who happen to generate 5X more code per unit of time.

[1] e.g. my reply to https://news.ycombinator.com/item?id=45651948
by maccard | 2025-10-21 10:10:37+00:00
Indeed. I also noticed this morning that you're not the person I replied to, and I took your response (which was actually helpful) in the context of the original post which was "people are happy to just blame AWS when they're down".

Either way, we would have only made it one step farther in our CI, as the next step is to build a conatiner with a base image from docker hub, and that was down too. The idea of running a multi region nexus repository to avoid Docker hub outages for my 14 person engineering team seems slightly overkill!
by Rebuff5007 | 2025-10-21 10:11:15+00:00
> We were heavy users of Claude Code ($70K+ spend per year)

Claude code has only been generally available since May last year (a year and half ago)... I'm surprised by the process that you are implying; within a year and a half, you both spent 70k on claude code, and knew enough about it and its competition to switch away from it? I dont think I'd be able to due diligence even if LLM evaluation was my fulltime job. Let alone the fact that the capabilities of each provider are changing dramatically every few weeks.
by cess11 | 2025-10-21 10:11:33+00:00
Due to the R-series of standards there are actually quite a lot of libraries you can use.

I'm not sure what you mean by "real world problems" but I think most would consider Cisco router firmware to be in that domain. In some sense, due to Cisco the Internet runs on two Lisp-like programming languages: Erlang and Chez.

If you look at TFA you'll find that it links over to a few articles that describe inventing a Scheme to solve things like high paced computer graphics production and large scale inventories.
by natrys | 2025-10-21 10:11:55+00:00
Yes it seems the binaries are here: https://ferron.sh/download

I will say that though, it's probably not rational to be okay with blindly running some opaque binary from a website, but then flip out when it comes to running an install script from the same people and domain behind the same software. At least from security PoV I don't see how there should be any difference, but it's true that install scripts can be opinionated and litter your system by putting files in unwanted places so nevertheless there are strong arguments outside of security.
by austin-cheney | 2025-10-21 10:13:11+00:00
I wrote my own web server from scratch last year the exact same reasons: starting from scratch with Apache and NGINX is too painful for my needs.

Here are my learnings:

* TLS (HTTPS) can be easily enabled by default, but it requires certificates. This requires a learning curve for the application developer but can be automated away from the user.

* The TLS certs will not be trusted by default until they are added to the OS and browser trust stores. In most cases this can be fully automated. This is most simple in Windows, but Firefox still makes use of its own trust store. Linux requires use of a package to add certs to each browser trust store and sudo to add to the OS. Self signed certs cannot be trusted in OSX with automation and requires the user to manually add the certs to the keychain.

* Everything executes faster when WebSockets are preferred over HTTP. An HTTP server is not required to run a WebSocket server allowing them to run in parallel. If the server is listening for the WebSocket handshake message and determines the connection to instead be HTTP it can allow both WebSocket and HTTP support from the same port.

* Complete user configuration and preferences for an HTTP or WebSocket server can be a tiny JSON object, including proxy and redirection support by a variety of addressable criteria. Traffic redirection should be identical for WebSocks and HTTP both from the users perspective as well as the internal execution.

* The server application can come online in a fraction of a second. New servers coming online will also take just milliseconds if not from certificate creation.
Show HN: You can turn any phone or device into an AI CCTV at home using VLM
by yardole | 2025-10-21 10:14:10+00:00
Hello, i wanted to share this tool where you can use simple English prompts (more like conditions) to monitor anything in real-time like a cctv just using a camera like your old phone/tablet or computer with a webcam.

You can also receive alerts through telegram and email.

It is in beta now, and everything is free.

It would be tremendously appreciated if you can try it out and give some feedback. /\
by r721 | 2025-10-21 10:15:01+00:00
See also:

>The largest beaver dam on Earth was discovered via satellite imagery in 2007, and since then only one person has trekked into the Canadian wild to see it. It’s a half-mile long and has created a 17-acre lake in the northern forest — a testament to the beaver’s resilience.

https://e360.yale.edu/features/worlds-largest-beaver-dam (2023)

https://news.ycombinator.com/item?id=38606804
by npodbielski | 2025-10-21 10:15:12+00:00
You mean DLNA? Like media server? The ones I am/was using are quite wide spread. The most popular is plex I think, but I never liked that you have to register someplace else to be access your local library, crazy notion for me.

Anyway the nginx reverse proxy is enough for those. You can login and listen to your own music or watch your movies anywhere.

Checkout for example here: https://github.com/linuxserver/reverse-proxy-confs
by vcdimension | 2025-10-21 10:16:35+00:00
Furthermore, there is no evidence that anyone else had the idea of using thermionic valves to greatly increase the speed of the code breaking computer, so if Tommy Flowers didn't exist it probably wouldn't have been discovered until much later (i.e. too late to help the war effort). Of course CEO's such as Bill Gates and Steve Jobs have made important individual contributions to society, but they were not as pivotal as that of Tommy Flowers, and furthermore they have been rewarded in money (many would say too much), whereas Tommy Flowers has received very little reward or recognition for his achievement.
by greentec | 2025-10-21 10:16:59+00:00
I fine-tuned GPT-2-XL with LoRA to generate playable levels for my Bloxorz-inspired puzzle game (Mindcraft).

Based on the "Level generation through large language models" paper (NYU, 2023) which did this for Sokoban. I adapted their approach to work with block-rolling puzzles.

The interesting part: I didn't give it any solution data during training - just level layouts and metadata (grid size, move count, gimmick types). After 10k steps, it generated 22% valid+novel levels. With 50k steps on levels with glass tiles, that jumped to 64%.

The model learns what makes a level solvable just from seeing enough examples. It's not perfect (grid size accuracy is low), but the generated levels work in the actual game.

Trained on RTX 4080 (16GB) using LoRA to keep it feasible on consumer hardware.
by dakom | 2025-10-21 10:18:59+00:00
fwiw I'm happy to see this - been trying to tackle a hairy problem (rendering bugs) and both models fail, but:

1. Codex takes longer to fail and with less helpful feedback, but tends to at least not produce as many compiler errors 2. Claude fails faster and with more interesting back-and-forth, though tends to fail a bit harder

Neither of them are fixing the problems I want them to fix, so I prefer the faster iteration and back-and-forth so I can guide it better

So it's a bit surprising to me when so many people are pickign a "clear winner" that I prefer less atm
by thinkharderdev | 2025-10-21 10:20:23+00:00
I interviewed with Amazon a few years back. The whole thing turned me off. A recruiter reached out and I was interested (it was late 2020 and the money was tempting). But before the first phone screen I had to have a call with the recruiter again, where she gave me a list of things I needed to "study" and was told that "successfully candidates usually spend 5-10 hours preparing for the interview". The study list was the usual list of CS101 topics. I didn't bother preparing and it was a good thing because on the phone screen the guy just asked me some a fairly mundane coding question and then some more general stuff (it was actually a very reasonable interview). Based on that they wanted to proceed to a final interview which was an all-day affair (on zoom of course because this was during the pandemic). But first I had to do ANOTHER 1h call with the recruiter where she gave me ANOTHER list of things I needed to "study" and reminded me that I should spend 5-10h preparing. That was too much for me and I politely declined the opportunity.
by stuartjohnson12 | 2025-10-21 10:20:35+00:00
After seeing the website but before reading your comments I honestly thought it was an elaborate piece of satire designed to mock people who demand "source?" from you as a rhetorical demand for asymmetrical effort.

And I actually think it would be funny and useful that way as a tongue in cheek response to such bad faith demands.

Retrospectively finding evidence to support a claim is the wrong way around
by georgehopkin | 2025-10-21 10:20:56+00:00
University of Waterloo scientists have built an artificial intelligence system that verifies other AI systems are safe, addressing growing concerns about who monitors the algorithms controlling autonomous vehicles and power grids.

The research team, led by Dr Jun Liu, professor of applied mathematics and Canada Research Chair in Hybrid Systems and Control, uses neural networks to learn mathematical proofs of safety, whilst a separate logic-based AI system verifies that those proofs are correct. Both forms of AI handle tasks that researchers once performed manually.
by latexr | 2025-10-21 10:21:55+00:00
Feels like with every announcement there’s the same comment: “this LLM tool I’m using now is the real deal, the thing I was using previously and spending stupid amounts of money on looked good but failed at XYZ, this new thing is where it’s at”. Rinse and repeat.

Which means it wasn’t true any of the previous times, so why would it be true this time? It feels like an endless loop of the “friendship ended” meme with AI companies.

https://knowyourmeme.com/editorials/guides/what-is-the-frien...

It’s much more likely commenters are still in the honeymoon hype phase and (again) haven’t found the problems because they’re hyper focused on what the new thing is good at that the previous one wasn’t, ignoring the other flaws. I see that a lot with human relationships as well, where people latch on to new partners because they obviously don’t have the big problem that was a strain on the previous relationship. But eventually something else arises. Rinse and repeat.