skysight-inc/HackerNews huggingface dataset:
Since this was published MS have published the RTL of their CHERIoT Ibex variant: https://github.com/microsoft/cheriot-ibex. There's also the full technical report and software stack including RTOS available: https://www.microsoft.com/en-us/research/publication/cheriot...

I always thought it made more sense to try introducing capabilities on higher-performance applications (all the stuff you might use an arm A-class for) given they are pretty heavyweight. This is what Arm's Morello (https://www.arm.com/architecture/cpu/morello) offer. However introducing them at the low end, in the embedded space, instead may work a lot better. Within the A-class processor space there's a huge software ecosystem to work with and your software likely comes from multiple vendors, it's an uphill struggle to inject capabilities into that space, especially if you want to make full use of them.

With embedded applications you tend to have far tighter control over the whole software stack, there's a lot more vertical integration and it's pretty static. Once you've deployed your product it's doing the same job day in day out. You need occasional updates, maybe the odd new feature but it's a very different world to the software stack on the typical phone. So overall easier for a single company or group to say 'yes let's try capabilities' and just get on and do it.

Security is potentially a lot more critical in these applications as well. Everyone knows IoT security is a joke but regulators are watching this too and there will be future legislation that will put a lot more liability on the manufacturers of IoT devices and they'll need to demonstrate they've taken security seriously, using a capability based system is one way to do that.

Operational technology (industrial IoT) is also a key area of concern for security. Having unsecure internet enabled operational technology running critical infrastructure and industrial processes is clearly a major issue. The various cyber security agencies across the western world recognise this and published a guide: https://www.cisa.gov/resources-tools/resources/secure-by-des... urging security by design and default and it explicitly mentions CHERI. Again the initial costs and work to introduce capabilities become very justifiable against the security (and critically for companies, liability reduction) benefits.
Irc? That privacy nightmare giving IPs?
I was just randomly thinking today about how Atari seems like a brand name due to a resurgence of some form.
Right, being able to sell the most ads because you have the most page views about something people are specifically interested in
You can always have your password in a password manager with emergency access, if you (not you god forbidden) die, someone close can access all these domains/emails.
Why and How to Check Stable Diffusion Invisible Watermark
IMO not really. For example some countries (eg Germany) have different rules for which parts of guns are serialized and regulated. So it's possible to get a barrel for a legal rifle and replace the lower receiver with fully automatic HK416 parts, which are available over the counter without any licensing or other restrictions.
Splitting out the webserver (assuming it is the main entrypoint for users) seems more like an infrastructure choice than application architecture and having an independent email-sending-service looks more like replacing a third-party offer (like turboSMTP) with an in-house service.

I do not think that this is what people mean by microservices.
In which case every logical statement belonging to the set of “statements that begin with `∀ e ⊂ ∅` and are false” is true as well.
In which places with droughts have we used weather manipulation to reduce climate change? I'm not talking about increasing rainfall, I'm talking about reducing climate change. Please share a specific example where we've done so since the 80s.
> Ironically, the future of secure computing is bringing back memory tagging

I find it's often the case exciting new tech turns out to have its fundamental principles described in a paper from the 60s or 70s ;)
None of the open source models I've seen are as "well-rounded", production ready as Eleven Labs. Though for example bark is really great at prosody: https://suno-ai.notion.site/Bark-Examples-5edae8b02a604b54a4... And piper isn't bad at speech quality: https://rhasspy.github.io/piper-samples/

We might only be a few papers away from a good open source Elevenlabs competitor.
I think this is supposedly a Hycean (ocean + hydrogen atmosphere) planet, rather than rocky. Unless those categories aren’t exclusive.
For Node, check out trealla-js: https://github.com/guregu/trealla-js. I tried to make it as easy to embed as possible.

This paper is also very interesting. It describes the Janus System, a deep integration between Python and Prolog: https://arxiv.org/pdf/2308.15893v1.pdf
I have no information on this case. My impression, however, is that things like this happen all the time, they just rarely get to court. I know people who’ve experienced pregnancy discrimination, but the kinds of firm I work for have enough OpSec that leaver sabotage isn’t a thing.

If the claims of the second case were true, the bringers of the first case were muppets to do so. Moreover, even if the second case hadn’t been filed, the first case is pretty embarrassing for the claimants.
I am surprised there are that many non-SSD drives left out there among gamers.
It powers the Nintendo Switch.
Correct, nobody cared about "true" VB multithreading. Besides VB supported multi-processing very well, much better than the JS world does today. You could call objects between threads no problem. Behind the scenes it was using DCOM, so if you passed an object from one thread to another, the other thread would get a proxy that'd do RPCs to the first thread. So there was no true shared memory multithreading, but for VB users what they had instead was in some way even better, it was basically web workers but more transparent. Specifically, it meant that object calls couldn't run in parallel to UI updates or other logic so there was no need to think about locking.
In this day and age the “linting” tool does a lot more than just respond yes or no. It usually has a rules engine, templates, config file support and enforces a lot more things than just syntactical correctness.

With that in mind it’s probably impossible to build a linter that’s going to be able to serve these needs that’s also built-in and on the same release cadence as the runtime itself.
If you were at such distance from the earth, what would be resolvable?
IMO, GPG for email was mostly a mistake, because email can't be secured enough.

GPG leaves all the headers exposed, and reveals who's talking to whom. That, right there, is a huge security problem. Turns out metadata is often plenty. And it can't even encrypt the subject, which is a footgun of enormous proportions.

Picture a high stakes situation like say, a resistance member in the Russian occupied parts of Ukraine. Yeah, the Russians can't see what you're emailing about, but they can see that 3 people of a given village are sending encrypted messages to each other, and then there's some outside contacts. Gee, what might they be talking about? What conclusions should we make if somebody else also sends mail to this outside contact.

Yeah, the encryption might be strong, but it won't do much to protect those people against the $5 wrench.

GPG for email only works in extremely narrow scenarios, and that makes it a bad tool.
> finding their ways in a maze,

Another beginning building block of the field of AI.

Are you even thinking about what you’re writing here or is this the output of an LLM?
The web page hangs on the regular expressions that produce a DFA with a lot of states. For example, these ones:

(ab+c+)+

(abc){100}

a.*quick brown fox jumps over the lazy dog
Sure there are tons of ways to decouple code. My point was however, that moving code into a folder doesn't automatically solve that coupling issue.
Maybe the genre list could be a bit more extended ? For example, consider "reggae". While one could think that dancehall is also reggae, its sort of rare that people who would enjoy rocksteady would be pleased to get something from dancehall just because the "top level genre" matches ?
A brain, a manual and google is usually a pretty good way generally to make solid decisions, respect the limits of your chosen stack.

What happens when there is >1 brain involved... or when brainless, manualless decisions eventually get made... or two pivots from now...

I'm not disagreeing with your approach. I agree with it, especially as starting point. I'm cautioning that resilience against complexity isn't about how easy it is to make good decisions when you understand the spec, read the manual and calmly proceed. Complexity and fragility accumulate when one or all of these are absent. How easily you can (and thus inevitably will) make a mess... not how easily you can keep it clean.

IRL situations with regular rdbs, a very common trend seems to be long term drift between schema and spec. The flexibility and approachability of postgres often enables a lot of kludge eventually.

Data stores have this dichotomy between "look how easy" and "is limiting factor" that speaks to difficulties we don't know how to articulate or isolate.
> are rare in my experience, as they're a cross between db admins and developers.

That's fine. You only ( ;) ) need one on the team.
The other part of this pattern you mention (replicating data) seems solved in many cases by the data warehouse patterns of the last few years. Stuff it all in Snowflake or BigQuery then readers can query as they see fit. Query engines like Trino can paper over data storage heterogeneity / breakdowns in centralization. I'm not a fan of the "lakehouse" terminology, but it is the thing.

There are downsides to coupling more loosely with data consumers, but it keeps service owners moving without wasting time vending data.
Touch screens may be more popular (by number of users), but they certainly have a more narrow range of gaming experiences that they enable without causing excessive frustration. Gamepads have much better affordances, and IMO are more suitable for things past casual tap and scroll titles.
"UK air traffic control: inquiry into whether French error caused failure"

Of course bloody not. How is it a French airline's fault when it's a UK system? Systems like this should be foolproof with redundancies.

If one entry is bad reject it and carry on, even.
I haven’t had problems, but my friend was. The problem was solved by updating his graphics drivers, as he was running everything through his Invidia GPU’s DisplayPort.

That didn’t solve Cinnamon’s refusal to use Steam, however. I have had 0 problems in XFCE, outside of self-made ones like crashing my PulseAudio trying to modify the config.
Why do you think rewriting it in Rust would improve its reliability?
A third-party search engine for Civitai
A third-party search engine search engine helps you discover thousands of AI art models and prompts. Search and browse by model tags, artists, categories and more. Get highly relevant results ranked by popularity and relevance.
So if I understand this correctly, anyone can bring down a site with a Caddy server by just running : curl -X POST "https://example.com:2019/stop" ? [0]

Seems counter to their objective of having secure defaults.

[0] https://caddyserver.com/docs/api#post-stop
Basically, you have to review code generated by an LLM the same way that you would review code written by a human programmer, which requires (at least) the same level of proficiency as writing code yourself - if not, as you wrote, higher proficiency.
Zappa addressed the subject with more madness than method:

https://www.youtube.com/watch?v=ZE1JHOOr1M0

For me doing 12-hour days on my feet in a hot humid climate I use more than one pair of shoes so I don't have to wear the same pair more than one day in a row. Plus I take socks and shoes off as soon as I get in my vehicle after work and that's where they stay. Out there in the sun with the car windows cracked for a little ventilation. Wear sandals driving back and mostly the rest of the time when not working in a hazardous environment. Never even bring the work shoes into the house. The next morning after driving back to work with clean feet in sandals, put on a very clean pair of socks, pick a pair of shoes that hasn't been recently worn and spray them with both tolnaftate and miconazole before wearing them that day.

IOW I only wear a python boot once a week at the most.
It was a mess before, but the mess wasn’t visible. Now the code is all visible to the IDE, it all compiles together, and tests together. You can see the mess and fix it. It’s possible to see enough of it to be able to change it and when you do the build stays green because you can make atomic changes.

It’s less about why monorepos are good, and more about why on Earth would you split a product up over hard repo / tooling boundaries. Perhaps a Big Brain could get those boundaries right. I can’t,
so when I need to move the boundary I would rather it was done by editing code inside a repo than coordinating changes between micro products.

I’m obviously describing one scenario. What are the counter examples for where hard polyrepo boundaries are helpful? When your team are all IC1s?
The best time to send a probe to an exoplanet is 200 years ago. The second-best time to do it is now.
Any setup with a bit more complexity than "playing audio from a single app without regards to latency" can be terribly janky and unpredictable in Windows, especially if it's multithreaded or running along some other CPU/IO-heavy app. Audio engineers and streamers know well what I'm talking about.
Flight plan that caused NATS outage possibly identified
Why do you think Swift was invented, and there is a Safe C dialect used on iBoot?

Spend some time reading iOS security updates from Apple, lots of nice CVEs fixes reported there.
I thought I understood that the speculator highlights and view dependent color problems you mention are massively improved via adding spherical harmonics into each ellipse?
Very good points - have you made an Issue on their repo to report these points? As they are currently doing a new revision, it would be good to see these sticking points submitted and get addressed by the devs, if they're not aware of them already.

I do a lot of firmware development and am constantly having to unplug/replug devices during the process .. for this reason I have an I-Tec 16-port Charging Hub, which has individual switches for each port - and this works fine, as long as I get the druthers to launch out of my chair and turn things off and on again... however being able to do all of this remotely, with software, would mean I could a) automate the hell out of a lot of things that requires monkey-tapping, and b) put the whole mess in a closet where it belongs, away from my coffee cup.

So I'm quite eager to see this project proceed - especially if there is a way the port capacities can be expanded (16-port would be ideal) .. so please consider officially reporting any issues in the design that you see!
Even when it can't, if you can find the .m3u8 or .mpd url from the browser's dev tool network tab, you can feed it into yt-dlp to download the video and transform it into .mp4.
What did you have to do to compile your code. I've been writing c# for 6 years and never had to do anything special. Not sure what you're talking about
..
- for the lulz

- revenge for rejected paper

- badly written scraping script
Bingo.

At $work i see lots of projects leaving the monorepo due to that very mess.

The problem is that services outside have other CI and maintenance issues that wouldn’t happen in the monorepo. But monorepo got so messy that it got unbearable.

The proper solution would be to have a dev teams dedicated to tooling for it, the org has the resources, but it’s just not investing enough in that area.
Which is why taxes should be going into subsidies for products made with genuinely recycled material, where the recycling is done in a sustainable way also.

Rather than being used to bail out Banks & Airlines...and in America, Churches apparently.

If it were up to me, I wouldn't just ban plastic straws. I'd ban almost all disposable packaging. Go to the supermarket, buy products and get them in sturdy plastic containers that you pay a deposit on. The next time you return you drop them back where they're cleaned for reuse at the location. Products like say a Coke are delivered in bulk format to the supermarket and dispensed into the relevant container at the location.

After moving to the UK (from NZ), it's fucking disgusting how I go to the supermarket and _everything_ is in a disposable plastic container with a "sorry we don't recycle that yet" plastic film over _everything_. And the UK isn't even the worst place for this behaviour.

We really are going to kill our planet at this point.
My recollection is that the migration tool was really just a tool that would fill your VB6 code with comments telling you that you had to rewrite stuff. Trouble spots were largely related to error handling On Error Goto and error handling blocks had to be refactored into proper Try...Catch blocks, which affected a lot of code, and another trouble spot was all File I/O had to be rewritten/redone, same with any drawing code; Resource files had to be recreated, etc; I don't even think it could load the FRX files but I might be misremembering. I felt it simply wasn't worth even bothering to try to directly convert to VB.NET, and since those programs I wanted to move forward I had to pretty much rewrite anyway, I decided to use C# instead and just make new versions.
> Leave the Linux kernel for headless devices

Well, Windows + WSL is a non starter for me. I prefer using free software and software avoiding dark patterns.

Linux also fortunately happens to be the system I find the most comfortable to use, but that's a nice side effect.
True. The style is very unusual and hard to follow, such as the complete mess of desperate startup founders these days.
The double quote (") is also broken. If you use it in the regex, then no DFA is displayed.
Tegra chips were there in consumer electronics like tablets and mobile phones, I dont see recent chips used in consumer electronics
Dyson proposed a fusion pulse propulsion system in the 1960s that was estimated at 70000 isp. Maybe 1m wouldn’t have been that far off from the limits of these crafts if test ban treaties didn’t kill their development.
No visual designer.

I'm sorry, but this is a massive step back in usability. I'm not moving from a system where I can drag/drop UI elements into place to one where I can't.
> How do you see them being productive?

What does it matter in this context? You claimed it being counter productive would be a fact. It's not on me to proof this in order to disprove your claim.

Anyways, there exists a study that shows a radical flank effect for the activists group. They also increased media attention to the climate emergency, whether or not it includes their form of protest (which is inherently linked to the climate emergency)
atmospheres count!
Cold Boot Attack
doing it on your phone only has one person querying it. Scale that to several thousand and it might appear different.
This is very, very handy for development purposes - those of us building firmware and drivers for USB devices are very familiar with the need to reset (unplug/replug) devices during development, and being able to do this with I2C and automatable software procedures is a GODSEND .. I've already started the process of getting a couple PCB's made from this project, and have subscribed for futher updates as the devs get their revision made... this project is very valuable for us in the embedded industry, and I for one would like to see software-controllable USB ports become a very standard thing, personally.

So many issues with USB during development can be resolved if you can just get the device reset during the dev process. Being able to hard-reset a device during compile/debug phases is going to save me huge amounts of time and effort ...
> If anyone has success integrating Prolog in modern software please share

This doesn't directly answer you, but Prolog was used by David Hovell the Windows NT network configuration to enforce consistency [1][2].

I've heard it's been removed since, so doesn't count as "modern". It's a _beautiful_ application of Prolog though.

[1] https://news.ycombinator.com/item?id=36821871 which leads to https://web.archive.org/web/20030218034509/http://www.resear... -- very worth reading!
[2] https://news.ycombinator.com/item?id=14046420
Pascal is still around as well with a great IDE Lazarus. https://www.lazarus-ide.org/
Ask HN: Why is Zig gaining so much popularity lately?
Translation specifically has a carve-out of DMCA, but yeah overall I agree.
> Presumably sending a probe would not be feasible in any foreseeable timeframe?

With global resources we can do it easily but the people in charge of our countries wouldn't have a job if they didn't invent fake boogeymen to waste cash on instead.

We have plenty of starshot proposals that are incredibly cheap compared to other things: https://en.wikipedia.org/wiki/Breakthrough_Starshot
Next steps will be: Observation, more observation and if it remains sufficiently interesting then perhaps some bespoke observation. Nothing will be sent in the foreseeable future.
In Jupiter, then.
I’m not sure what I expected from this. I don’t know that any of those questions have much to do with how search engines score documents. SEO is fundamentally predicated on the queries people search which doesn’t seem to be used here.

So while it is interesting that your tool can or can’t answer some questions about a site, I don’t know that anyone would pay for a solution to a problem they didn’t know they had.
It is produced industrially without needing life. I’m not sure why its the alleged smoking gun if theoretically if the conditions are right and the reaction is catalyzed it will go on without needing a lifeform.

2 CH3OH + H2S → (CH3)2S + 2 H2O
I am constantly on the lookout for a monitor that has a USB port/KVM switch built in - it seems like such a no-brainer, but alas there are very few options like this available out there .. I do recall someone making an open-source KVM switcher design some time ago, will have to try and dig it out of the archives ..
Acess allowed you yo build small forms/apps fast.

Those business apps made "by that one person" that allowed few other to input data concurrently (back then no google sheets / shared Excel... which are horrible and have no user defined GUI) and then to make reports.

Also data manipulation when it didnt fit Excel (I know access has 2gb limit, but it was a lot).
We Intop Metal are a professional manufacturer of aluminum extrusion profiles. We are able to make different shapes of profiles. We are looking forward to your drawings.
I’m guessing most people here don’t have enough information to be able to comment sensibly on an ongoing legal case either way. I think I’ll flag the article as I can’t see informed insightful debate being possible IMO.
They have to be very fast to execute this successfully, don't they?
"poorly written" could easily remove the "engineering" qualifier.
> but sometimes, sometimes it would be nice to just have a stupid generic email account

Ok.. then have one then, you can have both you know, one generic and other with custom domain at the same time, use the generic one in the services as if you never owned a domain, and the other as if you don’t have generic, I don’t see the issue here.
I think it is you who has a naive view of the world because at the moment in US diplomacy, there are no carrots, there are only sticks and the world is definitely sick and tired of that shit.
Huh, that's weird – probably a bug in my docs pipeline somewhere. Looking into it rn

Edit: custom CSS for the homepage breaks navigation on inner pages on desktop. Should be fine now. Thanks for pointing this out!