skysight-inc/HackerNews huggingface dataset:
LLMs rewriting what? A) Rust modules to C so that it can be reviewed and merged by old school kernel hackers? B) C to unsafe Rust so that you lose any advantage of using Rust and get the worst of both world? C) Or rewrite the kernel maintainer's brains while they sleep so they become magically proficient in Rust when they wake up?

If you're talking about option A) or B), we already have things like mrustc and c2rust. These are though problems, LLMs aren't _that_ smart yet.
Thank you for your opinion, Microsoft sales person.
Inviting this community to take part in one of its kind, open source programming competition.
Category Theory Illustrated – Sets
Not exactly 0/0 is 0%.
> For instance, drilling in the Gulf of Mexico in 1967 revealed a vast layer of salt from the Jurassic beneath the oceanic sediments. The total global amount of halite (salt deposits) discovered was astonishing: the minimum estimate is 19.6 quintillion kilograms (19.6 × 1018 kg), or more than half of the total salt in the oceans today — the maximum estimate is that an unbelievable 95% of the present total is trapped in halite deposits. If all of this had been dissolved at one time, the salinity of seawater would have been much higher: 57‰ to 73‰ instead of today’s 34‰ to 35‰. This extreme scenario is unlikely, but one thing is clear: the salinity of the oceans has varied significantly over geologic time. The problem is how to quantify this change.
That's a useful feature; It's not impossible to be a little behind with renewal, particularly when it has to be done so often, a bit of a grace period for something so important should be a requirement.
I've been using it, but sometimes programs just unexpectedly break. Must be bad coding practices or something, because I can't see how it'd be incompatible.
Oh, I have so much issues with audio in Teams on windows. Spotify works fine and I can hear the sound when connecting a call or meeting but then the audio is out. Or the mic. You never really know which one will cause problems. Replaced the BT speaker that caused problems for years but usb mic+audio seem just vaguely better.
Old news: https://www.newhallhospital.co.uk/news/is-sugar-more-addicti...
They argue that Node tricks frontenders into thinking they can do server-side, then says they 'huff and puff' when this is pointed out to them. It's an incredibly patronizing argument to make.
Heres to hoping that one day maybe someone writes a Bluetooth driver in rust to improve the reliability a bit.

But then again as I understand it the spec is so massive and has plenty of problems it may not be something that is improved by rust.
That would be the other way to fix it! Maybe a runtime test and some self modifying / generating code.
> I've yet to meet someone that encountered Window audio not working

Let alone on Mars.
I know it's not Prolog, but since you mention Lisp: have you checked out Screamer (https://nikodemus.github.io/screamer/)?
They absolutely are, especially as the motors get bigger.

See for yourself at k&j magnetics:

https://www.kjmagnetics.com/?gclid=Cj0KCQjwmICoBhDxARIsABXkX...

Small ones are a few dollars, bigger ones are hundreds or thousands
I don't get the hate about Microservices. Use Event Sourcing to eliminate the whole S2S Communication and gRPC to connect the Clients. Done.
I am confused by the very notion of being "on" Jupiter.
Telepresence!
Linux Mint 21.1 Vera. I get stutters in VLC playback without pipewire - pulseaudio is to blame, Mint used to work better. Thanks for the heads up, I will not try fix what is broken with something that has known issues.

$ pactl info

Library Protocol Version: 35

Server Protocol Version: 35

Server Name: pulseaudio

Server Version: 15.99.1
"Voting is not always effective" is true especially in Bavaria, where the CSU has perfected populism to the point that they have managed to stay in power basically since the current Federal Republic of Germany exists (with a brief interruption from 1954 to 1957) - if they don't get more than 50% of the Landtag seats, they can pick and choose their coalition partner, and they have already excluded a coalition with the Green party, because other parties (FDP, Freie Wähler) are more pliant.
It really does. The "safety problems" are trivial compared to the "safety problems" with conventional vehicles, but since we're used to 50,000 people dying each year, we're much more concerned about the possibility that a fraction of that number might die with some new technology.
Well, 100% of 0 is 0 :-)

edit: and 0/0 is not defined
> Instead of trying to further lock down or obfuscate their devices they should be happy and help these folks. They are doing free work for your company.

They are, but legally the situation is way less clear for companies:

- for anything involving RF communication, allowing unauthorized/unverified selection of stuff like wifi country codes can lead to illegal RF emissions

- low level assistance may touch stuff that's nominally under NDAs and expose the company to legal risk

- anything involving "jailbreaking" may lead to issues with DRM

As a result, the official policy often is "no one touches code or helps people from outside, corporate legal doesn't want to get Oracle'd".
The problem isn't storing or inserting 50M rows, it querying 50M rows in non trivial ways. And the difference in performance between doing that 'right' and 'wrong' is orders of magnitude.
I’ve had contracting gigs bringing down the costs of SQL DBs that cost a million per year. You can usually get costs below 200k fairly easily.

- Performance tuning
- Migrate old data out of the DB
- Delete unused indexes
- Improve queries so they return less unnecessary data

The problem is usually one massive table or 2-3 unoptimised queries.

No need to rewrite the application to use NoSQL

With seasonal load in AWS it’s really easy to change the DB instance size manually. No need for auto scaling.
Only for some people. Lots of people are saying they are having issues with pipewire, but personally I have never had any audio issues with pulseaudio nor with pipewire. And that is on multiple devices across many years.

So no, it's not Linux. Because if it works for at least 1 person, that means there isn't some sort of technical limitation where Linux can't get audio to work properly, since clearly it can.

Maybe the distro they use doesn't package the audio packages properly, or maybe they messed around with too many settings, or maybe their specific hardware has issues. But none of that is Linux's fault.
Not really because each point is only adjacent to a small neighborhood of other points, so if you want to test every possibility then your search space only grows by a constant factor proportional to the maximum degree of the graph.

As for implementation complexity, you would hope they would use formal verification for something like this.
My Dell laptop with Windows didn't recognize any headphones or headsets, until I tried 3 different drivers from 3 different vendor websites. Applications mess with volume settings constantly unless you know which checkbox to uncheck, at work we have a speakerphone where with some laptops you can't understand anything at all, and so on. Windows is not better here in any way, in my experience during normal day-to-day use it is actually worse than Linux audio.
I emailed Anom about their phone, asking questions, their responses tried to put me off buying one, so I didnt buy one, but I wonder now if I was conversing with the Feds.
I like their domain, very cool
Source?

Note that Perseverance does not run on Linux, the drone (Ingenuity) does. I know Perseverance has sent audio recordings. But is Ingenuity doing some audio processing?

> NASA settled on the Linux OS for the rover’s helicopter-like drone, Ingenuity [1]

> Ingenuity doesn't carry science instruments and is a separate experiment from the Mars 2020 Perseverance rover. [2]

[1] https://www.pcmag.com/news/linux-is-now-on-mars-thanks-to-na...

[2] https://www.nasa.gov/feature/jpl/6-things-to-know-about-nasa...
The day I worried "What if Google just shuts down my email account with no recourse?" is the day I started migrating my authentication to my own domain email address. Choosing a registrar with proper security in place, this is probably the safest while you are alive.
I remember learning Prolog during my degree in AI + Comp Sci about 25 years ago. Our NLP module used it heavily.

It was frustrating and annoying at first, but once you get comfortable, surprisingly fun (and also a great intro to recursion, as that's the only way to iterate).
It’s interesting to note that by this point “Quantum Supremacy” is well and truly established and is being used for something that’s actually useful. What we still lack, however, is any demonstrated supremacy outside the realm of “model quantum mechanics”.
This sounds like a much more polished alternative to Ricochet: https://github.com/ricochet-im/ricochet
As far as I know, there is no way to run IPFS over Tor.

It also says it relies on OrbitDB, which runs on the IPFS, but IPFS has to run on clearnet, and when the user accesses a content, then an observer can see what content they fetched because their node will broadcast it. I feel like I'm missing a piece here..

The Readme also says Tor2web is used to share files. I'm not familiar with this, but wouldn't that require the user to trust the entities who run these servers to not snoop on their traffic before it enters the Tor network?
That sounds very familiar. ;-) (For the similar reasons I learned Pascal, Modula 2, Ada when I ought to have learned about C++, Java)

If you were a teacher now, having to explain about predicate logic and proof automation, would you choose teaching Prolog? If not, which language would you choose?
This post reads like a cry for help. I don't really know what they're arguing for. Sure the broad-strokes 'microservices bad monolith good' is something I can get behind in some cases, but the slightly unhinged tirades against Node developers and the 'bloated farce' of the modern tech industry might as well be satire for all the value it contributes to debate.
As I said all that does is further push me to only buy from companies that support my os. I have mixed feelings about people reverse engineering hostile hardware. It helps those who mistakenly bought that hardware esp as an onramp for Windows users who just bought whatever laptop. And it's always useful to keep reverse engineering skills shrap. But on the other hand you are just helping someone who hates you, the best way to play the game is to not play it.
Every logical statement beginning with `∀ e ⊂ ∅` is true.
This here is why I think Bamboo is the worst CI tool ever written. Information hiding in a dev tool? Fuck everyone involved in that decision process.

I’ve used Cruisecontrol, which being first is uniformly awful by modern standards. But not lying about features awful. And spec files have partially vindicated some of their decisions. But only partially.
It’s the whole coupling vs DRY trade off. Coupling is worse than code duplication.
But its how the waypoint codes work in practice - they are contextual. If Air Traffic Control tell a plane to head for waypoint RESIA, they mean the one nearby, not the one 4000 km away.
Last year I bought a second computer for my music studio. I wanted to use the same set of 2 monitors and wired keyboard + trackpad on both machines.

I wrote simple scripts to switch my monitor inputs with keyboard shortcuts (even simpler with Lunar, amazing new Mac app — https://lunar.fyi), which saved me from having to press annoying input-source buttons.

But I couldn't for the life of me find a simple, suitable software controllable KVM switch. That still requires the hardware button to be controlled, so frustrating.
In-Vehicle Cybersecurity: A Closer Look at HSM and Tee
Sorry but what are you talking about? Microservices in a monolith without containers? How does that even work?
Probably some unit inside Meta. Most of Facebook backend was a deployed as a single unit.
Has anyone here tried Orin?

And idea about the cost and performance?
> Compose can absolutely be used with Docker replacements

Can you point to some examples of this?

LXC has profiles which can be mixed and matched for containers, it's got far more extensibility, compose files are a one-shot creation that gets copy/pasted/modified all over the place (we're all guilty of this), you need to read every single compose file and reboot unlike additively popping another profile on a linux container while it's running.
Strange. What distro are you using? I've used that same stack for a year+ and things have been just peachy. I'm playing Steam games and doing light studio work (Ardour, etc). I'm actually surprised by how Pipewire just works. (Fedora Kinoite)
> Administrating (in particular, query planning and production operations) databases with tables sizes with magnitude of 10M and more records is challenging, and requires a skill set that is very different from pure development.

Is it more or less challenging than the alternatives? Is it less challenging enough to add a new tech to your stack, add the required knowledge to the team, etc?

I mean, knowing "enough-to-perform-CRUD" SQL is table stakes for developing on the back-end, but knowing $CURRENT-FLAVOUR-NOSQL (of which there are multiple products, all with such substantial differences that there is no knowledge transfer between using them) isn't, so there's going to be ramp-up time for every dev, and then every dev that is added to the team.

I'm not disputing your argument, I'm just pointing out that, sometimes, it's easier and faster to upskill your PostgreSQL developer to "scale the DB" than it is to teach them how to properly use, maintain, architect and code for DynamoDB and others.
> Human backup is not possible because of human resourcing

This is an artificial restraint. In the end, it comes down to risk management: "Are we willing to pay someone to make sure the system stays up when the computer does something unexpected?".

Considering this bug only showed up no, chances are there was a project manager who decided the risk would me extremely low and not worth spending another 200k or so of yearly operation expenses on.
More generally, if people would go and see for themselves more often a lot would be better in the world. Mere observation is surprisingly powerful if you take the time to do it with an open mind.
Whose freedom? Whose market?
The author would disagree with you; I think they think it's more like:

Node engineers: "lEt'S bUiLd SoMe MiCrOsErViCeS!!!!! YAY I'M CODING!!"

Chad UNIX architect who won't code in any language that doesn't give you the tools to blow your own foot off just printing a string to stdout: "No let's keep adding functionality to this one codebase until it's as complex as a suite of microservices."

(According to the author, at least.)
> if I were unable to renew my domain (e.g., in case of death),

While I agree about the “losing control” issue, however, when you own a domain you actually own it, not renting it, not lease it, It is yours, and unless you do something clearly illegal no one can just take it, an email in another provider however, they can delete your email with all its content anytime, and most of the times you can’t do anything about it because it’s written in a TOS that was revised a few months ago.

> Another concern is privacy. Using a unique domain name for email stands out,

True, but you can use a masked email with your own domain too, several services provide that, masked email -> your domain email, so you can have iCloud masked email sent to your domain one.

Having your own domain as an email provides a lot of advantages, The top one is you are provider agnostic, if you don’t like X provider, just change your MX, SPF, etc. DNS and you are good to go in a few minutes, now imagine if that would be something@gmail and you wanted to change to another@gmail, You have to go to all the services you are using and signed up for (assuming you have a list of them say in a password vault), change each, verify each, and then update your password vault so the new email is used, good luck with a whole week work.

Another big advantage of using your own domain is the concept of separation of concerns, If that site is breached, not only you will know faster than the site admin, but that email is only valid for that account, and useless elsewhere. Additionally, anyone who is using OSINT against you, will not be able to pull out all the services you are using/used with that email, that also works if you have masked emails.

Just keep in mind, if you use your own domain try as much as possible to have a .com one, I noticed some providers (MS Exchange/Outlook) mark some domains that are not .com as spam.

Lastly, emails are NOT secure, the protocol was not designed with security in mind, no matter if the provider is promising top notch security, it is not, the only time it is secure if PGP is used by both parties.
Why did the company, RTW, sue Jiang in the first place?

Even if there was the "internal damage etc" as alleged, it was already well known that there wasn't any value in the company. So the value of that damage is pretty minimal. What were they hoping to gain?
Well, you need to evaluate "{ x | x on Jupiter }" to know that it's ∅.
Oh my goodness, I feel like you’ve nailed it.
I've been running a few sites on Hetzner Cloud's ARM machines and at a guess I'd say performance is extremely close on the 4 core ARM to the 4 core Intel / AMD, and it's a quarter of the cost. I've not seen any issues with them at all either. The bonus is that, being far more energy efficient, they're theoretically greener too. I wonder what the carbon savings would be if every server switched to ARM?
To me, it's mostly skill issues when people couldn't extract the code into indepedent parts.

The point is, make everthing as a library.

It doesn't matter if microservice or monotholic, just import your library and use it.
It sounds like this company doesn't have a competitive need to ship code changes, but when it does (i.e. a challenger appears or the moat disappears) it'll be trouble.

I've tried--with varying levels of success--to really take to heart that software engineering is a never ending battle against complexity. You have to do it all the time and it has to be your paramount value, otherwise stuff like this happens. I don't think there's an architecture or ideology that ends the war; this is just the nature of the job.
Jupiter has no surface, so the proposition doesn't even parse.
It's not just you, you will find most if not all vendors of external audio devices for Windows will have a tech support page saying you have to hit 'reset defaults' after Windows Update if it chooses to change Sample Rate, default device etc.

Windows often changes the settings for internal Realtek devices, too. Windows Update can set unusable settings irrespective of whether vendor drivers are used or class compliant Microsoft supplied ones.

That is not to say that Linux is any better.
Python is the only one that I know of that does this. Additionally python uses private by convention: Just prefix the stuff with an underscore.
> Apple is transitioning to a partially services company, which is a good move.

Disagree. Currently, between Android and iOS, Apple is the less-worse option. If they went heavily into subscriptions, that would make them a less compelling choice.
A good example of form over function. It's very pretty and I enjoyed skimming through the pages. I would never use it as a reference though. I rarely have access to a large desktop display when I'm prototyping at a bench. More common to look up the pins on my phone and have it nearby. It's also cumbersome to unpack a zip file and get the resulting pdf into a mobile context. Also, the forced aspect ratio of that pdf and type size make it mobile hostile.

When I saw the title, I thought it might be cool to print it out for a maker lab for common use. Then I actually looked through it. Pretty sure this is a graphic design project and not something made by actual users.
you are right, sorry.
Nothing about this is IRC. It is undoubtedly sacrificing a lot of things that the vast majority of people look for in multiplayer notepad, for properties that are sought after by privacy wonks. Mind you, IRC barely if at all addressed these “concerns”.
No what I'm talking about here is the unauthenticated JSON-based configuration API that hosts itself on port 2019 on localhost of the machine that runs Caddy.

This is unrelated to sites hosted using HTTP. I was clumsily using the term "HTTP" to refer to the fact that this configuration mechanism is based on HTTP-communication.
> despite this makes very little sense

Avoiding Bing reward lottery spam in notifications from OS alone is worth it for me.

> https://xkcd.com/619/

This is quite ironic given that I am more likely to use 2048 CPU machine than playing full screen Flash videos.
I recently did a stint as a TA for my university's undergraduate Prolog course. It's pretty much an elective here with the main goal of introducing students to a a different paradigm. Applications of Prolog for natural language were discussed but not the main focus. I reckon that the FP course (using Haskell) touch more about parsing (using parser combinators) than the Prolog course.
Electric vehicle battery causes fire at Sydney Airport, destroys five cars
I would argue that random segfaults are not particularly good DX.
A true Bayesian I don’t think would use evidence for life on earth as the silver bullet for life elsewhere. They’d at least set up a model that considers all possible planets in the entire universe and test to see if these putative signatures even give you the power to identify earth as a life holding planet with confidence.
*claps*
"Jesus, what a clusterfuck!" - J.K. Simmons in Burn After Reading
Benchmarks don't necessarily reflect real-world performance. Especially given that they poorly measure more esoteric aspects of the model that, for now, can only be judged qualitatively. I would wait for a bit to see what the community comes up with before writing off Falcon-180B.
Any calendar app should work, right? What am I missing?
Read also the follow-up post,

"First steps in CHERIoT Security Research"

https://msrc.microsoft.com/blog/2023/02/first-steps-in-cheri...

Ironically, the future of secure computing is bringing back memory tagging.
That’s cheating! You outsourced the pressurization step. :)
I would be very interested in knowing which languages were used. Do you know which were?
Thanks
"When a failsafe system fails, it fails by failing to fail safe."

J. Gall
I thought the Sound Blaster AWE32 was nicely named .. Advanced Wave Engine, indeed .. helped them differentiate from the same technology being touted by Yamaha at the time, if I remember correctly ..
It not only has to work, the mutant has to have a fitness advantage over the nonmutant or it will drop out of the population before long. The vast majority of mutations are also “bad.”
If the presence of dimethyl sulphide is confirmed, what would the next steps be? Presumably sending a probe would not be feasible in any foreseeable timeframe?