skysight-inc/HackerNews huggingface dataset:
> It doesn't prove that your specification is bug-free & vulnerability-free.

There are formal development methodologies where you start with a small set of very simple axioms and you iteratively refine them. Eventually, you end up with code. All steps are formally verified along the way. This addresses your (valid) concerns. For example, many railway software control systems have been developed this way. See e.g. references [1,2] for some more in-depth discussion. Some of these ideas might make a comeback given that code generation is cheap now, but it's quite unreliable.

[1] https://raisetools.github.io

[2] https://raisetools.github.io/material/documentation/raise-me...
Disagreements over direction should be solved by making separate orgs/initiatives to go test each approach.

Better than funding “one true initiative” and force people to work together to keep the funding.

The VC funding model succeeds in experimental domains by letting many experiments run at once. Kind of a form of Darwinism. How to do that with funded initiatives is a really interesting challenge.
What did you learn? How would education have helped?
For the latter you make a special “dialog” that has all the features in a single list. You make it anyway, because it’s a part of ui customization menu, but this one is separate, for search uses.
The examples on the home page are a nice way to quickly show the features of a language. I'll check the documentation to see how to work with files, make HTTP calls, parse JSON.

It's the first time in more than 10 years that I actually feel like trying a new language. The last time was Elixir. Since then I had to use Lua (hobby project) and Python (work) but I don't enjoy them much. I would have skipped them if I hadn't have to use them. Before Elixir I enjoyed Ruby, before that it's been Perl 5 in the 90s. Everything else I used in that period and before was because I had to (C, Java, PHP, JavaScript/Node) and I skipped many other mainstream languages because they didn't look nice to work with (Go, Rust, TypeScript.) I still have to see what's writing and running a Rhombus programs looks like so I might discover that it's not so nice after all. I'm hopeful.
IPv6 packets can still be fragmented, but only at the source. IPv4 fragmentation has only worked this way in practice for a long time.

Private addressing is still needed with IPv6, it's a crucial part of how address allocation works, and it's the only way to reliably connect to a client-like IPv6 device on the local network, since its public IP address will change all the time for privacy reasons, assuming it respects best practices.

Routing is only simpler if the ISPs actually hand out the large prefixes they are supposed to. Not all of them do.

DHCP is still required for many use cases. So now you have two solutions for handing out addresses, and you need to figure out when to use SLAAC and when to use DHCP. This is strictly more complex than IPv4, not simpler. SLAAC is mostly just unnecessary cruft, a cute little simple path for limited use cases, but it can never replace DHCPv6 for all use cases (e.g. for subnets smaller than a /64, for communicating additional information like a local DNS server or NTP server, for complex network topologies, for server machines etc).
> It makes a lot more sense to worry about the ISP unilaterally changing your prefix - something that can only happen in IPv6.

ISPs unilaterally change your DHCP address on IPv4 all the time. And in any situation where you would have a static address for IPv4, your ISP should have no problem giving you a static v6 prefix. This argument makes no sense at all.
The defense attorneys of criminal criminal forensics lab technicians at least.
I'm really tired of shelling out $90/month for Photoshop, Illustrator and Acrobat...
That sounds perfect, but it looks like it only supports linux and windows. I'm on a macbook.
Free riders are now destroying useful goverment services. They really don't care about anything like that.
True, but there is no reason that those battle-tested cases cannot be migrated into other projects by a mindful maintainer / author (not to say that language-specific issues cannot arise, yet rust vs C seems like a pond vs ocean scenario).
This looks awesome. The way you are dragging things around and the diagonal lines is amazing. Don't think asciiflow or the other one or two tools do this.

Since you are providing a single portable html file (which almost no one does that these days sadly) you may be interested in how sequencediagrams.org handles this. They don't offer sign up, instead have localStorage, Google drive, file export and few other ways.

Also, can you let me open it on the phone with a warning/recommendation to look at github instead of redirecting to it.
Sorry for being perhaps a bit pedantic but, not really. You can (and should) get an idea about what the book is about by its cover. But you cannot "judge" the (quality of the) content of the book by its cover.

That would be like saying you can judge the quality of a cereal-brand by its box. Special-K? That is really special.

The Book might be full of lies or incorrect information no matter how beautiful its cover is.

You can judge the quality of the cover of the book by looking at the cover. :-)
Can you link to anything recent which could support your argument?
They are trimming one of them. But the work will likely get pushed down.
It is much harder to accept anything less than perfection from a machine when human life is in the equation.

I can forgive a human.
Also, August (2008)

https://en.m.wikipedia.org/wiki/August_(2008_film)
> Besides the difficulty of that by itself, it automatically meant that the v6 versions of DNS, DHCP, NAT, etc wouldn't support v4, rather it'd be a totally separate stack.

Sure, "make the addresses bigger" would have required providing DHCPv6, DNS AAAA records, and various other protocol updates for protocols that embedded IP addresses. And making changes to the protocol header at the same time (e.g. removing the redundant checksum) were also a good idea.

It didn't require pushing SLAAC instead of DHCP.

It didn't require recommending (though fortunately not requiring) IPsec for all IPv6 stacks.

It didn't require changing the address syntax to use colons, causing pain for all protocols that used `IP:port` or similar.

It didn't require mandating link-local addresses for every interface.

It didn't require adding a mandatory address-collision-detection mechanism.

And I'm sure I'm forgetting a few.
It helps that 3b1b doesn't start with a curriculum and then has to figure out how to teach it. Instead he can select topics to suit his style.
HTTP/2 is still mostly implemented only over TLS, and that can mean significant and completely useless overhead if the server-LB connection is already encrypted using some VPN solution like WireGuard.
Well, have fun never leaving East Asian megacities. You probably won’t like what literally the rest of the entire world is like.
This was my bet too. Sounds more like bodycam work than dashcam or "film production". NDA may be because they work for law enforcement.
> I don't buy that uutils will be a meaningful improvement for security

Why? Because it hasn't been a consistent major vector for attack in the last couple of decades?
Definitely an issue but I think there's a little room for push back. Work done outside normal working hours is automatically the highest priority, by definition. It's helpful to remind people of that.

If it's important enough to deserve a page, it's top priority work. The reverse is also true (if a page isn't top priority, disable the paging alert and stick it on a dashboard or periodic checklist)
It's extremely reductive.
Is there some other manual-viewing command that you believe it has been confused with? Is it that you are not aware that a eunuch is still considered a man?
I feel like this is one of those prescient movies like Pleasantville and Idiocracy we should force voters to watch again before voting.
But on the other hand, it dries out your hands!
Yeah I've seen a few comments on here about Zuckerberg's dumb fucks quote along the lines of "I would have said the same thing" (would you? I hope your employer doesn't find your screen name)

Combine that with a few "is this surprising to anyone?" and "this is a nothingburger" (except when it might be, like some of the Russia narrative being made up, it depends; but then, it still deserves a more substantive comment than that) and you get the general level of discourse
Fortunately every job I've held had the situation where the manager was fine with me/the team taking make-up time the following day if you were interrupted during offhours. Sure extra comp would be nice, but if on-call has to be done, this isn't the worst way.
SpaceX sets new launchpad turnaround record with Saturday sunrise launch
What capabilities was gimp missing to create these thumbnails?
I have one rule about ATMs. Always take out the maximum amount.
> Wouldn't providing external lifeguards impact the ability for a domestic lifeguard market to exist?

Possibly in theory, assuming there was domestic capacity to provide lifeguards.

In practice, however, lifeguards are not a product. They are people who help others and, as such, earn the admiration of those whom they help.

Some might say this is the definition of "soft power."
They are criticising Microsoft closing access to .NET debugging tools: https://www.theverge.com/2021/10/22/22740701/microsoft-dotne...
What are they going to do, pack up all the factories they own into a suitcase and fly away with them? Oh wait, they already gave them all away to China? So what's suppose to be the downside? Where's the threat?
> What did you learn?

1. More about Theranos. I've never given them attention in the past.

2. That you hate education (except maybe when it is your own).

> How would education have helped?

Once you get past the education level of somewhere around a five year old, meaning the education necessary to sustain basic life, does more ever really help in some kind of grand fashion? More education will sometimes allow you to stumble into desirable places, but exactly what education is beneficial to get there is random chance. It remains to be seen if this education will be a lucky break or just more to add to the useless pile, but either way does it really matter?
Were the systems designed to scale based on load and handle transient failures?

It seems like lack of automated remediation would be a bug unless it's an "accepted business risk" i.e. cheaper to throw people at to manually fix than build a software solution.
My memory must be going Because I lived through this And don't recall things going like this at all.
While maybe saying I don't remember it like this at all is a little harsh it seemed to recall a little bit that was similar But a lot of it seems like it's been written by An A I.
I'm pretty sure I went to those computer shows And weren't they called COMDEX?
Also before halt and catch fire I don't even think I ever heard of Osborne.
Another thing that seemed to have been messed is the Commodore 128 did I just imagine that computer? anyone else remembered it? Go 64?
As far as Compaq Gateway HP and any other flavor of PC goes that was more because of open architecture: suddenly every startup in the world could produce hardware and software and compete with the big guys, this article claimed that the home computer market was dying off as of 19 96 but from my point of view things just really took off right around that time Has everyone wanted the internet So they could meet at Tom Hanks or Meg Ryan Winky Face.
They do have to admit wanting a pulmonary 64 though, My buddy had one And all of the Bulletin boards at that time Had really cool games for it.
I don't want to be too critical though It was a good read and they brought back some memories and actually I kind of feel like we're just entering very similar time As was back then. I can only imagine what this generation will come up with and hope there is just as much if not more innovation and enterprising companies like Commodore And Atari... even if I might not be around to see it!
I'm curious if any Ruby gems support HTTP/3? A quick google search found me nothing.
I guess I'm confused at this chain of responses, then. As I'm doing what you are already suggesting.

Re-reading your comment, about the "not really freeing anything" -- I beg to differ, as when you do a real free(), it frees up memory for any program to use. As I already mentioned one of the benefits is once you have control of who can use that memory and aren't risking it not being available - disregarding some program that constantly grows in memory.
Dexter Morgan wins again.
What specifically are you worried about? Better comms will always help people, be it to flourish more in peace or more efficiently killing one another. Most inventions in the 20th century either came from the military or ended up being used by the military.
So choose a less expensive plan.
How is IPv6 not suitable?
It always amazes me these places that have "24/7 support needs" then all of a sudden a bug comes in that's "not important" even though it has customer uptime impacts.
So it's not PURE!
I suspect many who make software would never do what adobe does (deliberately make it difficult for customers to leave). Entirely subjective, of course, but I consider Adobe's retention strategies very sleazy (although not uncommon).

That said, can also see the utility in making deals with the devil: if it means getting your own software done faster and better, then it might be worth it, even if it feels gross.
> Nix explosion

I am reasonably sure that you can, not that you need to, use nix with Ubuntu?

I use Ubuntu (and other distros) because I respect the effort behind it.

Why does one need to stop for the other to exist?
You're just wrong. There's a whole line of cases about this.

Walkers and strollers and wanderers may be going to or coming from a burglary. Loafers or loiterers may be "casing" a place for a holdup. Letting one's wife support him is an intra-family matter, and normally of no concern to the police. Yet it may, of course, be the setting for numerous crimes.
The difficulty is that these activities are historically part of the amenities of life as we have known them. They are not mentioned in the Constitution or in the Bill of Rights. These unwritten amenities have been, in part, responsible for giving our people the feeling of independence and self-confidence, the feeling of creativity. These amenities have dignified the right of dissent, and have honored the right to be nonconformists and the right to defy submissiveness. They have encouraged lives of high spirits, rather than hushed, suffocating silence.
Here's the huggingface link from that article: https://huggingface.co/mlx-community/OLMo-2-0325-32B-Instruc...

How do mlx quants compare to gguf?

Edit: the thread below says that mlx is faster, but gguf quantisations tend to maintain better text quality.

https://www.reddit.com/r/LocalLLaMA/comments/1gc0t0c/how_doe...
After uploading cascii.html to deepseek.com and promptCoding with it, I saw that you had the json representaion in localStorage.

I tried generating the json from the ascii exported to the clipboard but see why this could get very tricky. So, I added an Export (JSON) to file and Import (JSON) from file and placed them in a More Popup component in which I put the existing export button, so the menu bar does not get too crowded. (for code see (1)) -

This now allows me to save the json and import/edit it at a later time - no short url needed and the data stays private.

Your code was well laid out and deepseek was able to make all the changes error-free.

(1) https://github.com/ssr1ram/cascii-core/tree/more-export-impo...
Would be interested in hearing your thoughts?
How'd their 2008 go?
Speaking of needless pedantry, why do you start with this?

> Unpopular corollary:

To me at least it comes across as condescending and unnecessarily edgy or contrarian for the sake of it. I am perfectly able to gauge whether a comment is popular or not.
Strangely, apple sucks at mice. A multi-button mouse with a scroll wheel is way better than any apple mouse I've used (especially the round one).

That said, the touchpad on some of their laptops is pretty good when you can't carry a mouse, but nowhere near a good mouse.

(I have owned all their mice, all their trackpads, etc)

Their keyboards have gone downhill too. I like the light feel of current keyboards, but the lack of sculpted keys to center and cushion fingers and arranged keys for the hands has really replaced function with form.

all the people who knew these kinds of truth have probably retired. sigh.
In which HN deduces the existence of Institutional Racism from first principles.
It has a nice start-image with sunset and stylizised clouds.

Can anybody tell or guess how those clouds were created? I've been looking for such an effect for some time now, basically emphasizing edges and contours.
Yeah -- if the government pays for individuals' food, housing, and health care, then that money also stimulates the economy and gives people a good base to stay out of trouble, get a job, raise their family, or whatever.

Likewise, if you invite a company to set up in a given town or region, then they're creating jobs, they're purchasing assets, goods and services, and their employees are eating lunch and shopping nearby, they're moving into town, and paying their income tax where they're at.

It was interesting for me to watch Downton Abbey and learn how a manor house operated, you know, like a corporation. It wasn't such rich snobs just living on a huge piece of land, they were really stewards of a huge workforce, and the farmers and animal husbrandry that went on were sources of income for the whole common good there.

Even McMansion owners need to command a cadre of service workers, handymen, repair pros, to keep the house running when they own it. Not everyone hangs out at the hardware store every weekend.
The expensive parts of drug R&D aren't the 'talent', it's the clinical trials. You can't simply offshore those, not if you want FDA approval.

Summit Therapeutics is the largest drug company by market cap without an approved product and has only 159 employees. Only a fraction of which are scientists. They are spending 2x as much on R&D every quarter as they are on total G&A expenses company-wide. It's basically all clinical trials. They're already in about $600m for R&D alone since they went public. If they don't get that back from patients/insurers, they're unsustainable.
> ... plus [reference counting] interacts badly with how modern CPUs work.

Can you expand on this?
When I tried to cancel my subscription they offered me a free year of everything. I took it and then cancelled when it was done. 0 issues.
Direction matters, though as the answer to a different question than whether rate of committing crimes is uniform. We are in this sub thread: https://news.ycombinator.com/item?id=43393070
I suspect we may have hit peak LLM. Or if not yet, then just about. The AI that is capable of writing Chrome will be something other than an LLM.
NixOS builds on efforts of things like https://cloud-init.io/ no? Or was one before the other?

Its not a snarled mess if you understand what you are doing, imo. Though, when I first started using operating systems other than Windows (~1998), I was very confused, and made many of the same mistakes new Linux users make. Actually, way worse, as there were no resolution to my mistakes (using linux, was a big one back in the day if you were on newer hardware).

I understand where the sentiment comes from. I just don't appreciate the conclusion or the leech-like entitlement of the community. We used to fix and push.
My Idea Will Disrupt the Entire Agentic AI Market
I'm working on an agentic marketplace where users can select and interact with different AI agents within a single chat interface. Imagine like a Chrome Store where you can select Chrome extensions..!

The goal is to allow seamless switching between agents specialized in different tasks, making AI interactions more flexible efficient and simplified.

This will be a part of my previous project called Hipocap.
> But hey, Grandma Martha can't read her Kindle version on the new Kobo her grandson got her without buying a new copy. Fantastic.

To the business-people making the kind of decisions we hate, that sounds to them like:

"So you're telling me grandma Martha is not rich, has no big team of lawyers, and they're taking down the agency advocating for consumers rights so no one can stop us if we fck her over and 200 million people more? Seems like it's her problem."*
And why do you think delegating the responsibility of tasks to the AI is going to end well?

"Make the arms longer" could lead to way too many polygons, or messed up UVs, or will create arms that don't have edge loops, or have them but along the wrong axis, or etc...

"Write a test for the new endpoint" is going to lead to "ok, now make the test pass" which is just going to make the test return true, or return a false positive by checking that a function exists instead of calling the function, or calling the wrong value, or changing the code to fit a test that doesn't do the thing it's supposed to but at least the test passes now, or etc...

The only thing "AI" is doing is either spitting out something that already exists from google, or making a mess that will need to be cleaned up later.
Discussions

(291 points, 5 days ago, 105 comments) https://news.ycombinator.com/item?id=43349473

(428 points, 4 days ago, 262 comments) https://news.ycombinator.com/item?id=43360024

(89 points, 22 hours ago, 64 comments) https://news.ycombinator.com/item?id=43386253
PS sorry for all the typos I can't use my hands anymore and voice access is a little flaky [But I'm still very thankful there is such a thing!]
No absolute tokens/s figures in the slides, is this testing something that is fast enough for interactive use?
If you have any suggestion please let me know guys...! I would luv to here from you
Ah maybe I will
> Even a simple remote is better than mouse+keyboard for an entertainment center

where you going to find a simple remote anymore?

The only things simple are the giant keys marketing dedicated to partners (like the youtube or netflix buttons)

I want a skip forward button!
If I remember correctly it was more or less coined as an alternative to "Free Software" which wasn't as industry-compatible. I also remember a lot of discussions (and essays by Stallman) about how Open Source is not Free Software as it lacked the enforcement of freedom that is the GPL.
What are best ways to build a cluster of AI agents in TS?
I am building an ai agents platform (voyager1.ai) for marketing. My tech stack is as follow:
1. svelte(kit) + TS
2. vercel ai sdk (openai)
3. drizzle + postgresql(supabase)
What are best ways to build ai agents in TS?
Uh they still have to report their trades.
Signing Board Agreement Merely to Be Considered for a Directorship?
> my eyes are immediately drawn to this weird bullshit

Gave me a good chuckle there :)

Appreciate this write up; I'd even say your comment deserves its own article, tbh. Reading your thought process and how you addressed the issues was interesting. A lot of people don't know how to identify or investigate weird bullshit like this.
This is vastly oversimplifying the problem, the difference between IPv4 and IPv6 is not just the format of the address. Different protocols have different features, which is why the sockaddr_in and sockaddr_in6 types don't just differ in the address field. Plus the vast majority of network programs are using higher level abstractions, for example even in C or C++ a lot of people would be using a network library like libevent or asio to handle a lot of these details (especially if you want to write code that easily works with TLS).
I am building something similar, but i will have specialized agents and interfaces for one purpose that is marketing