skysight-inc/HackerNews huggingface dataset:
> much simpler services from AWS

Like what, Lambda? I've seen so much horrible hacks and shit done with it (and other AWS services cough API gateway cough), these days I rather prefer a set of Kubernetes descriptors and Dockerfiles.

At least that combination all but enforces people doing Infrastructure-as-a-code and there's (almost) no possibility at all for "had to do live hack XYZ in the console and forgot to document it or apply it back in Terraform" .
Related to this question, there was a study done a few years ago to assess the effect of "real names" vs. pseudonyms on the online community:

"Online anonymity: study found ‘stable pseudonyms’ created a more civil environment than real user names" - https://theconversation.com/online-anonymity-study-found-sta...

They looked at an online community which moved from "easy anonymity" to "registered pseudonyms" to IDs linked to Facebook names/avatars (which they took as a proxy for "real names"). They found:

"Our results suggest that the quality of comments was highest in the middle phase. There was a great improvement after the shift from easy or disposable anonymity to what we call 'durable pseudonyms'. But instead of improving further after the shift to the real-name phase, the quality of comments actually got worse – not as bad as in the first phase, but still worse by our measure."

"What matters, it seems, is not so much whether you are commenting anonymously, but whether you are invested in your persona and accountable for its behaviour in that particular forum. There seems to be value in enabling people to speak on forums without their comments being connected, via their real names, to other contexts. The online comment management company Disqus, in a similar vein, found that comments made under conditions of durable pseudonymity were rated by other users as having the highest quality."
Love the idea. I’m always finding myself writing little user scripts / browser extensions to extend websites I use all the time, and trying to use an API I found in the devtools network requests page always gets annoying when I have to try and do anything beyond replicating the exact input/output I found in the original request.

Haven’t fully looked through the features/docs, so forgive me if my question is answered in there, but what does support look like for:

- Exporting to Swagger/OpenAPI Spec

- Exporting to generated SDK (I know some tools exist that can generate SDKs from OpenAPI/Swagger, so maybe some of these tools have licenses that are compatible with your product?)

- Support for URL path variables (e.g. `/users/{user_id}`)

- Support for URL query parameters (and filtering for common “noise” parameters, e.g. Google analytics)

- Support for non-JSON input/output (e.g. an endpoint that accepts multipart form data)

Awesome idea though. I’m definitely going to try this out. Beautiful UI and website too. I’m stoked to play around with this!
> How often does the type checker catch a problem with the code vs the type definitions themselves?

All the time? I've worked on code bases with multiple people without types, and whenever there's a place that can produce e.g. "string or undefined" like when a key might not be found in a collection, it produces edge cases everywhere that don't get noticed outside of the happy path, including after the code has been merged. You're forced to simulate in your head all the code paths, and remember which values might be optional which is error-prone, isn't scalable and eats up brain cycles.

Even typos like `object.detail.name` vs `object.details.name` cause runtime errors, or calling a function with the wrong number of arguments or in the wrong order, some of the most trivial bugs you can think of.

I don't understand how someone can dislike writing type annotations so much that they're happy having their time wasted like this when automated assistance is right there. To me, it's like not wanting to use a spellchecker when writing an article, or opting out of syntax checking code before it's ran.

I get that problems with type definitions can be frustrating but it's better than runtime errors (having to write more tests isn't better either), and often flags actual bugs, potential future bugs ("what if this was undefined sometimes?"), or overly dynamic code that's hard to reason about (e.g. conditionally adding/removing fields from objects, or having a field that changes type between string/array/undefined vs using an array of strings instead). I'd love a counter example here - often the examples I see has overly dynamic code because the coder hasn't had a strong incentive to avoid such code before. As in, I write type checker friendly code so I can benefit from type checking.

90% of type annotation stuff I work with is mundane and simple (e.g. strings, numbers, arrays, something optional, object with basic fields) and is well worth the minimal effort. The more complex stuff isn't needed often, usually optional, and gives you protection from tricky bugs too.
Ok, good to know! I'll have to find time to try out Composer

Yes, I wonder if reilly3000 will swing by with a leaked system prompt from them too
WebSub cannot be used by browsers because browsers cannot receive POST requests. WebSub is for server to server communications.
Mercure is basically WebSub over SSE.

The draft has been discussed several times on the HTTP WG.
The best analogy? opium. The only "beneficiaries" are the makers.

So be a maker of great things.

Every one of us can make software the great tool for empowerment and creativity that it was meant to be.

To quote early Apple employee Guy Kawasaki: "Don't kvetch; Kick Butt"

As to what technology wants: Ask Kevin Kelley
This is the earlier version of what he wrote:

https://kk.org/thetechnium/what-technology/

But in short (summarized with human intelligence)

Extrapolated, technology wants what life wants:

Increasing efficiency

Increasing opportunity

Increasing emergence

Increasing complexity

Increasing diversity

Increasing specialization

Increasing ubiquity

Increasing freedom

Increasing mutualism

Increasing beauty

Increasing sentience

Increasing structure

Increasing evolvability
Thunk.
same. I had someone try to take over my twitter account once. I had fun with that one.
The conservatives were leading the polls wayyy before Trump even winning the GOP primaries.

Canadians are just tired of Justin Trudeau after almost 10 years. Which happens to even the best of leaders, and JT is far from it.
He's also unaware of the controversy and debate many places in Europe are having over immigration. At this point I'd really like to know what country doesn't have some large backlash and controversy against immigration.
Then could the newly elected US president kindly STFU about Canada this month? Thanks.
We can only guess I suppose, but I don't know how high the immediate transfer of people back/forwards between hypothetical new EU Canada + existing countries would be. Might even turn out to be more Canadians leaving for Europe than the other way around.
Expired: Noriega
I did say the formula would need to be tweaked as needed ...

OTOH, this is more or less how clients themselves expect to be billed so if you deviate too much without any logical explanation, they will simply go elsewhere.
Location: San Diego, CA
Remote: Yes (open to hybrid or onsite opportunities as well)
Willing to relocate: No
Technologies: ruby, rails, java, spring boot, sql, typescript, javascript, html, css/scss, react, angular
Résumé/CV: https://www.ernestogodoy.com/resume
Email: ernsto[dot]godoy[at]gmail[dot]com

I am a backend-focused full-stack engineer with over four years of professional experience, ranging from established companies to fast paced startups and early stage ventures. My background includes working in ESG and medical data sectors, where I have honed my skills in delivering robust and scalable solutions. Feel free to reach out via email!
Right? It really is a racket that the same tool which generates massive amounts of noise can also filter down to some of the signal. Like if I sold tires and also threw fistfuls of nails in parking lots.
Awesome project!

I want to plug our project for the curious:
https://github.com/DarkStar1982/Orbidium/

it is just a static viewer, but can be augmented to do simulation/visualization in a similar manner.
> South Africa ... if they can see eye to eye on political and economic issues.

That's a pretty big "if".

Right now South Africa is a basket case, with corruption at the highest levels of government, and one in five citizens living in extreme poverty. The crime rate is extreme, with high levels of murder and rape.

So yes I agree, South Africa would be very "interesting" if it joined the EU.
Yes, JSON as a format is very much under specified, a lot of these sorts of things are basically implementation defined.

In general libraries do what make sense in the context of their host language, or sometimes what makes sense in the context of JavaScript.

For ruby/json, I consider that if something can be rountriped, from Ruby to JSON and back, it should be, which means not reducing float precision, nor integer precision, e.g.

>> JSON.generate(2**128)
=> "340282366920938463463374607431768211456"

But other libraries may consider that JSON implies JavaScript, hence the lack of big integer, so such number should be dumped as a JS decimal string or as a floating point number.

> I don't see anything in [...] specifying that Strict will force floating points to specific precision vs other implementations

Yes, and that's my problem with it. As you said, Oj is free to do so by the JSON spec, but I'd bet 99% of users don't know it does that, and some of them may have had data truncation in production without realizing it.

So in term of matching other libraries performance, If another library is significantly faster on a given benchmark, I treat it as a bug, unless it's the result of the alternative trading what I consider correctness for speed.
or about anything else for that matter
The reason you never encountered the second definition is two-fold:

1) There is no formal academic education behind the concept (that I'm aware of). If you do a CS major, nobody's going to explain to you the accumulated 15 years of practice and knowledge around the concept.

2) Due to 1), people just repeat what other people tell them. It's like a long game of telephone. It turns out most software development today is just a game of telephone between devs (and now AI). So almost everyone is misinformed.

The Wikipedia page for DevOps is the best generic starting point if you want to know more.

If you want to know more after that, there are a number of books and blog posts. Jez Humble, John Willis, Gene Kim, Patrick Debois, etc are the people to read. It's a much larger body of knowledge than you might think. Almost none of it has to do with devs supporting/running what they write (that's a small subset of a larger category, and there's multiple categories of 'stuff')
I think about it sometimes too. There were pluses and minuses. The money was actually quite good, and there is a certain luxury in being able to say "this ain't my product, I'm just a hired gun, I'll be gone in a couple months and y'all will have to deal with your dumb decisions" rather than having a feeling of ownership that extends beyond the quality of your own work. In other words, doing what you're told as best you can, instead of trying to fruitlessly to fight against the structure and inertia of a dysfunctional company.
fake name emails and messages i can ignore by default. I dont have to waste any processing cycles thinking about it at all.

as i accumulate cruft over the years of being on the net this is more and more important.
Canada also directly borders Denmark via Greenland on Hans Island.
So on one hand credentials shouldn't matter but I've found for large online spaces the energy of wading through bad takes turns me away from communities which could otherwise be interesting. Like I wish I could filter comments for things like "has a degree in biology" or "is above 25" since while good ideas can come from anyone practically some people are much more likely to have useful insights than others.
Scratch all that. The main issue in 2004 preventing hardcore mode would have been server stability, or the lack of it.
Let’s set aside the jokes for a second... there’s a case to be made for Canada, Greenland, and the US forming a closer political and economic union. Not as some imperialistic land grab, but as a pragmatic response to shifting global power dynamics and shared interests.

Just hang on - this isn't as crazy as it sounds!

Think about it:

- There would be a shared defense and infrastructure: NORAD already has the US and Canada tied at the hip for defense. Greenland, being strategically crucial to Arctic security, fits naturally into this alignment. Folding them into a single framework could simplify and strengthen North American defense.

- Economic integration's already there: the US and Canada are each other's largest trading partners. NAFTA (and now USMCA) means much of the heavy economic lifting is already done. Greenland’s resources are becoming increasingly important as Arctic access opens up.

- Population and resources balance out: Canada has land and resources but not enough people. The US has people and markets but strained resources. Greenland sits on untapped potential. There’s a complementary puzzle here that fits. Heck, I know a bunch of people that would move to Greenland in my circle of friends alone if it were a state of the Union.

Think about the plausibility, even if you don' think it's likely.

Sure, there's political gridlock in the US? Sure. But let’s not pretend Canadian politics are a beacon of stability. And Denmark’s hold on Greenland isn’t exactly ironclad. In unstable times, pragmatic unions can look attractive.

And yeah, there are a lot of cultural differentials, but flipping flap jacks, look at the cultural divide between California vs Indiana or TX vs Vermont. Mergers like this happen incrementally - closer military cooperation, shared Arctic development, economic harmonization.

Not saying this will/could happen tomorrow, but in a time of rethinking alliances, I think it’s less far-fetched than it sounds. If Europe can experiment with supranational governance, why can’t North America????

What are the realistic roadblocks here beyond just "politics?"
An increasing number of Canadians think they have a migration issue. This rhetoric is currently selling well.

It's not really factually correct though.

Canada has a housing price inflation problem, at a level I don't think most Americans can really grasp. It is definitely connected with high legal immigration, but not exclusively, as the exponential growth curve in prices began a long time ago (like 20 years ago) and is definitely connected with fiscal policy choices and legal aspects of how the property market is managed.
The article never mentions that Glean is written in Haskell
For modern WoW, even in dungeons (M+), if you can’t follow a perfectly executed “script”, nobody is interested in grouping with you. You don’t really need a stack of addons but an encyclopedic knowledge of maps, mechanics, strats, affixes, etc and the current meta is the norm and expected.

It feels barely related to D&D tabletop sessions or classic fantasy anything and more like a group Mario 64 speedrun or something.
Trump suggested it, as well as Mexico.

To give you some idea on the intellectual credulity with which the idea should be treated.
Even though in the past I always used aliases online, mostly now I use my real name and avoid posting stuff that's controversial, it's mostly dev and security stuff anyway.
I proudly use my real name and I'm glad to discuss any subjects that I write about online with people offline, and vice versa. I've been online since the previous millennium and the times that I've been endangered by my online content has been zero.

That might not be the right choice for everybody, but it has proven a good choice for me.
This is wishful thinking. The quality of public healthcare in Canada has been declining. In particular, the waiting times are long. Those who are well off go to US for important timely care.

The gun violence in US is higher, but the chances of that impacting you are low, if you avoid problematic areas.
One can only dream, but I'll just start with a modest request.
Venture Capitalist Sues PayPal over Funding Program for Minority Startups
Gift link: https://www.wsj.com/finance/investing/venture-capitalist-sue...
> Young Canadians doubly so. Racism is becoming more acceptable by the day.

Always has been. Well at least in my experience in online gaming with a small portion of French Canadians.
Actually, there is nothing mysterious here. The theory, applied correctly, predicts the expected thing: a particle that starts at rest at the apex will never leave it. The other "solution" is not actually a particle at rest (it has a non-0 6th derivative of position, that is the rate of change of the rate of change of its acceleration is 1/6). So it's actually describing a particle whose acceleration will increase at an increasing rate forever, but that just happens to be 0 at time T.
Anonymous usernames. Grew up in the 90s so I have a pretty high level of paranoia about exposing my real identity on the internet. The alias I've kept the longest is my gamer identity tied to my steam account.
Anonymous username, as real name is, uh ... I had hippie parents. Kind of a hapax legomenon. Rotate usernames, trashing old ones fairly often. I started the rotation after an employee of my then-local ISP blabbed my IRL name in IRC, even after I had pestered them to shut down crap like finger. Guy was kind of a petty douche who thought he was untouchable.

Shame for him I kept track of him, every so often. Guys like that accumulate a long list of potential "who did this to me?" candidates after so much time, and after a decade they tend to forget. I didn't.
With US monetary resources, this would be near immediate (and welcome)
The longest I ever worked on a contract was 2 years, the shortest was probably 2 hours. Most projects were 1-3 months. At the company I'm thinking of, they kept a public list of people who were "on the bench", which meant they'd finished a contract, and the company didn't have another one for them yet. In sports, being on the bench sort of implies that you can't cut it, but 99% of the time that's not how it was.
If I guess his views correctly and mix them with mine: women with an exemplary life hygiene - maintaining a near perfect body, no addiction or unhealthy obsession of any sort (tobacco, alcohol, drugs, TV, social medias, smartphones, travels, pets, etc...), chaste compared to nowadays' standard libertinage - intelligent and cultured (and I'm not talking about pop culture).

Basically no one, then.
Show HN: AI that generates 3blue1brown-style explainer videos
I've been building prototypes of new AI learning tools for months, but I recently learned that 3blue1brown open sourced his incredible math animation library, Manim, and that LLMs could generate code for it without any fine-tuning.

So I made a tool that automatically generates animated math/science explanations in the style of 3blue1brown using Manim from any text prompt.

Try it yourself at https://TMA.live (no signup required)

or see the demo video here: https://x.com/i/status/1874948287759081608

The UX is pretty simple right now, you just write a text prompt and then start watching the video as it's generated. Once it's done generating you can download it.

I built this because I kept finding myself spending 30+ minutes in AI chats trying to understand very specific concepts that would have clicked instantly if there were a visual explanations on YouTube.

Technical Implementation:

- LLM + prompt to use Manim well, right now this uses Gemini with grounding to ensure some level of factuality, but it works equally well with Claude

- Manim for animation generation

- OpenAI TTS for the voiceovers

- Fly.io for hosting the web app

- Modal.com for fast serverless GPUs to render the videos

- HLS protocol for streaming the videos as they are rendered

Note: This is focused on STEM education and visualization, and it is particularly good for math, but get creative and try it with anything! I used it recently to teach my partner's parents a new board game in Mandarin (which I don't speak!)

I'll be around to answer questions. Happy learning!
If one can choose A or B, can always change A to B if one wants but can never go from B to A, the choice is kinda obvious I think.
> And the few tribal populations in Northern Europe generally were and certainly are today treated at least as fairly as anything in Canada.

Really? The Sami populations don't have any sovereignty that I know of.
You get effects somewhat like that from perturbation theory glitches, as discussed in the article.
Class action lawsuit against PayPal's Honey App
I've been following the court cases against Honey, and the claims about their founders, for several years now. There were inside trading allegations against their cohorts last month, and I believe there will me much more to come.

Defendant's Honey extension disrupts the affiliate link tracking process. When a consumer clicks on a Plaintiff’s affiliate link and then activates the Honey extension during checkout, Honey replaces the Plaintiff’s affiliate link with its own. As a result, Defendant, rather than Plaintiffs, receives credit for the sale, depriving Plaintiffs of the commission they are owed and negatively impacting their relationships with business partners. Plaintiffs’ performance metrics, which are tied to customer acquisition, are skewed, making them appear to underperform and potentially leading to the loss of future contracts or less favorable terms.

Plaintiffs bring this action as a class action under Federal Rule of Civil Procedure 23(b)(3) on behalf of all content creators who, between December 29, 2022, and the time of class certification, contracted with businesses to promote products or services using affiliate links that led consumers to checkout pages incorporating the Honey extension. The number of class members is in the thousands, making individual lawsuits impracticable. Defendant’s actions have caused substantial harm to Plaintiffs and other content creators by interfering with their business relationships and unjustly enriching Defendant.

This case seeks monetary damages for intentional interference with contractual and prospective economic relations, and unjust enrichment. Plaintiffs claim that Defendant’s interference with affiliate link tracking has led to significant financial losses, damages to business relationships, and skewed performance metrics that harm content creators’ standing with their business partners.
When asking LLM repeated improving or adding a new feature in a codebase, the most frustration risk is that LLM might wipe out already working code!

What are your strategies to prevent such destructions of LLM?
I think one aspect of it is 'how complicated is your life?' I know queer/trans folks who were always anonymous because they were in the closet in their early life and needed that to survive, but the anonymity allowed them to connect with others that felt as they did. There are also trolls like this, who want to be accepted in their 'real' life but basically they find pleasure in tormenting others which they do so anonymously to avoid the repercussions of that behavior.

My online identity was pretty clear because both ARPAnet, and Sun Microsystems, required your username to be your actual name, and so pretty much all that was online and forever was tied to you no matter what. I've used anonymous names when playing online games because that community can be quite toxic. I counseled my daughters to do the same.

That said, I know an investigator who works for a law firm and they can pretty much unmask any name you throw at them to the real name, address, and other salient details. Which kind of weirds me out sometimes.