skysight-inc/HackerNews huggingface dataset:
Also that the features c++ is getting are bolt on additions that we already have solutions for. I think fmt is a great example - fmt is a header only library that can be dropped in. Meanwhile std format was standardised without printing to stout. That took 3 years to standardise. Meanwhile we’re working on things like ranges, and instead of implementing them in the language it’s shoe horned in as a library feature - we now pay massive compile time hits for these features that are being shoved in alongside the kitchen sink. Meanwhile the solution (modules) has been talked about longer than I’ve been writing c++, it’s still unusable, and it hasn’t shown one of the key things people have been begging for for a decade - faster compile times.

I think the committee is focused on the wrong things
Discussed previously:

https://news.ycombinator.com/item?id=40845951

https://news.ycombinator.com/item?id=40845954
We've been using this in the Micro:bit Educational Foundation (microbit.org) to fill a gap in hardware design tooling, and get visual diffs of our schematics and gerbers during PCB design iterations. It's kinda wild that's what we ended up doing, but if you want to be sure your radio layout didn't change at all when you're making a minor revision to a different part of the board, visual diffs are perfect.

That said, next project we want to try something more integrated with EDA tools. If anyone else has followed this path, we'd love to know.
I don't work in web, and possibly live under a rock. I'm a little confused around what bundlers actually do?

I'd sort of assumed it was a typescript build thing before, but Mako's page gives me enough info to make me realise I'm wrong, but seems to assume people are working with some base knowledge I don't have.

Any pointers to information of exactly what bundlers do? The emphasis on speed makes it sound like it's doing a whole bunch of stuff, what are the bottlenecks? Package version resolution?
AFAIK that can break because of the strict aliasing rules (although it might work in practice). Even if char can alias anything, the reverse is not true and you can't legally store other types in a static array of char type. You should be able to use anonymous memory though, so for example if you get your storeag via mmap or some other allocator it should be fine.
This is how it looks on my end. Regardless wherever it's ipadOS, MacOS, Android or Windows

https://snipboard.io/sYOVin.jpg
Vote for Democracy
Are you passionate about AI and looking for a role in a fast-growing start-up? Encord (YC Winter 2021) is hiring across multiple departments in San Francisco and London!

We have openings in:

: Full Stack, Front-End, Back-End Engineer, Engineering Manager
: Product Manager
: Technical Recruiter
: ML Solutions Engineer
: SDR, AE, Commercial Associates
: Customer Success Manager
Why Encord?

: Tackle interesting problems that make a real difference.
: Play a pivotal role in helping companies on the forefront of Vision AI.
: Enjoy the benefits of hybrid work with great colleagues.

Find all our roles here: https://encord.com/careers/
Ah the teenage angst flareup if our device cant support variable bit rate encoding.
We use this tool in our team regularly for comparison of PDFs we obtain from third party services that might have changed after code-changes on our side. Big thanks to the author <3
Bundlers take many - usually at least hundreds, often tens of thousands - individual source files (modules) and combine them into one or few files. During that, they also perform minification, dead code elimination and tree shaking (removal of unused module exports).

It's orthogonal to TypeScript - bundler will invoke a TS compiler during the process and also functions as a dev server, but that's just for nicer DX.

Package version resolution is done by package manager, not bundler.
I'm not the author, but I'll try to let them know :- )
Code reviews also keep the team up to date with what is changing in the code
There was not a single example of someone actually selling plasma, personal belongings, or living in their car to survive. The Bay Area technology sector has a huge variety of "tech jobs". The ones mentioned here are tech adjacent. Also, these folks would be in high demand in other locations because of their experience. Their decision to stay and compete in a saturated market doesn't make them "poor". I'm sure they are genuinely discouraged, but they have a wide array of viable options that vast parts of the world have no access to.
The nature of the scam is not from title insurance being unnecessary, but title insurance not being purchased on an open market like other insurance products. It's added in to the contract, with financial benefit to the real estate agent, and not discussed.

The author's point about real estate being one-shot for the buyer and seller is spot-on.
This is good advice. There are many boring jobs in 'cost side' departments of big companies and the only attention they get from upper management is a continuous focus on reducing costs. Even the most inoffensive manager can get ground down by having to do more with less every year. IMHO, a sweet spot is rather where you can trace that you contribute to revenue but you are not on the critical path.
It indeed can't be too big because the shooter takes the same or greater momentum in the form of recoil. Conservation of momentum applies to the process of accelerating the bullet.
The only thing that differentiates having fun and science, is writing it down.
Happened also in Finland. It was "lerppu" (floppy) for the flexible ones and "korppu" (hard biscuit) for the hard ones.
Big improvements in coding support there; JSON generation and long code benchmarks look like big wins. Anyone here using Phi-3 for local code support right now?
>Why build a new browser in C++ when safer and more modern languages are available?

>Ladybird started as a component of the SerenityOS hobby project, which only allows C++. The choice of language was not so much a technical decision, but more one of personal convenience. Andreas was most comfortable with C++ when creating SerenityOS, and now we have almost half a million lines of modern C++ to maintain.

>However, now that Ladybird has forked and become its own independent project, all constraints previously imposed by SerenityOS are no longer in effect. We are actively evaluating a number of alternatives and will be adding a mature successor language to the project in the near future. This process is already quite far along, and prototypes exist in multiple languages.
It’s not necessary to use the same language for that.

In many cases you can achieve the same with a clearer separation, with data driven methods and by generally not running so much JS.

The typical example is input validation. You want immediate feedback on the client, but obviously you validate on the server.

But instead of running literally the same specific code twice, you can use json-schema or your own general data description of what valid input is. You move the specifics from code into data.
> ClojureScript has a great deal of stability in both the language itself and tooling

Does it still use Google's Closure (they've chosen it just for the name, right?) compiler? Is that still supported by Google?
Interestingly, Github thinks the project is 46% shell, due to the fairly huge wxwin.m4.
Hello friends, Ladybird founder here!

Here's a short video from Chris Wanstrath announcing our non-profit yesterday, and kicking things off with a $1M donation: https://www.youtube.com/watch?v=k9edTqPMX_k

Happy to answer questions :)
Could Plant-Based Diets Transform Health Care Spending?
> I doubt they would licence the IP

But would they go after you for using it.
The electrical grid is typically 230/120 Volts AC at 50/60 Hz. A bad design will rely on that and fail once something about that is out of whack in either direction. A good design will gracefully shutdown, or operate normally within reasonable thresholds.

You can apply the same principle to programming (in fact, many programmers do). If your program falls completely fall and explode into pieces once any peripheral, call, timing, or whatever isn't as expected, then it isn't a resilient program. If it fails in unexpected ways while still writing data you might even have a dangerous program.

So many programmers are happy with writing a program that works. That would be as if a car manufacturer would be happy to call it a day if the car manages to accelerate.
Not my area at all, but surely you would just add the relevant induction schema as an axiom? Are nonstandard models relevant to proof assistants?

(to be clear - I know what nonstandard models are and how they work, and I've mucked around in coq/lean, just wondering why it matters to a proof assistant)
There's tons of work on millisecond boot times going on, in kata-containers, confidential computing, and various "serverless" implementations. I wrote a paper about it nearly a decade ago too[1].

[1] http://git.annexia.org/?p=libguestfs-talks.git;a=tree;f=2016...
instructpix2pix is fine-tuned on sd-v1.5 which is a inpainting model (aware of contexts and semantics) that why it don't require mask.
Yeah, I've done that as well. I wonder if the revset docs should be split into "Basic" and "Advanced" sections.
Go see a doctor. Run. Don't walk.
I didn't enjoy the Rust hype on here in years past, but I'm always glad of any better tooling. Just an example from the other week... I swapped out NVM for FNM (Rust) and now I don't have to put up with performance issues, especially slow shell startup times.
I don't understand why don't all Electron apps do this instead. It's the worst of both worlds. Losing out on being remotely controllable AND having a duplicate copy of all the things that make up a web browser but without being able to share it with the instance you already have open.

I guess being able to style the titlebar is REALLY important to design departments.
Mais oui; he even managed a good, and novel, result in geometry!

(in those days, I understand the process of selecting which branch of the military an officer candidate was best suited for consisted of asking them what "2+2" might be.

If they answer "4", artillery.

If they first count on their fingers under the table, and then answer "4", infantry.

If they yell "3" while slamming their fist on the table before one even gets to the "might be" part of the question, cavalry.)
Glue a bootable usb to your phone.
A recent article by The Office of Health Economics predicted that if everyone in England transitioned to a fully plant-based diet it could save the NHS £6.7 billion per year. This is due to a predicted 47% reduction in cases of type 2 diabetes, 18% reduction in cancer diagnoses, and smaller but significant reductions in the rates of coronary heart disease and cataracts.

Seems like an interesting data point. Original reference seems to come from:

https://www.ohe.org/insight/could-plant-based-diets-transfor...
I really appreciate someone taking a stab at a project of this scale, but is it really worth discussing for like the 70th time when even the alpha is two years away?

https://hn.algolia.com/?q=ladybird
Children. Always the children - you're advocating for parents to delegate their responsibilities. I'm advocating for children. There's no implication, I'm being quite explicit - protect the children -- especially from bad parents.
Yes, "wind farms are not an unalloyed good" seems like a great summary of the famously reasonable Donald Trump's take on Wind power, a subject he's kind of ambivalent about, but just wants a reasonable discussion of the facts with all context taken into account. And to immediately stop all offshore wind on day one of his potential next presidency.

> They say the noise causes cancer.

> If you have a windmill anywhere near your house, congratulations: Your house just went down 75% in value.

> The windmills are driving the whales crazy

> They shake, causing worms to come out of the soil. This is not a joke

> windmills are causing whales to die in numbers never seen before. No one does anything about that.

> If you love birds, you’d never want to walk under a windmill, because it’s a very sad, sad sight. It’s like a cemetery. We put a little statue for the poor birds.

Threw in a little bonus Putin quote there, see if you can spot it.
We connect your multimodal knowledge with LLMs!
I think the focus on smart pointers is a huge mistake. Code bases using shared_ptr inevitably will have cycles and memory leaks, and no one understands the graphs any more.

Tree algorithms that are simple in literature get bloated and slow with shared_ptr.

The only issue with pointers in C++, which C does not have, is that so many things are copied around by default if one is using classes. So the way to deal with tree algorithms is to have a hidden tree with pointers and a class that wraps the tree and deletes all dangerous copy methods, implicit and explicit.

stdlib++ seems to use that approach as well.
It’s also why if you’ve ever had a well, you discover how cheap it is to have your own water source compared to paying for municipal water. You just pay for the electricity to pump it up to your faucet, and the electricity to charge an AA battery is quite cheap.
Back in the the day it was possible to boot Sun Solaris over HTTP. This was called wanboot. This article reminded me of that.

This was basically an option of the OpenBoot PROM firmware of the SPARC machines.

It looked like this (ok is the forth prompt of the firmware):

ok setenv network-boot-arguments dhcp,hostname=myclient,file=https://192.168.1.1/cgi-bin/wanboot-cgi
ok boot net

This doesn't only load the initramfs over the (inter)network but also the kernel.

https://docs.oracle.com/cd/E26505_01/html/E28037/wanboottask...

https://docs.oracle.com/cd/E19253-01/821-0439/wanboottasks2-...
The SF Underground Beyblade League
Large language models have developed a higher-order theory of mind
Because in practically every country there are laws on marriage, and it's usually (Muslim world being the exception) 1:1 in partners. It adds legal and financial protections for both parts of the couple. Unless there's a law change, how do you see this working? A married man going around spreading seed and women getting pregnant and going at it alone?
I disagree. Title insurance requires highly localized specialty agents from the municipality up to the county to the State to Federal.

The rules in Hunterdon County, NJ are completely different from Detroit, MI and are different from Ossining, NY.

If you paid a guy in CA to run a title search in Hunterdon County, you’d be in a world of hurt. Because most of our records are at various Hall of Records. Even when computerized they are not on the Internet.

Even big places like Suffolk County, NY require a physical trip.

This is why the title agent gets nearly all the money. It is much more about the search than the actual insurance. As the author indicates, it is very rare for anyone to have to pay on a title insurance claim.
No offence, but what's novel in this post??? I found it pretty basic, or?
The UK register of beneficial ownership referred to in the article applies to registered companies AFAIK.

You cannot get much information on land ownership from public registers in the UK other than the name and address of the owner, and the name and address of any mortgage holder so the problem this solves does not exist in the UK either. There is a requirement that overseas entities owning UK property register their ownership, but that is all I know of.
Good observation! That's the standard waiver lopohole the size of a truck.

Remember the net neutrality law? In principle providers should not be able to block the smtp port. Except they do. In the Netherlands they block this with Ziggo. Except they don't. Cause they open it again if you pay more for the business version.
This is partly sarcastic.

Why not join YC instead and push through on UI changes? HN fails badly on accessibility (small fonts, small buttons, very close to each other, etc). Or just wait for the people working on HN to get older so they encounter the real issues firsthand and decide to make some changes?
I had a quite awkward interaction with a danish exchange student once due to the different meaning of "må" once
You actually think managing memory manually using new and delete is easier than dealing with occasional problems with leaking memory using shared_ptr? That seems pretty ridiculous to me.
Best of luck. If these guys succeed medium to long term they also prove it’s actually possible to build a browser if you focus on building a browser and not anything else.

It would be a statement of hope that we are not condemned to Google’s corporate strategy and the absolute rot the Mozilla foundation has become.

I know pretty much everything is not in their favor but I truly believe it’s still possible for a couple of guys with their head between their shoulders to actually “change the World”. I need to sleep at night after all.
Right, and I do that sometimes by writing blog posts. But as other commenter said, I would still have to:

* get peer reviewed.

* mention previous literature (that sucks, but I agree is needed to show an understanding of the topic).

* introduce novel concepts.

The barrier is high.
SWC doesn't bundle at all. Esbuild is a pretty good bundler but works well only if your code and dependencies use ESM, it's not as good as other options with CommonJS.
Could you accurately simulate the device on a computer precisely following the rules of the challenge? So that means the devices are isolated and therefore no global state is allowed. The devices are not aware of each others state nor results. You are only allowed to use local state to simulate the entangled particle. You can use whatever local hidden variables you want as long as it doesn't break the global state rule.
What is the biggest challenge you expect for ladybird to be successful and do you consider this project still a "hobby" now?

Thanks again for your hard work!
I kinda hate that people dress up this analysis as a theorem. We have lots of formally verified programs that show useful work can be done here. And even if we can't prove most of it, high assurance methods are very useful for preventing fuckery. I can't mathematically prove any lock is unpickable. But I can use a lock advanced enough that the cost of picking it becomes absurd.

Also, theoretical quantum computers can solve whether a problem halts 100% of the time. So Rice's Theorem is theoretically meaningless.
How does Ladybird avoid Mozilla's fate? How can it be a long term sustainable project?
Your comment seems odd and out of context: this is how it works in sports.

When Usain Bolt marked a record, "just" a fraction of a second isn't it a distinction?

It is call a record though.
TDD Cannot Work
Virgin Media O2 | Senior Machine Learning Engineer (MLOps) | London, UK | Full-time

We are looking for Engineer with strong Software Engineering and DevOps experience with a Machine Learning flair.
Our platform is relatively mature and built using Vertex AI Pipelines (Kubeflow with TFX) in GCP.

More info: https://jobs.virginmediao2.co.uk/en_US/careersmarketplace/Jo...
What's the pitch for those who currently use firefox?
I personally would call it a placebo if the group weren't told that others got $950 more for the same goal of housing attainment. They would effectively not know that they're the "placebo" group where the mental/placebo effect seems to be nearly as high as the monetary effect.
I can tell if a youtube video is worth watching in a few seconds of skipping around and listening to random parts.

Less time, lot less resource intensive than having a whole LLM infer text from it so I can think about it.
This is only the second time i've seen this project so maybe this is just your perspective.
Why do you think the sexual revolution happened right on the heels of WW2?
I mean none of the options are great, imo.

- "commit" is overloaded with git, and jj still uses commits for other things under the hood.
- "patch id" is overloaded with patch files, and jj still uses git's snapshots, not patches (unlike darcs/pijul, iiuc)
- "patch revision id" isn't bad, but it's a bit wordy
- "change id" just seems vague, since it's unclear where one change begins and another ends

"revision" at least captures the idea that you are revising the same piece of functionality, but then you might expect each snapshot/commit to be a different revision, and not have the same ID, which also isn't quite right.
> You don't need laws or campaigns, it happens naturally, due to the increased sexual selection availability

Again, do you have any examples of this actually happening in the real world? It naturally happens that men become more desirable because there's less of them, but is there any actual case where it became widespread for men to get multiple different women pregnant to repopulate the country?

Not to mention, even if it did happen (and again, nobody has come up with any examples in the tens of times I've asked this question, and Google hasn't been helpful either), unless there was a concentrated government policy to that effect, you'd be mistaking correlation with causation - less men than women, so men are more desirable and can pull off multiple kids from multiple women doesn't mean that's the reasoning why only men were drafted.
Weird, I feel Gemma2 is overall better even if it doesn't follow instructions a bit more often than llama3.

Luckily filtering out preambles like "Sure, let me help you with that" from primarily JSON/YAML answers is easy enough IMHO.
Problem with big companies is that they are now constantly trying to layoff / outsource IT where-ever possible. They prefer to outsource staff to save costs and cut overhead for accounting reasons. This mean that projects can be quite aggressive and there seems to be a desire to be way more agile and aspire to have more of a startup culture. You can see this in the UK in parts of the government and NHS and also with the big utilities. This means that there can still be a bit of stress depending on the role you are in. Enterprise companies tend to retain high level architecture and governance roles but then they are so removed from what is going on they have little control of what actually gets built, which must be frustrating too!
Show HN: Dinky Dog – shareable mind-maps with real-time collaboration
I've been working on Dinky Dog on and off since March 2024, while using it at work to quickly organize thoughts, share ideas and take structured notes in meetings. It works well for me, although I'm curious what draws people to more powerful and complex apps like Miro and Excalidraw.

Dinky Dog is heavily inspired by Kinopio[1] which I love and simply wanted to make my own.

It's written in plain TypeScript without any frameworks. I've created a simple component system for it, based on an event emitter. It's proven to be OK for this use case albeit a bit of a masochistic experience.

I used durable-stream[2] for real-time collaboration. It's based on CloudFlare Workers and Durable Objects under the hood. It works really well and was a breeze to deploy.

Each user action is broadcast via a Web Socket to all connected peers and is replayed in their browser. All mind-maps are editable by anyone with a link, so there are no accounts and authentication (yet?).

Looking for UX feedback along with suggestions on how to market this app and get people onboard. Thanks!

---

[1] https://kinopio.club

[2] https://github.com/voxoco/durable-stream
The redesign looks soulless
If Ladybird is "forked" from SerenityOS now, does that mean the mainline won't run on Serenity any longer?