skysight-inc/HackerNews huggingface dataset:
I apologize, but GPT4 is absolutely not good at doing that. It is good at adding filler words and a self-important writing style, but if what you have can be expressed in a bullet list, it will not be better expressed by adding fluff and puffery. I can see it being a big aid if you don't know English very well and need it to correct your grammar and word choice, but not much beyond that.
I disagree? As does the word democracy I'd say.
Understanding access control requirements of microservices environment
> Do they pay you to rabidly shill or are you just that far gone?

I am slightly on the side of the OP who originally made the claim but nobody should take anyone who throw's around the "paid shill" line seriously. You really are just labelling people you disagree with. Grow up.
My main reason is because there is no support for it in Ruby yet, been waiting for a while. Usually I would try to release such a missing gem myself but HTTP/3 is waaay to complex for me.

Also, I remember when asking for why there was no support for HTTP/3 yet in Rails, someone responded something along the lines of no true benefit of using H3 over H2. But I can't find that comment again.
Making clear what the expectations are does matter.

Abuse of expectations can be dealt with bans and/or prosecutions for fraud.
I second this. I found Cloud Run fantastic to work with.
I didn't catch this until I got to the part about OpenSSL 3 being delayed... I'm not sure I see much value in reading about how HTTP/3 support was in 2021, and without (2021) in the title it's more misleading than anything
Call of duty is incredibly rich and complex. The various strategies, loadouts, various characteristics of the weapon configurations, the different maps. It’s a very complicated game that requires considerable reasoning and spatial awarensss skills. To be really good at it requires a depth of thinking. Just comparing the elevator pitch for CoD vs Factorio doesn’t really do it justice.
Yes. We run run Whisper Large V3 (not Turbo) for the speech to text. It still seems to be the best open source model out there for that step. The main challenge we are trying to solve is Speaker Identification, which is a very time consuming process.
Destin from Smarter Every Day got to spend a day on the USS Toledo and made multiple videos about this[0].

I mention it because in one of the videos he and the crew talk about submarine stealth (the non classified bits) and there's a surprising amount of science behind just being in the right part of the water, where the water itself (density changes, temperature changes, currents, etc) can make it almost impossible to see you.

So Betteridge's Law of Headlines still applies: No, they will still hide just fine.

[0] https://www.youtube.com/watch?v=RXXMJAU6vY8
Show HN: I Made GIF Hosting Open Source Self-Hosted GIF Platform
Key Features
Generous File Size Limit: Support for GIFs up to 25MB (easily configurable to more as code is open source, you just need to change a single environment variable MAX_FILE_SIZE=25000000)

Bulk Upload Support: Upload multiple GIFs at once

Privacy Controls: Choose between public and private GIFs

Multiple Sharing Formats:

Direct links
HTML embed codes
Markdown-ready links
Social media sharing
Dark/Light Theme: Easy on the eyes, regardless of your preference

Modern UI: Clean, responsive design that works on all devices

Search Functionality: Quickly find your GIFs

Secure Authentication: Protect your content

Technical Stack
The platform is built with modern technologies:

Frontend: React + TypeScript + Chakra UI
Backend: Node.js + Express
Database: PostgreSQL with Drizzle ORM
Storage: Local file system with automatic cleanup
Container: Docker for easy deployment
Security: Rate limiting, JWT authentication, and XSS protection
And "Damascene" is a reference to pattern welding (often called "Damascus" even though it's not the same thing as historical Damascus steel), where different metals are forge welded together to make laminated patterns:

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

Here the copper is coated with a very thin barrier layer of rhodium, so there's also a laminated pattern of different metals.
Fault an Theoretical Alternative to Result
Ok, I think this is a much fair opinion. It is true that I vaguely remember `core.match` being used or discussed at the time I was working with Clojure, so it could be as well that the library has too many quirks or issues to be used in a production environment.
Tiktok being not from the US has differently tuned algorithms. That’s why it’s being banned. Now you have the right to be brainwashed only by US-approved algorithms. Don’t be a fool, tolo.
They talked a lot about using probes to select candidate servers, but I struggled to find a good explanation of what exactly a probe was.

However the "Replica selection" section seems to shed some detail, albeit somewhat indirectly. From what I can gather a probe consists of N metrics, which are gathered by the backend servers upon request from the load balancers.

In the paper they used two metrics, requests in flight (RIF) and measured latency for the most recent requests.

I assume the backend server maintains a RIF counter and a circular list of the last N requests, which it uses to compute the average latency of recent requests (so skipping old requests in the list presumably). They mention that responding to a probe should be fast and O(1).

At least that's my understanding after glossing through the paper.
> but because of their vector nature, they could easily be mapped onto values from a simulation in a physics engine.

I don’t think the fact that the images are described with vectors magically makes it better for representing physics than any other image representation. Maybe less so, since there will be so much textual information not related to the physical properties of the object.

What about them makes it easier to map to physics than an AABB?

For soft body physics, im pretty sure a simpler sort of distance field representation would even be better. (I’m not as familiar with soft body as rigid body)
Unless the commenter lives on Wall Street then I am not sure they have much basis for their claim anyway.
>It is illegal if it is paid for foreign state and undeclared.

Good. Because ByteDance has never tried to hide the fact that it's a Chinese company. So that argument wouldn't matter even if there are evidence of them pushing Chinese propaganda.
Which language is it? In mine it's almost the same, "don't divide the skin of a non-killed bear".
Sorry, not sorry—PHP is alive, and thriving! The language runtime is getting ever faster, the packagist ecosystem in combination with composer (PHP's package manager) are rock-solid, there are event loops and application servers by now, serverless deployments are the default operation mode, and with Laravel or Symfony, there are trusted and extremely versatile frameworks available that do stuff out of the box that require lots of manual efforts with other languages.

Add to that the support for type annotations that can go all the way from fully untyped and dynamic, to runtime-enforced primitive constraints and object types, and you'll end up with a very good choice for web applications that evolve quickly.
It's so straightforward that you've used the exponential function on the complex plane to prove it?! You started by claiming that Pythagoras's theorem follows "directly" from the definition of the dot product. Can you admit that we're now quite far away from that?

To be honest, your comments have been quite low effort. They amount to "yeah but that bit's pretty easy too" while leaving it to me to work out how (and whether) your points fit into a coherent proof. I do get why this stuff all feels so trivial: we usually skip over it in higher-level proofs. But the only reason we can is that we can use nice abstractions like the dot product with its equivalent definitions, and that's thanks to the foundation these lower-level theorems provide.
Those meshes, if they are what one would expect from real-world usage (which sometimes differs because papers use perfect inputs versus real-world ones), are pretty damn good.

This may mean that meshing is near solved, dare I say it. This is pretty momentous if it really is solved now.

(As another commenter says, we still are looking to see texturing and materials to be solved.)
On OpenTelemetry and the Value of Standards
https://youtu.be/fooTJBfvT3Y?si=B-jqDuREdiNtYxQn

This one is probably an altered state of mind, but still funny.
If it doesn't matter then why is it hidden?
What did you want, more trembling and hand wringing? This was a discussion of stealth capabilities, the problem of nukes is adjacent but not the focus.

And I believe the article said the US has 167 subs, you made up "thousands"

Edit: Actually 67, as gilleain points out
Stimulus FX
A perfect ERV will recover the heat (occurs naturally by a temperature difference) and the latent heat (associated with condensation/evaporation).
i.e. water vapour in the outbound flow should be transferred the inbound flow.

This is to avoid energy loss that would occur when moisture condenses (i.e. the latent heat) by using an adsorbant material to capture moisture before it escapes, or a membrane that allows moisture in the outbound flow to pass to the inbound flow.
I believe this is one of the "correlation doesn't mean causation", or at least I should remind you that IQ is a terrible way to measure intelligence, it just exists because we humans like two things: reducing ambiguity (therefore, measure), and categorize everything.

Categorizing people as very intelligent, mensa and so on made me waste a good amount of time. I've been into those circles and it's a huge waste of time. And it's very imprecise, you could see how some people in those events are average intelligence people with huge patience to grind tests.

People want to grade others because they see somebody that is 7 feet and they can measure it with a tape, as I've pointed out, we humans can't get rid of the habit of measuring everything, no matter how hard and pointless, or incorrect it is.

I have an extremely needy brain for challenging stuff, just like some people are born with huge food desires and end up being obese. Gaming is one of the way to feed what it needs, just like math or any kind of hard problems.

I don't think playing games increased my intelligence at all. I was born gifted from scratch, everybody could tell it before I played a game for the first time at 5 years old, I was very curious about everything, how things worked and anything mildly sophisticated kept me excited for hours.

There are so many activities that activates similar brain areas than gaming which kids do, doing any of them will help you develop your intelligence at the same rate as others.

Maybe it did increased my "IQ" as the study suggests, because those IQ tests are very similar in shape and function to games, as you are dealing in games with a good degree of ambiguity and need to rationalize what needs to be done to win. It's a skill you can practice.

Most people reading this article will conclude the wrong thing, which is that the gaming makes you more intelligent, I don't believe it does at all, at best it does make you better in IQ tests.

I know this possibly isn't out of bad faith from the authors, but even the fact that this is shared in HN makes me believe that somebody was tricked, as "intelligence" is one of the virtues lots of people want to have. Unfortunately, I'm afraid that 99% of it is decided at birth.
Reasoning basically means multi-step prediction, but to be general the reasoner also needs to be able to:

1) Realize when it's reached an impasse, then backtrack and explore alternatives

2) Recognize when no further progress towards the goal appears possible, and switch from exploiting existing knowledge to exploring/acquiring new knowledge to attempt to proceed. An LLM has limited agency, but could for example ask a question or do a web search.

In either case, prediction failure needs to be treated as a learning signal so the same mistake isn't repeated, and when new knowledge is acquired that needs to be remembered. In both cases this learning would need to persist beyond the current context in order to be something that the LLM can build on in the future - e.g. to acquire a job skill that may take a lot of experience/experimentation to master.

It doesn't matter what you call it (basic or advanced), but it seems that current attempts at adding reasoning to LLMs (e.g. GPT-o1) are based around 1), a search-like strategy, and learning is in-context and ephemeral. General animal-like reasoning needs to also support 2) - resolving impasses by targeted new knowledge acquisition (and/or just curiosity-driven experimentation), as well as continual learning.
Most iPhone owners see little to no value in Apple Intelligence so far
I don’t know who specifically you mean by “local oligarchs and warlords”. Do I think TikTok has more power and influence in the US than the average Fortune 500 CEO? Without a doubt.
People change (as we get older?)
Kudos to the author for the amazing idea!

The only problem I see is that projects don't fit so nicely in the division between languages (Pythonia, Javaland, Clojuria, etc) and applications (Gamedonia, AILandia, etc). There's a lot of intersection between them.

But the visualization is super-cool nonetheless. :)
Yes! My spin is learning is difficult and some people can get overloaded. New perspectives are great and informative. However, learning that what you held as a core belief can be challenged can bring a crisis type pressure.

It's easier to be intellectually lazy.
is like training your brain for a task, but then there is a possibility it generalize to other areas. It depends what childrens do when they are not playing video games, so vs a child staring at tiktok dance moves, they are likely gonna be smarter on certain metrics
2022 Recommendation System paper from ByteDance – the parent company of TikTo
If you do understand First Amendment then you should also understand that foreign propaganda is protected speech, and is not treated as yelling fire in a crowded theater:

https://firstamendment.mtsu.edu/article/lamont-v-postmaster-...
I also work closely with the (Brazilian) government, and I can confirm that there are too many people who are smart, well educated, intelligent, and have an unparalleled sense of extracting money from government contracts
Jaccard similarity is not particularly good for "celebrity" projects.

They are similar because they are popular, not because there is semantic relationship.

It's the same problem I faced with the map of reddit (https://anvaka.github.io/map-of-reddit/ ) - all popular subreddits are just "similar" to each other.

Stil works great for smaller, non-celebrity projects :D
Ask HN: SWEs how do you future-proof your career in light of LLMs?
LLMs are becoming a part of software engineering career.

The more I speak with fellow engineers, the more I hear that some of them are either using AI to help them code, or feed entire projects to AI and let the AI code, while they do code review and adjustments.

I didn't want to believe in it, but I think it's here. And even arguments like "feeding proprietary code" will be eventually solved by companies hosting their own isolated LLMs as they become better and hardware becomes more available.

My prediction is that junior to mid level software engineering will disappear mostly, while senior engineers will transition to be more of a guiding hand to LLMs output, until eventually LLMs will become so good, that senior people won't be needed any more.

So, fellow software engineers, how do you future-proof your career in light of, the inevitable, LLM take over?

--- EDIT ---

I want to clarify something, because there seems to be slight misunderstanding.

A lot of people have been talking about SWE being not only about code, and I agree with that. But it's also easier to sell this idea to a young person who is just starting in this career. And while I want this Ask HN to be helpful to young/fresh engineers as well, I'm more interested in getting help for myself, and many others who are in a similar position.

I have almost two decades of SWE experience. But despite that, I seem to have missed the party where they told us that "coding is not a means to an end", and realized it in the past few years. I bet there are people out there who are in a similar situations. How can we future-proof our career?
Revit is 3300€/yr... You have to be very rich to be OK with this kind of price for a hobby
Saying that a 14B model is "small" feels a little silly at this point. I guess it doesn't require a high-end graphics card?
It's possible the author didn't expect to have a few thousand Hacker Nerds looking at their blog post already, with all the critique and pressure that entails.
I would look at Google Contributor and similar efforts as a supporting argument. They tried a few times to allow you to pay directly and not see ads, and each time failed reportedly because it was a not loss for publishers. Google is not unbiased here but I suspect that this was a real problem and that it’d be even worse on TVs since most people are used to disruptive ads there.
Wow, I didn't realize that about nginx. I've been using HAProxy with http3 for several months, and it's supported http3 for over 2 years.[0]

[0] https://www.haproxy.com/blog/announcing-haproxy-2-6, also https://haproxy.debian.net/
Yes, so no one will comment on their employer because they'd risk trouble.
>There are a bunch and they are very easy to find.

Really? Because the U.S. government, in their own court filing, have openly admitted that there is no evidence of TikTok's wrong doing in terms of manipulating information.

I don't think it gets much more authoritative than U.S. government's own court filing.

The link you provided has been debunked over and over again. It was a paid-for study aimed to generate certain conclusion.

And its methodology is silly at best, insane at worst (uses U.S. social media company as a control group for neutrality on China lmao).
I agree that there's are lots of proofs of Pythagoras's theorem on Euclidean space. The comment I replied to said that it follows "directly" from the definition of the dot product. That's all I was disagreeing with. They had missed that they were using some or other property of the dot product that was actually proved from Pythagoras in the first place, or some other non-trivial fact about Euclidean geometry.

And I certainly don't mean to imply anything about the importance of abstract inner product spaces. In fact my masters thesis was about Hilbert spaces. And I find it pretty interesting that you can prove something like Pythagoras on the inner product form I mentioned at the end of my last comment.
Yeah, no rental fee on modems though after you purchase one outright.

I've used TekSavvy for nearly a decade and they've been great, but be sure to use another DNS provider. Performance is terrible even if they do use CIRA, ostensibly.
Europe's Starlink competitor is go
Great post! I've been looking to get into the guts of large scale model training (I'm half-way between the design and application layer of LLMs, mostly in python, sometimes a bit of c++) and this will be a great reference to have.

PS. appreciate it if anyone can recommend more material like this
> has an official policy that it owns another country we trade with, and insists that if we say out loud the other country is a country it means immediate war?

there is a cost for maintaining the US hegemony, Taiwan is being used as an excuse to maximize such cost for the US - China gets to choose when and how to increase tensions, the US has to react accordingly and spend more and more borrowed resources as responses. that is the official policy, a smart one.
Show HN: BlazorPathHelper – Type-safe URL builder library for Blazor
Hello HN,

I Introduce a library of type-safe URL builder that can be used in the Blazor project.
Blazor is a cool technology that makes it easy for anyone to write modern web in C#, but I found it lacking in features around URLs.

Similar projects already exist, but this library is

* Compatible with razor's source generator (the previous one had to explicitly turn this off with the advent of .NET6)

* Automatic generation of @page, [Parameter], and [CounterWithQuery] attributes (handwriting is very tedious, right?)

* Automatic generation of highly customizable menu structures (icons, descriptions, L10N, all possible!)

Happy hacking!
Yes...

Aiming to redo it some time in early 2025!
why only ai generated ?
Didn't 成瀬関次 in 戦ふ日本刀 gripe that distance management as traditionally taught didn't make sense in actual combat?

https://www.zhihu.com/question/275790138/answer/2721437682?u...

间隔/間隔

https://m.sohu.com/a/448392173_120754270/

I should probably take this opp to ask if Hehner described explicitly how bunches are distinguished from sets.. boundaries?

Ah you haven't been referring to the swordlike nature of the barycentre all along? (A rather fuzzy distribution in practice?)
The entire proof is trivial.
> legally prohibited citizens from viewing news, books and information from foreign countries.

Sorry can you point out where they are doing this? because banning tiktok certainly is not doing those things.
Love this. I have a young one I am thinking of letting get involved in the Minecraft scene (I think far less exploitative than Roblox?). How does one get started? What console are you using? Or PC? How do I enable mods? And who is Mojang?
Facebook, instagram and youtube have been used to manipulate elections way before tiktok, that’s not the reason it’s being banned.
Already? This blog post is from 2 years ago...
I agree I wasn't super precise, I thought it was enough to show that pricing work equal or close to equal to value produced is unlikely as long as there's many people available to do it.

In my example of the fire department if nobody is really coming and you have no insurance or other way to save stuff you would indeed pay a lot. From what I read these were the dynamics in Roman times.
Marvels of Mucus and Phlegm
love it =)!
Build customizable landing pages with your short links
> As it is, I expect 99% of players will get to the create account screen on the phone and bail.

That's what I did, sorry. Didn't want to write down the generated user name and loong password etc.
Hi HN,
I built youlink.to, a URL shortener that lets users not only shorten links but also build customizable landing pages for sharing their content. It allows real-time live previews while building, making it easy for creators, marketers, or individuals to manage their shared links.

Why I built this:

Existing tools like Bitly and Linktree don’t always integrate link shortening and landing page building seamlessly. I wanted a tool that bridges that gap with an intuitive, lightweight experience.

Features:
• Shorten and track links (clicks, QR scans).
• Customizable pages for sharing collections of links with live previews.
• Custom domains support for branding.

I would love your feedback! If you have suggestions or feature ideas, feel free to share.
I am going to guess Russian.
This has not answered my question. I can also come up with many examples of things that are expensive.

What does really inflate the BOM ?

And this is in no way to discount your effort or your results, I'm genuinely curious.
https://www.komfovent.com/en/products/domekt-r-400-f-c6m-573

I think this is the one I'm using for ~200-ish sqm.
Yes.

A big difference between a "budget" TV and more expensive is brightness and saturation controls are often purposely limited in "budget" models.

So with a "budget" TV, full brightness actually looks more like "normal" on your neighbor's $$ model.
haha! I love vim.

We shall not quit.
> there’s no access to direct ownership in some amazing companies

Can you provide some examples?
Got any links for the $250 moulds and companies ?

Maybe I could use them in my own project :)
Howrichisforrestgump.com