skysight-inc/HackerNews huggingface dataset:
Don't worry about prices going up and reducing quality, that have been happening since RPi 4
> I wish there was a way (outside Coalton) to integrate the security that a strong typechecker can provide,

Common lisp is optionally strongly typed. SBCL has extensive type checking facilities. Coalton is statically typed.

Security does not imply strong (or static) typing, and strong typing definitely does not imply security (thinking your code is secure just because you used strong or static typing is silly). In fact code complexity that static typing introduces can have detrimental effects to overall security.

Helpful starting point on state of type checking in common lisp: https://lispcookbook.github.io/cl-cookbook/type.html
You've got it the wrong way around.

The Raspberry Pi Foundation is a shareholder in Raspberry Pi Ltd, not vice versa. It benefits from the profits generated by the commercial arm.

The commercial arm was established on 10 September 2012 [1].

[1] https://find-and-update.company-information.service.gov.uk/c...
No, and no idea, respectively ;)
While there are legitimate planning problems (does it make sense to run utilities out to serve yet another suburb?) that are separable from pure politics, I think you're sort of burying the lede when mention the 'cost of the land' then quickly move on to other topics.

'Cost of land' is inherently a political question, because land is not generally produced by human labour. It exists, then is divided according to some moral or political criteria. A state cannot arbitrarily say 'everybody gets a free car', because the car industry will go bust, then nobody will get a car. A state can (and states have) say that you can divide land ownership in whatever way you want. It's a purely political decision.

In many countries, areas, and states, land costs account for the massive majority of new construction costs. What's more, they force planners and developers to act in a counter-intuitive way to work around them. They incentivize insane behaviour, like empty lots in the middle of highly dense cities, due to the logic of financial speculation.

You can't 'fix' housing without fixing the political question, which ultimately starts with making people broadly recognize it is a political question, and addressing it as such.
Yes, usually if you need a blood transfusion there are bigger issues.

Please remember to ask your doctor about autologous transfusion, where you bank your own blood before a planned procedure.
Sorry, but do you have a time stamp for when they discuss selling entire dark net websites to each other?
I for one and willing to live with the egg on my face if you actually prove this. I am extremely, extremely skeptical that you are truthfully and wholly representing whatever situation you are referring to.
Weighted average prices up to €2.40: https://brandstofdata.nl/brandstof/benzine/2022
> all these things work exactly the same way: by limiting your calorie intake.

While this is broadly true, I think it's also important to convey that the hormones involved also play a huge role. There are plenty of people who stay in a calorie deficit* and still gain weight because they spike insulin with a snack or a meal every two hours.

Keto works so well because it doesn't spike insulin as much, on top of the greater satiety signals sent by popular foods associated with the diet. Eventually you feel more full for longer and the insulin spike is further reduced from the omission of calories entirely.

*: By constantly spiking insulin, the body will down regulate your metabolism since it can no longer access stored fat deposits for energy. If your BMR is lowered, then technically you are burning less calories than you are eating. Assuming a person stops spiking their insulin, their BMR will rise back to "normal" levels when the body realizes that it has access to stored fat again.
Thanks, I wrote a lot of code for this (scraped several sources before settling on nTLD) so this was a “Show HN” post in my head by default.

But you’re right.
that's because assigning -1 to an unsigned number is an idiomatic, safe and portable way to setting all bits to 1. You could argue that an explicit cast should be warranted in this case, and I sort of agree, but it would break way too much code.
Doesn't it translate to: "After, good employee left, let's promote the underachievers to management. I'm eager to see how their unique 'skills' will steer us to new heights of inefficacy."
I'm not the person you replied to but I agree, because it's related to public safety.

Same with aviation software.

Anything that deals with public safety should be audited by the public.
@Princec was the owner of the puppygames discord server. He got pwned and lost control of his Discord account, discord server and epic games store. The new pwner of the princec account then managed to get control of the Valheim server and start funnelling people to the also compromised puppygames server (now hastily renamed Valheim) to further attempt to distribute their malware (apparently a pretty nasty rootkit if you follow the puppygames twitter - https://twitter.com/puppygames/status/1751999253713498484 )
I see the option to "include remote" under location but not a "remote only" option
Archive: https://archive.ph/VXXQR
Tell me again how the country with the highest incarcerated population in the world and prisoner slavery is a beacon of freedom. Forgot to mention, the prison system is built to be profitable for corporations.

Truly a miracle of capitalism and Western democracy.
That is the story of just about every technology.... or even community

Sad but it remains true, Thing is created > Small but devoted group discovers and popularized thing > Thing raises to mass popularity > The masses what to change the thing to be what they think it "should be" diverging from what the small but devoted group desired or signed on for > Thing becomes unrecognizable to the original group > New thing is created > Small but devoted group....
and the cycle continues

So the question is what will replace the Pi for the hacker community, I personally stopped buying Pi's for my personal projects a long time ago, rPI3 was the last one for me. Soo many other manufactures of SBC's out there making better, cheaper boards.
There are quite a lot of diseases where a prion like mechanism is suspected https://en.wikipedia.org/wiki/Prion#In_other_diseases

ie. some protein other than PrP gets misfolded and then acts as a template to cause more misfolding. I've read up a bit on ALS as my sister has it and while it's not fully understood the most likely cause seems misfolding of a proteins called or TDP-43 or SOD1. Eg from a paper:

>recent cultured cell line and animal model studies suggest that the misfolded forms of SOD1 and TDP-43 do self-propagate within neuronal cells and transmit to neighboring cells https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4363329/
The surprising benefit that I noticed on a keto diet was the lack of joint pain.
Men hand over Bitcoins worth two billion euros to German federal police
I'm pretty sure that this was well defined and portable well before C23. Although the representation was implementation defined, IIRC signed to unsigned has always been guaranteed to be as-if in two-complement.
I wrote an article about Linux system calls, albeit from the user's perspective, detailing why you might want to use them and how to do so.

https://www.matheusmoreira.com/articles/linux-system-calls

LWN has the kernel's perspective well covered by their articles on the anatomy of Linux system calls:

https://lwn.net/Articles/604287/

https://lwn.net/Articles/604515/

https://lwn.net/Articles/604406/

They are thoroughly dissected in these articles. I also use them as a reference.
I'm envious of people who can realize these things about themselves. For me, I almost always need concrete data to make me stop and think about how I'm feeling and put two and two together. Otherwise my scatterbrain is thinking about anything and everything else.
> Not sure why this was downvoted

Because it is a lazy comment that contributes little and a lot of people on HN don't like that, preferring to promote conversation. But people on HN tend to take votes less seriously and more about moving comments around.
> How often per day did you eat and did you measure your keto levels?

You mean using a breathalyzer? I did not find them to be very consistent.
Stamford is also the name of a place, but that doesn't mean you're not causing problems when you call your school "Stamford University". (I'm aware that the name is much older, but it's been displaced.)

And in this case, Molokai isn't the name of a place, it's been chosen solely for its phonetic similarity to "Monokai".

If I found a new Harverd University, I may be able to justify that, but I certainly can't do so on the stated grounds of "in order to avoid confusion".
JetBrains CEO Transition
Do you have any evidence of a focus change during covid? Other than the obvious temporary changes all education outlets made during the pandemic?

The charity still exists and still does all the same stuff: https://static.raspberrypi.org/files/about/RaspberryPiFounda...
IMHO should be coupled with some videos comparing the Roman empire with the USA empire:
https://www.youtube.com/watch?v=CNv1lX9IIfU
While I agree with that shrink part, you must be living in a bubble for the family part.

Literally all my colleagues in past 5 jobs (that few hundreds guys) have kids if they are over say 35. All colleagues of my wife. All of our friends. I cover western (Switzerland) and eastern Europe here. Same for Swiss colleagues and foreigners. Folks with nannies or family close but also raising their kids just by themselves, like us.

2 kids are standard, 3 are actually slowly becoming a norm. 1 is rare and more related to medical issues rather than an actual decision. From my own personal experience being raised as a single child, it sucks in many ways and will affect you negatively for rest of your life, regardless of all the love you received from parents (which of course helps but doesnt mitigate this).
Same! I feel like most self-taught programmers started their journey to build sth for themselves

I’ve built an app to easily create a shareable link to invite people to a private GitHub repo. I know you can invite specific people to your repo, but sometimes you just want a link you can drop in a group chat

It was so cool seeing people in my school use it for all their class projects
Translation: https://www-spiegel-de.translate.goog/netzwelt/web/movie2k-t...
There's at least two possible ways for it to help:

1) Feeding different gut microbes. Often, pathogenic fungi and bacteria feed on simple carbs, which are abundant in normal diets, and drive inflammation that causes mental and physical illness

2) Ketone bodies are an alternative fuel for the brain that does not rely on glucose uptake mechanisms, which are often impaired by (pre)diabetes, inflammation, shit sleep, etc. all of which are very common.
Visual Studio GitHub Copilot Extension Introduces New Features and Enhancements
I've thought about this a couple of times.

In a perfect world, you want to be able to safely ~hack~investigate every part of your car, including the logic that controls its servos, hydraulics, propulsion, etc.

So the whole OS and controler firmware should be open source, right?

It would be awesome but problems arise with qualifying which "devices" this should apply to. Are all self propelled four whelers cars? What about three wheelers? And why make a distinction on wheels? And if propulsion is the driver then I can see dealers suddenly selling you (proprietary) carriages and an added service of mountig an engine on them.

Soon enough you come to the point where absolutely everything needs to be open source. And while I would be happy to be part of that world, I don't really see a tangible way towards it. It just seems there is too much vested interest in defending the right for proprietary software.

The one avenue where there might be a sliver of hope for such an idea is maybe commercial aviation. That field is already overly regulated so it might be doable. There still will be a huge loophole in terms of military vehicles but it still seems vastly more rwalistic than forcing all car companies to opensource everything.
So apparently the Pinecil is a BLE-enabled soldering iron with a 108 MHz RISC-V processor running a custom real-time operating system [0]. The author wanted to access the UART logs, so they repurposed a Raspberry Pi Pico (a dual-core microcontroller system running a real-time OS) for the task.

That's a staggering amount of hardware, sortware and computing power devoted to decoding one of the simplest and oldest serial protocols from a device whose sole purpose is to essentially melt tin. Maybe I'm out of touch, but I think I'll stick to my thermostat-controlled Weller soldering station and FTDI UART converters. I apologize if this post comes across as snarky, my point is that these are solved problems and have been for half a century.

[0] https://github.com/Ralim/IronOS
My father when he was younger knew a brewery owner who before bed each night would pop open a fresh beer and set it on his night stand, then when he woke up in the morning drank and enjoyed his flat room temperature beer. Apparently did it every day for atleast 40 years.
Let's just say, that every once in a while I go vegan for a couple of days or weeks. That's slightly different from the "accidentally vegan" meal.

If it was possible to combine keto, a meat-free diet, and intermittent fasting, without breaking the bank or breaking the body, that would be the dream.
> Half a millennium after Juliana Barnes died an unknown nun in an English convent on a planet without clocks, calculus, or democracy

1. Archimedes' Method contains calculus so for more than two millennia this planet certainly had it.

2. Democracy predates that by yet another three hundred or so years

3. Water clocks yet another seven hundred years

What was the author smoking?
My main realization becoming an adult was that time is linear but social progress isn't. The same way we look at ancient Greece philosophers thinking they had some pretty good ideas, a non trivial amount of people look at a century ago's society thinking some of it should be restored or expanded.

The reason slavery (disguised in many forms) is still a thing isn't because it takes time, and more because a number of people actively work in that direction. I'd assume those 1865 bits weren't left by mistake and forgotten.

I don't know how we can deal with that issue, but I think it will fundamentally be a tough battle.
> sprinkling LD_LIBRARY_PATHs here and there and then removing undocumented dot files here and there

I obviously don't have any context about the issues you were facing at the time, and I can't really figure it out based on the advice you ostensibly received. I'm definitely sorry if we have lead you astray in the past, but those are not workarounds I would encourage people to use today. If there's some aspect of the build process that requires workarounds like you're describing, it's definitely a bug and we'll fix it when we're made aware as best we can.

As for the rest of it, I think you're putting the cart before the horse on some level. An operating system is a large and complex thing to work on, regardless of whether it's built with make or ninja or bazel or whatever other build tool.

The Rust toolchain is another similarly complex body of software, which also has a large and at times inscrutable build process. I know because I have personally contributed to it, and had to figure out how to get it to work. Rust obviously has more active contributors than illumos, but it also has vastly more active _users_ -- it is a body of software that has broad applicability to many people and the work they do.

For illumos to continue to succeed as an actively maintained project, what we need to do is continue to inspire _users_ to want to use it. Nobody wants to work on an operating system they don't personally need to use at all. We draw contributions today from a mixture of community driven distributions making fixes or adding features, and by people employed by companies like Oxide who have a vested economic interest in the deployment of the software.

None of this is to say that we're perfect, or that we're not trying to improve things. Just that we're trying to put build system improvements in the proper context amongst all the other work there is to do with our limited resources. It's probably more important that we have support for new Intel client NICs like you would find in a modern desktop system, for example, than it is that we replace make. It's important that we continue to add system calls and libc facilities that other platforms have adopted in order to ease software porting. It's important that we continue to maintain modern JDKs and Python and Go and Rust and C/C++ compilers. It's important that we keep up with security issues and the endless stream of mitigations imposed by the sieve-like nature of speculative CPUs.

There's actually quite a lot of stuff going on for us all the time, and we do still find time to improve the build system. If you have more specifics in mind, that's fantastic and we'd love to here about them concretely! I would encourage you to channel your enthusiasm into writing an illumos project discussion (IPD) describing the issues you see and the work you'd propose to sort them out! You can see some examples of existing IPDs at https://github.com/illumos/ipd

And as ever, if you hit issues in the build as it stands, please file bugs! We can't fix things we haven't heard about.

Cheers.
Don't forget the Micro:bit and I'm not convinced "Arduino has kinda dropped the ball", they are doing just fine in the marketplace and the gear has come down in price to where $4 gets you a working microcontroller (and $5 for the Raspi 2040 pico).

What you can get under $10 these days is mindblowing and if all Arduino ever did was make their IDE which ties 100's of different boards together under a common development experience then that would be enough for me.
My point is that I am a researcher (in quantum information theory) and I've published a couple of papers on quantum computing which talk about algorithmic complexity. In once case I've been told to by an editor to change run time to runtime, and in another case I've been told (by an editor at a different journal) to change run-time to run time.

There isn't a fixed consistent usage, even in the academic literature. More importantly though it doesn't matter which you use, as long as its obvious what you're talking about.
This is a Golang library! Not JS one!
As other commenters here have mentioned, in discrete optimization there can be a very large gap between efficienct in theory and efficient in practice, and it is very likely that this is the case here too. Linear programming for example is known to be solvable in polynomial time, but the algorithm which does so (the ellipsoid method) is not used in practice because it is prohibitively slow. Instead, people use the (exponential time worst-case) simplex method.

Modern ILP solvers have a huge number of heuristics and engineering in them, and it is really difficult to beat them in practice after they have optimized their branch-and-cut codes for 30 years. As the top comment mentions, the software improvements alone are estimated to have improved the solving time of practical ILP instances by a factor of 870'000 since 1990.
I used to joke one would save a lot of money by living and working in WA near the oregon border (i.e. Vancouver, WA) and doing all your shopping over the river in Portland.
A few (many?) breakfast cereals were started by religious charities in America. Quaker being most obvious via the name. Kellogg's origin was seventh day Adventist I think.

I think there was a religious component to health foods at the time. But not sure why. One popular and possibly inaccurate reason was that bland vegetarian foods decreased the bodys animal nature.
The EU is doing something like this with some proposed legislation. Basically it's a CE mark for software. The current version is very much a bare minimum, though. But it does impose liability on people selling software.
I've found it to be the opposite of that. More legroom on economy. Perhaps narrower, though?
Clearly you're not familiar with Sundar.
> Nondeterministic Finite Automata.

The "Nondeterministic" in NFA means its transition function goes from states to sets of states, instead of from states to states. Informally, it can explore multiple paths in parallel for the cost of one. They're not probabilistic.
Putting them in the cloud removes the wasted drawer space. I'm all for a cloud offering.
It's pretty sad when you really think about it and exposes how racist our prison system tends to be. You've got a white judge sent to a bougie prison despite having ruined the lives of thousands of kids. Then you have a mixture of black and poor people sent to prison for shoplifting or getting caught with weed being forced into chain gangs and dangerous labor for pennies.
> For a proof of concept, pop onto their forums, create an account and make a post asking how to do something fairly basic, see how quickly you get yelled at and banned for life.

This doesn't need the moderators to be secretly part of some plan to make money.

I stopped posting questions on physics stack exchange years ago because what I was curious about vastly exceeded my ability to phrase those questions in a way that didn't sound like a crank, let alone be coherent, precise, and meaningful within the language of physics. Basically, I was writing like ChatGPT years before it existed.

In one case, I even managed to get a "no", "yes" (in a comment) and "closed: duplicate" all on the same question.

(IIRC, this particular comment was subsequently re-opened because one of the stack exchange moderators is also a HN commenter and noticed last time I said this; I don't blame the moderators for me being an enthusiastic fool).
Interesting, the "hack" of eating in order is just return to the traditional way of eating veggie appetizer first, then meat main dish, and then dessert.
It's far from just the FAA in the US gov the enabled and encouraged Boeing's monopolistic behaviour. And not just in airplanes.

I have a feeling they'd be much more concerned about not messing up and protecting their reputation if they weren't the only domestic player in town.
LlamaEdge 0.2.9 released. Now works with Hugging Face's 3000 GGUF models
Always did? In code. Not in shells.
Cory Doctorow has a plan to wipe away the enshittification of tech
I have worked on algorithms and system analysis in very similar projects and it's highly doubtful that these results are worth anything.

The radar sounder design and the numerical studies are flawed due to the used simulation methods. Numerical simulations are computationally expensive (in time and in space). Therefore many approximations are made (e.g. no real antenna pattern, no influence of the rover, thin slices of ground that is being simulated and than put together, ...)

Reading such radargrams is like reading tea leaves. I am pretty sure that most of the echos in the radargram are surface clutter from bigger rocks or hilly areas in the distance. In one of our simulation works for a very similar project we have actually shown that this has a heavy influence on the radargram and is never considered in any of the works analyzing the results from Mars (or any other space object).

These projects are extremely political even though they shouldn't be. Groups that have had instruments on previous missions will be part of the next mission, too, because they have flown instruments already. So, any study or inclination that the instrument as it is does not work is buried quickly and often unknown to many of the people in the science teams, too.

I know, it's quite cynic but it's my experience and I know that I am not the only one feeling that way. So, while the rover and the measurements themselves are impressive, the analysis is wonky at best.