skysight-inc/HackerNews huggingface dataset:
You’re doing theorem proving in all cases where you handle errors or exceptions in non-trivial fashion. Same when you’re implementing any kind of authz. When dealing with async code or threads, you’d better be good at your invariants. This is all discrete maths. Yes I don’t differentiate continuous functions at work but let me tell you juggling multiple condition scenarios when integrating multiple inputs with multiple systems is damn close to working with logic proofs.
I've tried Remix and Astro, but I found it was too hard to even get started. SvelteKit looked interesting, but I didn't like the syntax. Nuxt with Tailwind has been my current go-to for last couple years, so seems like it might not be changing any time soon
> Luckily the netconsole-setup command makes the setup pretty easy. All the configuration options can be set dynamically as well, so that when the endpoint changes one can point to the new IP.

There’s no spoofing happening here…
Everyone on HN except you works at Vercel
> Suburban sprawl has mang negative effects but it can sometimes produce walkable areas and quiet residential roads that it's safe to play on too

The population density in North American suburbs is too low to allow for children to comfortably walk or bike to their friend's homes, or to third places. They can't even walk to school, for goodness' sake.

More importantly, most people unsurprisingly live in the most densely populated areas, not in suburbs, and traffic there is awful, making it remarkably unpleasant to loiter, not to mention that there is hardly any public space to do so.

I'm talking from the perspective of a parent living in Toronto. It's a terrible place to raise independent children, and as a consequence you never see them around, and instead they are always being chauffeured from one structured activity to the next with zero agency or self-sufficiency.
what was it like to experience it firsthand?
Her book may try to make that point, but the point of article is seems to be more meta than that.

There are people, like this author, the journalists that interviewed her and the venues who booked her, that believe the open public discussion of ideas is of value to society.

What the author experienced was that discourse featuring opposing positions of ideologically popular topics seem to be subject to silencing/censorship.

By spiking articles, canceling forums and shelving interviews this author believes that something of value is being taken away from society.
Browseable Zig standard library 2
it makes mice sexually attracted to cat urine too, and alters sexual behavior in all mammals including hyena's.

The implications are beyond horrifying
If you have a crappy boss but good skills, get another job.
AI Fakes are only good if you're too lazy to look for literally any counter evidence.

I can make an AI Fake that Donald Trump has two heads.

It could look convincing.

It would not take much effort to disprove that.

It's not clear to me why this is any bigger than rumors and propaganda and gossip. If you're susceptible to that, you're susceptible to deep fakes, but you were already trapped in a bed of lies.

I still maintain that it has never been easier to seek the truth than today.
Alien language: If we met extraterrestrials, could we talk to them?
The problem with Rails is that I don't know Ruby. It's a different ecosystem than the one I'm used to (Node). I'm also not aware whether Ruby comes with built-in type-safety, which is a requirement for me. Another requirement besides type-safety is JavaScript on the frontend and TailwindCSS for styling
They are also have a $1B+ annual run rate [1].

[1] https://www.reuters.com/technology/openai-track-generate-mor...
The Mother of All Query Languages: SQL in Modern Times – Markus Winand
Anthropic will be interesting company if founders lost voting power in the board, with FTX, Amazon and Google representatives arguing to each other on key decisions protecting their interests.
Is this a joke?

I guess there are cases where training on a tests set is reasonable, but why use a LLM in that case?
Depends what you mean by high, and where you’re going to.
> I don't see an explicit disclaimer here

In the post:

> I'm Lee. I work on Next.js.

On the homepage:

> I lead the community for Next.js
Think of the browser as an operating system, and a web page as an app. If that app is another browser, custom built, it could be built to prevent adblockers.

Inasmuch as any app, eg., a video player, can include DRM or otherwise lock things down.

This is feasible, but its unclear how successful it would be -- it would just start an arms race to hack it.
They've been pushing the HSA buttons since they acquired ATi back in 2006. Are we there yet?
Also, you can trade off bandwidth for error rate at a lower level of the networking stack, so if you know your applications will use error- correcting protocols like TCP, you can make your switches and routers talk to each other a little faster.
> Practically, I am not sure about the feasibility.

Last week I logged into my e-gov website by confirming a push notification on my authenticator app that's tied to my e-ID card to download my birth certificate. No copy pasting needed.
Random websites now even support logging in without passwords by using your smartphone passkeys.

I am sure they can make it work for a simple yes/no (over 18) challenge-request scenario.

> Plus, not everybody has a smartphone. Not everyone accepts Android or iOS at their current implementations. Do those people remain without access to the www?

We are talking about adult content. The alternative is having that content banned. Many democratic countries have already done that, like South Korea. I don't prefer this scenario.
Maybe someone can explain this, because I never understood it. When a company sits on so much cash, I guess it doesn't mean cash which is liquid, but rather a variety of assets, right?

So when they just have to pull x billions out, it's not just liquid assets, but they will have stage and sell assets representing those funds.

So since it's not just cash, how does a company of this size, then determine what assets to sell? And if those assets are actually invested in something, or representing an entity of some sorts, how do they assess whether or not it will cause any damage or loss of profitability? The crux is, is the risk two fold? First let go of whatever the assets were invested in (one), and then buy a new company and hope it has ROI (two).

Or is it actually possible to have 1.5 billion dollars laying around in cash somehow? I know money is a made up idea, but that is still a big number for a bank/banks/asset holding company to just say good for and expect some kind of real monetary tangible value behind the symbolic currency.
> this was supposed to ...

No, pretty obviously not. It is a comment.
Cyberarmy was pretty fun too
> STM is about hardware, not programming languages

STM is not about hardware, it's literally "software transactional memory" and is meant to be implemented in software without hardware support (beyond a CAS instruction or a similar set of instructions, perhaps). As a software component it could be part of libraries or part of a programming language as part of that language's general concurrency model.
I don't want to remove all mentions. If I'm reading an article about something else and it happens to mention something on my list, that's fine. I just want to remove all the top level articles and posts about these things.

It's not about being triggered by anything or trying to hide from anything. I also don't need (or even want) 100% efficacy. It's about cleaning up noise. For example, at this point I'm fully aware that Musk has turned Twitter into even more of a cesspool. I don't need any more information about that. And yet I get it, all the latest "juicy Musk gossip" any time I go near any tech sites. And it's just noise to me at this point.

Same with American politics. I'm not from the US so I'd be happy with a short monthly synopsis on what's happening there. But on the English speaking web, American politics is everywhere. It's exhausting. I want to filter it, reclaim the attention it steals from me while still being engaged with online society to a degree that I choose. And I believe that reclaiming this attention, energy, and time would allow me to engage more with subjects I do care about.
what would "proper parallel execution" look like in a Lisp? A library or a more fundamental form? Something with the GC?
just googled him. was the clearstream II thingy some CIA Op to get people like de Villepin out of the way cuz he don't play along with fake stuff?
> Buying up all state of the art production capacities so competition is one node behind.

This is such a funny statement. Do people think Apple is dumping wafers into the ocean? Or buying the capacity and not using it?

The economic reality is that Apple can pay more for cutting edge process because they have higher prices and margins. So, people paying a premium for hardware get more advanced hardware.

How is this in any way surprising? Is the theory that if only Apple wasn’t willing to pay a premium, TSMC would sell the same wafers cheaper to other manufacturers? Wouldn’t that make TSMC 1) dumb, and 2) less profitable and therefore less able to invest in the next process?
If anything this is a signal that there’s hiccups with Gemini GA or performance
Because it was a wasteful investment back then, Anthropic has more equity to spare now in a Series C.
this is sales - they can and do everything not allowed, constantly
None of the common numeric systems in use on computers are commutative. IEEE-754 floating point is not. Integer types have over- and under-flow.
It's a real shame that AMD didn't embrace HSA for the long term, it's the future of computing. Intel's QuickSync is very popular with certain folks for streaming, and HSA would have taken that a step further.
One thing not really appreciated is how easy it is to ignore the law if you're a company in the UK. GDPR is supposedly law in the UK yet every tech company ignores it with total impunity. Same with consumer fraud/false advertising laws.
> Rejecting a valid packet because the order got shuffled is wasteful,

This is not what happens. The data isn't dropped as long as there are only a few reordered segments. And with SACK the receiver can also acknowledge them. It's just not provided to the application layer because something in-between is still missing. This adds some latency if you're multiplexing multiple things over a single stream but it's not a loss in throughput.

> The stream model of TCP with head of the line blocking is conceptually easy but ultimately the wrong model for transmitting blobs of data.

A problem of google's own creation.

> The problem is exacerbated by TLS encryption. It requires six packets, or three round trip times, to establish a TLS over TCP connection. That is hundreds of milliseconds before a single byte of payload can be transferred.

Arguably the problem got exacerbated by the NSA and user-hostile ISPs. If they didn't push the entire internet into a low-trust equilibrium we could stick to simple protocols instead of having to expend more resources and increase complexity to ultimately get to the same state of not-being-intercepted as we had been before.
A better response to a red queen's race is to dethrone the queen, not to build better running shoes.
But yes, yes... these sure are nice shoes.
> An argument I read that has merit is that ad supported services does democratize the web for developing countries.

This argument definitely gets pushed now and then, but seeing you write it out actually made me realize it seems like a red herring.

Ads are priced, bid, bought, and sold based on their expected return on investment.

If lower-income countries would be unable to sustain a public website because of being unable to pay for subscriptions, wouldn't they also be unable to sustain that website because ads sold there should have lower prices?
it is, ever since he left, intel is anything but paranoid
Japan has committed many atrocities and had no moral high ground, nor would I have suggested so. I am not debating how many conscripts to sacrifice and so on, and you are free to question my intelligence however much you wish. I reject your framing of my answer to the OP and engaging with false implications and things I have not claimed.

More to the point, the bomb(s) could have been dropped on military targets away from civilians and still fully display their destructive power to the same effect of forcing a surrender. Did they absolutely need to be dropped on top of cities and murder so many civilians? This IS a display of barbarism and revenge, no matter how conducive to the goal of ending the war.
ActiveAdmin in rails
Beginner here, would like to hear feedbacks on note-taking, digital garden building and writing.
> Then that means we're looking at ~150,000 to 200,000 Israeli casualties.

There is zero reason to think the IDF is going to take that many casualties. They are much better equipped than Hamas, and if needed, they can simply besiege areas to force Hamas to either leave or starve.
the economic deal you got at that age, is not the economic deal that 19 year olds are getting now. (let that really sink in for a minute)
same for me, just noticed it. Frankly, I'm annoyed by it, I would like to know the url of what i just downloaded, preferably by only looking at it, this just added a few more clicks.
It's happened already: https://earth.google.com is a Flutter app that's entirely drawn in a canvas. Its accessibility sucks. Things that you use to be able to copy and paste like names of places or phone numbers etc you no longer can. It's horrifying. Accessibility or translation extensions have nothing to look at.

It's also the new flash since like flash it's just a bucket of pixels. Like when say VisionOS comes out and their browser has made tweaks to all the HTML form elements so they work well with finger gestures in the air but of course here this page is just a block of pixels so it will have the wrong interface for the device.
The Discussion lets on that it is satire. So does Table 1.
The loneliest volcano may hold something rare
One of the worst projects I ever consulted on was the one where they couldn't give sound reasoning for many of the key decisions they made early on, before I was brought in board to add some expertise in the tech stack they chose.

In retrospect, providing guidance was never going to help because they never understood the "why" for what they were doing.
Thanks, I've requested access, how long did it take for you?

Update: access already granted!
The "big context window" talk reminds me of high wattage speakers in the 80s. Yes, it's loud. "Does it sound good?", is the question.

Having a large context window is pointless unless the model is able to attend to attention on the document submitted. As RAG is basically search, this helps set attention regardless of the model's context window size.

Stuffing random thing into a prompt doesn't improve things, so RAG is always required, even if it's just loading the history of the conversation into the window.
Must be where you live
Yeah it was to show Stalin we’d have absolutely no qualms about dropping it on Moscow.
the more interesting number is $20B in net income in last Q, so $80B is their annual profit.
It reminds me of Ted Chiang's short story https://en.wikipedia.org/wiki/Story_of_Your_Life
Mostly because it is dangerous (or was). For example, an integer that can only be 1, 2, or 3. In the admin (way back in the day, at least), someone could go into the admin and set it to 4. Which would then break everything in subtle ways.

Also, most applications have constraints like "X can only be 2 if and only if Y is equal to Z" ... there was no way to specify that constraint to the admin interface, so someone could set X to be 2, and it would break programmer assumptions who wrote code expecting Y to be equal to Z.
Maybe some history will help here too. In the 90s, the data model of most programming languages wasnt even array-of-structs, but array-of-pointers to otehr pointers to other pointers...

And the majority of software we've inherited is written this way.

In the 90s this didnt matter, since dereferencing a pointer was comparably expensive to arithmetical operations. But with modern CPUs with massive caches and more native parallelisation, the difference is dramatic.

So, even now, the majority of languages we're using; and almost all code we've inherited today, are as far away as you can get from efficiently using modern CPUs.

The task is first to change all these languages to enable ergonomic programming without tons of indirection -- we're very far away from even providing basic tools for performant code
https://payloadcms.com/

For js/node
Nova in Laravel. https://nova.laravel.com
I think it has to do with the times. Because sl admin came up in a pre DRF time when people use Django to serve templates, the work to build it into the framework came more naturally. With lots of more modern web app frameworks mainly focusing on just being APIs for single page applications, having html templates and stuff in the core project and having contributors build this stuff in doesn’t happen as naturally.

I totally agree though- huge selling point of Django!
LOL: https://www.google.com/search?q=site%3Aarxiv.org+%22is+all+y...

(apparently, a lot of things are "all you need" !)
correct, every AI chip maker needs their own compiler team these days
TCP works terribly on connections with a high error rate. This is one of the main reasons for wanting to replace it with something like QUIC.
HN isn't the appropriate forum for political discussions (at least ones that aren't tech-focused). That's a good thing. We should have a place where we can just talk about tech issues. There's no shortage of other fora where political discussions and arguments are welcomed.
Comments like these are easily my least favorite kind of comments on Hacker News. Rather than trying to understand the meaning of what people say, in the articles or in the comments, we get caught up in having arguments about what the definition of some particular term is, or what the right term to communicate some concept is.

I think the correct response to seeing a comment that appears "self-contradictory" is to read it again, and see if there is some alternative meaning behind the comment that makes sense--some interpretation other than our first impression. That's what we do with literature, and I don't think we should be lowering our standards for reading comprehension just because we're online.
BTW what do you mean by "different prompting style"?
I can't find reliable, straightforward numbers for the total amount of energy in the atmosphere. Reddit provides one pretty believable number of the amount of energy required to raise the atmospheric temperature by 1C: 3.7x10^21 J [0]

Taking my main source's figure for the number of calories per hour that we're adding (2x10^17 calories aka 4x10^17 joules), that suggests that we are causing enough extra heat to be retained to raise the atmospheric temperature 1C every 9000 hours or roughly every year.

[0] https://www.reddit.com/r/theydidthemath/comments/16c167g/req...
Can you clarify what's the "tremendous value" you're getting out of the Django admin?

At Heii On-Call https://heiioncall.com/ we are using Active Admin https://activeadmin.info/ for Ruby on Rails, which seems quite similar to the Django admin. In my experience, it's mostly useful as a fairly basic read-only view of what's in the database. In Rails, it's so easy to whip together a custom view that we tend to do that, and the Active Admin is nice to have but I wouldn't say "tremendous value".
I don't get how Pichai isn't in the crosshairs right now, he must be good at bullshitting the board and shareholders, because things have very clearly been going downhill under his leadership.
The styling is a bit ... lacking. Anybody that cares about their reader, would not expose them to this brutalist styling experience. It's basically unreadable. Not just a little bit. It's really hard to read on a normal laptop screen.

Kind of defeats the point of writing almost. Why this indifference?
My cat has eaten at least the following plants without getting sick:
-grass
-various house plants
-potato chips
-oatmeal porridge
B-21 Raider Has Begun Taxi Tests
>Or is it actually possible to have 1.5 billion dollars laying around in cash somehow?

Yes. 1.5 billion is less than Google's weekly operating expense.

>So since it's not just cash, how does a company of this size, then determine what assets to sell? And if those assets are actually invested in something, or representing an entity of some sorts, how do they assess whether or not it will cause any damage or loss of profitability?

There's a lot of smart people under CFO that determine that.
As soon as you need frontend auth you'll regret going with flask or fastapi. There is no equivalent in the python world for django admin
Musk says Starlink to provide connectivity in Gaza through aid organizations
Gave this a try just now, lots of fun. Made some absurd brutalist architecture in 5 minutes!

Reminds me of the fun and ease of using Sketchup back in the day.
I can understand that this works for cats or cars, but how does this work for images that are not in any training set yet? E.g. highly specialized images like x-ray pictures, or astronomy pictures?
Flask has flask-admin: https://github.com/flask-admin/flask-admin
I helped stand up Notion’s marketing site (https://notion.so/product) on NextJS.

It’s really annoying / impossible to implement all the fancy caching, incremental revalidation, etc if you need to run more than one instance to serve the load you get. Or you need a horrendously complex AWS buzzword graph that will kinda sorta do the things. We switched from AWS ECS deployment to Vercel after tiring of figuring out how to support Next features that require very tight cooperation from CDN/distributed cache magicks.

The total product is good, the web presence team is happy with Next and Vercel, I’m liking RSC and server actions, but I wanted to share my experience that beyond modest scale running Next yourself needs a lot of effort.
It’s mostly just a UI for CRUD. And most systems are more complex, requiring UIs that operate on business logic.

Rails and Phoenix also offer similar features (called scaffolds), but they are optional. I’m sure other frameworks have similar options.

Meanwhile, Django (like Python) sometimes has unconventional names and approaches to doing common things, so that makes the pair unpleasant and awkward for those of us with experience with several other tools and frameworks.
The EU one is on hold.
Maddening. The war planners expected everyone to be completely credulous. It was watching your country go to war on unverifiable "evidence" collected through a game of whisper-down-the-ally. If you expressed doubt, you were unpatriotic and wanted another 9/11. If you wanted to cut the losses and end it, you wanted to 'cut and run' and wanted another 9/11.

If you presented everything to a smart 8 year old, they would said it sounded dubious.
There were certain language choices in the paper that led me to think that just maybe they weren't doing what they were doing, but the longer I read, the more certain I became that they were doing exactly what they shouldn't, wasting my time.
I thought throwing up was sort of normal for cats. That's how they get excess fur out of their stomach if they ingest too much while licking themselves.
"Most of the nationalist groups (many of which were ex nazis) were actually funded from Western sources. Yugoslavia is actually a good case study of how a well educated society goes completely bannanas"

Right on, brother.

But, don't expect these Anglo-Saxons to understand, they are mostly good only at pillaging other, more peaceful nations. After they destroy your country and rob it blind for -insert reason-, they start telling you how good their democracy is.

These people don't realize that, if not for military might of NATO, people would eat them alive at every corner of the globe.