skysight-inc/HackerNews huggingface dataset:
Is it even possible for a defense contractor company to go out of business? Aren't they in the "too big to fail" category?
There was a paper about this at CGO earlier this year [1]. Correctness is a problem that is hard to solve, though; 50% accuracy might not be enough for serious use cases, especially given that the relation to the original input for manual intervention is hard to preserve.

[1]: https://arxiv.org/abs/2305.12520
Yes! DaVince Resolve 18 for me, it worked perfectly
Our next step is supporting VL models. Please let us know if you have any requests.
That should be obvious ?

The concern from those contributors (and we might soon see the same in QEMU) is that these bindings are essentially a weaponization which forces the great majority of contributors to learn Rust or drop out. Essentially a hostile takeover.

If I am contributing to the Linux kernel already, I presumably have a decent grasp of C, the central abstractions in the code I am changing, the email-based patch workflow and so on.
So when my code breaks adjacent code, I should have a good chance of fixing those issues also, and most often, this won't become the main body of work.

If jamming in Rust bindings means the great mass of existing contributors are forced to learn Rust, whether they wish or not, to either maintain bindings or to drop out altogether, then raising the pitchforks is not an unreasonable response.
One apology too many - a tragic consequence of the failure to proofread before sending

Edit: my failure to verify before sending ruined my bad joke.
Google Cache used to be so useful. But they've left that all to the Internet Archive now.

https://arstechnica.com/gadgets/2024/02/google-search-kills-...
> To be honest this is a general problem with the UK

Hotel lifts would appear to be another example of this. Automated "doors closing" / "doors opening" announcements seem to be present almost everywhere.

Presumably a significant number people suffer appaling crush injuries from lift doors in other countries ... or maybe they don't, and companies across the UK just let their Health and Safety conslutants get the upper hand.
The Mamba in the Llama
Hardware generally is great. Biggest complaint is them swapping the fn and ctrl keys, but you can change that in bios.

Most common failure points have been

1. Usb-c going bad on e an l series.

2. Chassis intrusion going off on t x or p series. Which will halt boot and require the user to ack
Sorry, this is a bug. We have fixed this issue. No need for login, and totally free to use
The longest sequence of digits that eventually repeat (as defined in the article) is unboundedly large for any infinite sequence of digits, not just pi!

Using the pigeonhole principle, there must be at least one length N repeating string in the first N(N!+1) characters of any string.
Wow, I didn't believe you so googled and I'm stunned. There is a limit for unfair dismissal. Thanks.
what if the comment doesn't match what you intended to write?
CHERI is more powerful than memory-safe-C because it's a capability system. It's also still useful in a world where memory safe languages are common because the there is still a large amount of unsafe code that world and CHERI lets that unsafe code still maintain the guarantees the safe code relies on.

The cheri extension is rather small and simple, though isn't not extremely cheap due to the longer pointers and the tag bit.

Cheri does have an answer to temporal safety too, though it has added costs. Freed memory is not immediately reused, eventually the tagged memory is swept for references then the pointer freed memory can be reused. This is both safe and faster than you might guess because all tagged objects are capabilities and all capabilities are tagged.

The simplicity of cheri itself makes it easier to be confident that its protection is correct-- relative to the entirety of a compiler/libc/etc.

The cheri solution to use after free still kinda stinks though, so I think a combination of safer languages and cheri will be interesting in the future.

Edit: I see now that Fil-c is also a capabilities system. Thanks for bringing it to my attention.
on a quick Boyd tangent, the japanese three pwns (三殺法) easily map into Boyd's OODA:

kill the sword - you are observing your opponent's actions
kill the technique - you are observing your opponent's decisions
kill the spirit - you are observing your opponent's orientations
There’s a convention for this that has been established over many years:

- If it has a hard paywall the link is not allowed and should be flagged or removed by moderators (or changed to an accessible source)

- If it has a porous paywall (usually that means it can be reached via archive.ph), someone should post a link to it, and mods will pin it to the top of the thread.

The outcome is that there should never be content on HN that is inaccessible to anyone.

Sometimes it may be annoying to have to get to it via the comments and an archive link, but that’s less annoying than content that is accessible being banished from HN altogether.

Everyone knows it’s an imperfect solution, it’s just the least imperfect.

Dang’s explanations:

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

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

https://news.ycombinator.com/item?id=34130115
I'm thinking computer vision applications, especially ones that can't be done on a smaller device – e.g. "based on video from these bodymounted cameras, determine the changing position over time of X, Y, Z."
It's awesome. I used the image export, is there anyway to export to text with escape codes?
Thanks for sharing. This makes a lot of sense to me. I’m not close to kernel development but any change to an established entity impacts the interest of people in it. So a primary obstacle change encounters is that it may diminish power people obtained in the establishment.

These people, while well intentioned in pushback, have difficulty separating benefit to the entity and benefit to themselves. So it takes a lot of work to impact change, and I understand the distance it has from normal technical work.
Random try (the first one) with Claude 3.5 Sonnet: https://claude.site/artifacts/246c1b1a-3088-447a-a526-b1e716...

I'm not on PC so it's not tested.
The capacity limit is the number of tracks. There are 4 AC and 2 DC tracks on the line out of Euston and they are also used for freight trains as well as the Bakerloo line.
See Binary Ninja's Sidekick plugin
Resulting in web elements bouncing around and changing wholesale as the site loads? Hitting the wrong button as some UI element loads late is already a painful UX stubbed toe as it is.
> I think the solution to the housing problem is to increase supply. Not to try to prevent a whole group of people from being able to buy homes.

That seems totally reasonable if there's demand for more houses and the ability to build more.

Phrasing it as though people who already can't to buy a home are being prevented simply by not providing government assistance is a big disingenuous though. Preventing them implies that they could otherwise buy the home, and if that were the case a government program wouldn't be needed.
They were people I was connected to as part of my line of trade.
The Brazilians are so lucky to have individuals with unblemished reputation working hard to protect them against misinformation.
Most definitely; if I use "View >> Repair Text Encoding" in Firefox, it shows the block characters. But I have to admit, it's strange that Firefox does not choose UTF-8 by default in this case.
Entanglement means that the states become macroscopic in noisy (and not too high-temperature, apparently) environments. Whether you call those states “worlds” or not doesn’t change the philosophical implications.
ChatGPT is trained well enough on all things AWS that it can do a decent job translating Python based SDK code to Node and other languages, translate between CloudFormation/Terraform/CDK (in various languages).

It does a well at writing simple to medium complexity automation scripts around
AWS.

If it gets something wrong, I tell it to “verify your answer using the documentation available on the web”
Heathrow has 115 gates but only does 50 departures an hour.
Lighthouse and naval vessel urban legend
In the sense that it's not used for military communications.
The Mallard is such a beautiful train.
> I genuinely don't see the harm of these things [..] they do reduce accidents

It would be good to see actual data backing up this hypothesis.

The cynic in me says another equally plausible hypothesis would be that this is entirely about the owner/operator/landlord avoiding any legal responsibility for accidents than actually reducing the number of accidents.
They let you in, you take a shit on the floor and leave. Who is to blame?

I don't blame this guy. It's the people who let the Barbarians in, because politics.

Sometimes gates need to be kept.
> Boeing, their competitor, can’t even do it.

I think you mean ULA. Boeing proper doesn't build or launch rockets anymore, but they do own a part of a launch provider.
> The only real thing holding onto DisplayPort is eARC and some minor CEC features for AV receiver/soundbar use. Introducing some dedicated audio port would not only be a huge upgrade (some successor to toslink with more bandwidth and remote control support), but would also remove the pressure to use HDMI.

USB-C

I mean think about it

USB-C/DP alternative mode is good enough as upstream for most use cases (including consoles)and has some additional future feature potential, and still has some USB bandwidth left usable for various things including CEC

for eARC-like use-cases (i.e. sometimes audio+video upstream, sometimes audio downstream) you have a few choices (one needs to be standardized):

- always create a DP alt mod channel upstream, use audio over USB for downstream, technically that already can work today but getting audio latency synchronization and similar right might require some more work

- switch the DP alt mode connection direction or have some audio only alt mode, which either requires a extension of the DP alt mode standard, or a reconnect. But I think the first solution is just fine

as an added benefit stuff like sharing input devices became easier and things like Roku TV sticks can safe on some royalties ... which is part of where the issue is there is a huge overlap between big TV makers and HDMI share holders, I mean have you ever wondered why most TVs don't even have a single DP port even through that would be trivial to add?

which is also why I think there is no eARC like standard for USB-C/DP alt mode, it only matters for TVs and TVs don't have DP support

honestly I believe the only reasons why TVs haven't (very slowly) started to migrate to USB-C/DP alt mode is that most of their producers make money with HDMI

and lastly there is some trend to PCIe everything in both consumer and server hardware. In the consumer segment it had been somewhat limited to the "luxury" segment, i.e. Thunderbolt. But with USB4 it slowly ends up in more and more places. So who knows PCIe based video might just replace both of them (and go over USB-C)
Ask HN: Looking for a lightweight and simple engine for dynamic page rendering
I want to implement a website similar to HN, but I don't want to/not familiar with the front end(it's ok but debugging is too slow).

the basic requirements are link tags,forms,lists, and simple styles.

The key point is that data needs to be dynamically rendered through a small server side,not static documents
I thought about the Markdown document rendering engine.

Compared to HTML,I prefer the Markdown syntax, but it seems there is not way to submission or data exchange with the server.[Perhaps it can be achieved by extending the syntax?]

Or there might be some technologies that I haven't learned about yet that can achieve this?
Unfortunately the comments that could be generated are exactly the ones that should never be written. You want the comment to explain why, the information missing from the code.
Dont know if this will apply directly here, but --

As someone who is "not a developer" - I use the following process to help my:

1. I setup StyleGuide rules for the AI, telling it how to write out my files/scripts:

- Always provide full path, description of function, invocation examples, and version number.

- Frequently have it summarize and explain the project, project logic, and a particular file's functions.

- Have it create a README.MD for the file/project

- Tell it to give me mermaid diagrams and swim diagrams for the logic/code/project/process

- Close prompts with "Review, Explain, Propose, Confirm, Execute" <-- This has it review the code/problem/prompt, explain what it understands, propose what its been asked to provide, confirm that its correct or I add mroe detail here - then execute and go with creating the artifacts.

I do this because Claude and ChatGPT are FN malevelant in their ignoring of project files/context - and their hallucinate as soon as their context window/memory fills up.

Further they very frequently "forget" to refer to the project context files uploaded/artifacts they themselves have proposed and written etc.

But - asking for a readme with code mermaid and logic is helpful to keep me on track.
I developed IP-over-OSPF for a networking class four years ago. It continues with the great tradition of IP-over-<FOO> demos, many of which can be found on HN [1].

One neat thing about this version is that it makes it possible for two machines to communicate over IP, _before the network is even done being configured_! Indeed, two machines could be communicating with IP-over-OSPF even before OSPF is done setting up the routing tables.

But the real "aha!" comes from the realization that IP-over-OSPF should really be called tap-over-OSPF or Ethernet-over-OSPF: it gives you an Ethernet link built on top of the OSPF protocol. All the machines connected to the same OSPF "network" (known as an autonomous domain) are conceptually on the same link.

But what if you wanted two machines on _different autonomous domains_ to communicate? If you have an OSPF router present on both autonomous domains, this machine could be forwarding between one "link" to the other. And how do you setup IP addresses across these links then?

You may need to run OSPF over IP-over-OSPF... and you know what you could try next!

Useful? Probably only for a BOFH in need of a quick "network infrastructure upgrade" before the intern takes over.

[1]: https://hn.algolia.com/?query=ip%20over
> The problem was that Emine's cell phone was not localized properly for Turkish and did not have the letter <ı>; when it displayed Ramazan's message, it replaced the <ı>s with <i>s.

So it was the wife's phone that changed the meaning of the message, not his.
Rust still needs CHERI to fully deliver on our expectations because it is astonishingly easy for unsafe code to violate sometimes subtle invariant that must be upheld for safe code to be safe. And both due to performance and because some correct and important code structures can't be represented well in safe rust, there will always exist some unsafe code.

One of the advantages of CHERI is that you can get a safe system with no virtual memory, no overheads of TLB lookups and hardware, etc. but you don't have to do that. The CHERI arm and riscv64 designs have the normal memory management hardware.
Thanks, that's very useful.

I wonder whether that final exception is intended to cover the kind of end-to-end encryption Signal does, or rather the kind of end-to-end encryption the Netflix app does. Digital rights management. It's not clear to me that those can be separated — doesn't Jitsi use the same in-browser code as Vimeo? But it's also not clear to me what "not accessible to the user" means, exactly.
> I'm a software engineer and you don't speak for me.

But that's the whole point of unionizing: have somebody speak for you. /s
How to Lose Your Job to AI [video]
I love Docusaurus. I use it for personal web projects as a static site. There's a surprising number of sites I see nowadays that you can tell are also built on Docusaurus.
FB has an entire team of very well paid people whose entire job is to tweak this algorithm. Presenting relevant content is the whole concept. I suspect where it goes wrong is chasing “engagement” at all costs despite whether it’s emotionally pleasant to the viewer. FB doesn’t care if I actually like the content they present - just whether it keeps me on the site longer. That is, I believe, a poor choice since, at least in my case, it led me to stop using their service.
Normally, yes. Perhaps this could be more properly termed RS-485 operating in 2 wire (half duplex) mode:

* https://en.wikipedia.org/wiki/RS-485
> You don't

Well, those sentences were quoted from Microsoft's own documentation...

Sure, you've shown that some tooling exists, but it's sadly not easy to discover or as well supported
I recently learned this too, just a few months ago. Ended up making a frontend so I could do it automatically: https://decompiler.zeroday.engineering/
You'd hope so but Starmer's a bit weird - seems to want to look like he's in charge (suspending the seven who voted against the government on the 2 child cap) so it wouldn't surprise me if he tries to brush it off and do nothing. The papers are largely all still with him and I haven't seen this story getting picked up outside Politico so it's possible they'll just agree to spike it and move on :-/
I would make a case that that's not the language's fault. You need to assess how critical is speed in your requirements and adapt your solutions.
I saw myself doing this in realtime when visiting California for the first time. The initial shock of seeing signs that warned of cancer causing chemicals in buildings quickly faded when I realised they were on every building - soon becoming as blind to them as the locals.
Very cool! It seems like this could solve docker-in-docker use cases for things like CI, perhaps? I would love to see benchmarks of mem/cpu footprint vs. the same workload in raw docker.
Contributions would be welcome! :)
Give it a try and see if it fits your needs.
Unvle Bob even gave up on clean code and just chose clojure
Yes, but I took their use of "default" to mean that there's slightly more friction to a sequence. It does seem a bit petty given how little friction there is, though.
Potential game - click a random date and decide if the content is from 2024 or not. I really like "Web 2.0 is a bubble for 3 reasons" from OP's link. I feel like there was a time when that same post applied to Web 3.0 showed up every week on HN.
So the signs work!
> They specifically mentioned Huawei.

Not as a cloud provider, but as a secondary shareholder (i.e., is a company really EU if a minority shareholder is non-EU?) and as a reference to Huawei dominating the networking infrastructure market. The last, all on itself, is a strategic concern.
Would anyone care to speculate how something like this would potentially play out in another Western European country? If all the abuse of power and overstepping/targeting was unchallenged public knowledge, would there be more of a reaction?
bah, I meant cursor.sh/.com
I think this could be a really useful idea, though it's pretty rough around the edges right now. I noticed the related project results quality was much lower than I expected, very `noisy`.
Perhaps related projects could be populated with hybrid search and RAG?
E.g: using high quality embeddings (from all metadata you can fit in the embedding context window, names, descriptions, tags etc), and text search.
You could explore the validity of different possible matches with very few tokens using a cheap model like GPT-4o-mini or Llama 3.1-8B (from a number or providers), this could even be done in parallel for each result item.
It might even be worth fine-tuning an embedding model.
Understanding the topic space, and what relate projects are in it is really well would make it much more useful.
Submission should not be needed for projects that are already on GitHub or GitLab. Crawling search APIs to search for related projects ahead of time, or on demand might make sense, if GitHub don't have a topic API that matches their site's shown results, you might need to scrape, or use a third-party search API.
Show HN: ASCIIROIDS
ASCII-encoded Asteroids terminal-based game made in Go
It's inevitable in any organisations when dealing with change. Identifying resistance and coming up with strategies to overcome is a key part of change management. Telling people their reaction is "kneejerk pushback" usually does not help ;)

It's probably more difficult to handle in open source than in a company because authority less powerful and it's more difficult to wave both carrots and sticks...
My experience with Superhuman has been terrible. Back in the day, I tried to sign up. Couldn't. Then they started allowing sign-ups, but there was a mandatory onboarding/sales call to get started...

Finally, some time ago managed to sign up in hopes it could help to manage multiple inboxes with a unified inbox for all of my accounts. Nope doesn't have that. Canceled my subscription immediately yet I kept receiving their spam for a while.

Overall, a very scammy vibe.
> The venture, in which billionaire Mukesh Ambani's Reliance Industries will have majority stake

Wait, Disney Entertainment's getting bought? I'm really confused and curious how the structure works and what the relationship of the post-merger entity is to the Walt Disney Company.
Here's a hint, STOP MINIFYING CODE! gzip over transport is enough.
Lots of cool hybrid container/VM ideas are being developed!

Bootable Container Images are a standard for launching VMs from OCI images: https://containers.github.io/bootable/

crun-vm (https://github.com/containers/crun-vm) is similar to RunCVM in that it can launch container images (or VM disk images) in VMs. It's an OCI runtime so it fits into the podman, Docker, or Kubernetes model.

krunvm (https://github.com/containers/krunvm) is a standalone tool with a similar workflow where you can launch a VM from an OCI image. It predates Bootable Container Images, so I think it injects its own kernel.
Euthanasia is not murder. There are many situations in which death is the desired choice.

In the case of abortion, you have one being (the fetus) that isn't yet fully formed and capable of living on its own and another being (the mother) who is potentially harmed by the first being's life. Yes, it is a morally complex situation.

We don't know when the first being becomes conscious. But we know the second being is conscious. And we know the consequence of treating the fetus as a being with full rights is to deprive the mother of her rights, frequently her right to life.

Frankly, I have first hand experience with this I strongly doubt many abortion opponents have. If not for abortion, my wife would probably be dead after our wanted pregnancy turned out to be non-viable. We aborted our son while he was still alive, because if we hadn't she could have gotten sepsis as he slowly died and rotted in her belly.

People who treat abortion as a black and white moral issue the way you appear to be doing have now banned it where I live, which means my wife and I cannot risk having more children, given our history of loss. (Of which the one I described above is only a small piece.)

Abortion is morally grey. There are few other ethics cases where there is such a direct conflict between the rights of an existing being and the rights of a potential being. The only reasonable way to handle that is to allow each individual to make their own moral judgement and choice.
Low Cost Mini PCs
While searching for mini PCs for my home server, I figured I'd use the eBay API to find the cheapest ones. Inspired by diskprices.com, I built a static site using Eleventy and a python script that uses regex to parse the data. I tried to include as many filters as possible like OS, Wifi, HDMI etc.

I would like to add power usage, noise levels, PCIe slots but that data is hard to find.

Please let me know if you have any feedback / suggestions.

Thanks!