skysight-inc/HackerNews huggingface dataset:
Like I said, it's not meant to be a "Rust OS" and will incorporate a lot of C code still (and various other languages as well). I doubt that the kernel will ever get completely rewritten in Rust, although eventually some Rust code might get added (once I break up the giant kernel lock I am thinking I'll use the same locking library I'm using in the process server, so that would add some Rust code to the kernel). I don't see a lot of point to rewriting the kernel since it's probably not going to see lots of new code being added all the time and is generally pretty limited as to what it includes (I'm not quite as reluctant to add stuff to the kernel as the seL4 developers are, but I still am going to try avoiding it unless there's no other good way to do something).

Redox has several of what I consider to be questionable design/implementation decisions. I explained a couple of them in a previous comment (the limited filesystem namespace and IPC models and the lack of real-time support). Some other things include the weak implementation of locking (it uses pure spinlocks instead of something like the adaptive queue-based locking that I'm using in the process server), a rather limited heap allocator that doesn't support growing/shrinking the heap or custom object sizes for slabs (the heap allocator I'm using is a derivative of the same one that Redox uses but it's been heavily enhanced with support for shrinking/growing the heap and custom slab sizes), and the rather boilerplatey implementation of some of the libraries (for example fork() is implemented as a library function that copies process context through a filesystem-based API, but rather than having object-oriented wrappers on top of the filesystem for the various state objects that it's manipulating, the fork() implementation directly invokes open(), read(), and write() a lot).
I agree that many types of treatments have been advancing. Closed loop is a good example, and stem cell-based islet transplants are in real clinical trials now. We have gotten synthetic insulins that act much faster like Fiasp and stuff like Tresiba that's a multi-day action time prolonged insulin. GLP1 inhibitors are more commonly available for T1Ds, especially now that they are in weight loss drugs that doctors are starting to more easily prescribe off-label to T1s. Metformin has basically become on-label for T1Ds due to its benefits to insulin sensitivity. But the smart insulin hasn't made much progress for the last several decades.

I'm not saying it's all doom and gloom. I'm bringing attention to different rates these things evolve at and questioning why GRIs haven't left the lab since the 90s. :)
Show HN: Download images and videos from Amazon product listings
I was curious about this myself so I looked up a bit more about this. Here's what I found;

>Even though there have been many publications and patents on the subject, no mechanism has yet been shown to be compelling enough to treat diabetes.[1]

>An apparent more effective strategy is to give insulin glucose-responsive properties that let it respond to glucose reversibly. Merck created a system ... because of its incredibly low efficacy, this system did not merit advancement past phase I clinical trials.[1]

It sounds like they're saying basically that they exist, but aren't yet effective enough to replace the old standard. This particular design is newer.

From the study linked in the article as citation 1:
>Here we report the design and properties of NNC2215, an insulin conjugate with bioactivity that is reversibly responsive to a glucose range relevant for diabetes, as demonstrated in vitro and in vivo. NNC2215 was engineered by conjugating a glucose-binding macrocycle and a glucoside to insulin, thereby introducing a switch that can open and close in response to glucose and thereby equilibrate insulin between active and less-active conformations.

Essentially it's a new attempt at making a GRI that's more promising. It's insulin attached to a molecule that binds to insulin to block it from working unless glucose is present, in which case it binds to glucose instead and allows the insulin to be active. Of course that also means it will need to go through full FDA approval process which would keep it about ten years away if it does really end up being effective enough.

But this time could be different! It's very cool conceptually too. The fact that it's possible to make a drug that works like that. It's amazing to see these novel drug delivery concepts develop in real time.

[1] https://www.insideprecisionmedicine.com/topics/translational...
Isn't Algol the crazy language using special characters all over the place as operators? I could see that being undesirable, but I don't see it in that snippet.

edit: I'm thinking of APL. It looks like it's the same kind of functionality as what the Matlab, R or numpy cohort provides.
Yes. SV included.
That's your perspective though. Others' perspective is that it is a form of harassment, and reactions like yours are toxic masculinity, a feminist catch phrase, of ignoring our issues and feelings. Yet for all the hate for toxic masculinity, as a gay guy all I see is that straight guys are still forced to uphold those traits in a bizarre way. Yes, be violent she says now, but only to those who insult me.
I'd love to know how I did it. There must have been a certain element of luck. I actually found the decompiled routine for the password code a couple of years ago and, IIRC, it was surprisingly more sophisticated than my teenage brain would have suspected.

https://eccothedolphin.online/ecco-password-generator/
"The Feeling of Power" by Isaac Asimov
Clever - going to steal this.
Flash plugin was another frequent crasher, I remember most of my browser problems being Flash and not the browser itself
I assure you that Imposter Syndrome is a daily reality even for Senior Engineers at Google.
> The median age of single women without children heading a household is 61, compared with 50 for single men heading a household.

> Once we account for age, single women without children don’t have the same wealth as single men. For example, among household heads younger than 65, the median wealth of unmarried women without children is $38,900, compared with $59,400 for unmarried men.

This is also one of those places [0] where when you do break the data up by age, women end up with less wealth in both brackets. $218k in the over-65-single-men bracket and $173k in the over-65-single-woman-no-children bracket.

So the data actually shows the opposite of the headline: single women have less wealth than their single male peers.

[0] Simpson's paradox: https://en.wikipedia.org/wiki/Simpson%27s_paradox
That is so ambiguous. It is also what we, commenters on Hackernews are technically doing.
Remember that Curse of the Golden Idol is getting a sequel next week
Hold up, who said anything about merely increasing the punishment for already-illegal acts?

It's a significant difference when those acts become impractical, because you can't spout all the other smaller lies which are needed to shock and scare the victim into a state where they'll fall for the big ones.
Really? Would there be a way to replicate this with currently available encoders? I'd like to try it
I you allow to replay the videos it's going to be boring anyway, in binary as well as in decimal.

For example, in decimal, you can group the digits by pairs, and you just need 100 videos.
RAM throughput comes from a wide bus, but I think that nowadays memory access latency is getting pretty important to keep the CPUs working.
Did you mean H.266? Or is there some secret H.267 that hasn't been agreed upon yet
From prediction markets to info finance
Can you help me find this? I don't see anything by googling "android contacts scopes" or looking in the contacts settings.
The thing that prevents me from using delta is lack of "system" theme detection. Can't set it up and forget and mismatching theme with shell makes it really difficult to read.
It's two syllables, not a digraph.
It's a realistic view point. I'm gay and I don't delude myself on the fact it can be dangerous to express that in public. No matter "how far we've come" "we don't need pride parades anymore" etc.
The corp is a subsidiary. It is irrelevant if and how long you worked there for, the parent company has the financial and legal control over all the subsidiaries. The foundation literally owns the corporation, no need for quotation marks. If they have not or do not exercise that control or interfere in the day-to-day life today, that does not mean they will not do it tomorrow or whenever it becomes necessary. When shit hits the fan all that matters is what's on the paper.

I can also say, that my hypothetical landlord has nothing to do with the place I have lived in for 10 years. So therefore they do not "own" it.
Guyana is considered part of the Caribbean because they speak 100% English…well creole English (broken English) to be precise.

Just like American Indians, the natives there are called Amerindian.

There’s also a huge Dutch history…dating back to the 1600 if I remember correctly.

WOW! It’s amazing to see Guyana mentioned on HN.

If you rally want to know Guyanese, get invited to one of our parties. Fun and down-to-earth folks…well most, some can definitely carry a massive ego seed.

If you haven’t met anyone in tech - greetings! A pleasure to meet you. 20 years building successful companies and products in the USA.

Wakenaam - Dutch - “Waiting for a name”.
https://www.palantir.com/docs/
As a C/C++ programmer I want the US government to stop wasting billions on failed IT projects, web sites that don’t work, systems that resist upgrading, and a rich vein of ongoing leaks and hacks.
I feel mixed about it overall, but one place I don't think there's any question its sketchy as hell is when interviewing kids, especially younger ones.
Interesting to learn the human side of a tool I use almost every day. RIP Stiver
> this level requires deep technical knowledge in some specialty

feels like every area that I've obtained deep technical knowledge has gone obsolete
Military and intelligence contractor stuff, or so I've been told.
The UI in Amiga OS 2.0 was a huge improvement... It felt like night and day! Earlier versions were definitely pretty bad looking.
It is of course a great effort that these scientists are undertaking, not to be diminished by any healthy scepticism.

Thank you for looking into this. Hopefully this will advance to clinical trials in the future.
Looking at the vote totals between 2024 and 2020:

- Trump has just a few thousand more votes in 2024 than 2020 (https://en.wikipedia.org/wiki/2020_United_States_presidentia... says 74.224M, NYTimes and FoxNews, https://www.foxnews.com/elections, has 74.230M in 2024)

- 2024 Harris has about 11M *FEWER* votes than 2020 Biden (70.330M vs 81.283M, same sources as for Trump totals)
ALGOL is the main forerunner of C. Anything vaguely C-like is also ALGOL-like.
IMHO greenfield vs new features vs maintenance/tuning/scaling are different skill sets, not level dependent per se. Plenty of junior engineers can spin up a reasonable greenfield app, and plenty of staff/principal engineers never have had to.

The way I look at it is that levels only make sense within an organization that is big enough that a hierarchy is needed to scale. At that point staff+ IC levels are needed because you want purely technical people on the same pay scale and influence level as managers to counteract the incentives of empire building that can corrupt the entire architecture and lead to a Dead Sea effect of engineering talent if left unchecked.

From this perspective most staff+ work is in some way generating influence and impact across multiple teams and individuals. Outside of certain specialties and specific R&D roles I think it’s pretty hard to justify staff leveling on purely technical work.

Of course different companies calibrate levels differently, and they’re all subject to level inflation, but that’s my feeling for a traditional Google L6.
Show HN: Lenormand Online – Free AI-powered cartomancy readings and learning
I built a free online platform for Lenormand card readings and learning. Get instant card interpretations, explore traditional combinations, and master this classic divination system. Currently helping divination enthusiasts worldwide learn authentic Lenormand techniques.
> The most direct way is becoming an engineering manager.

After 30 years of engineering experience, I tried to transition from engineer to engineering manager, and I hated every minute of it.
It should surely be OK if they use deception to get you to reveal information that only the perpetrator could know. Like "We know you buried the body in that forest [lie], so tell us which tree it's under." And you tell them which tree, and they find the body there. Unless there's some weird circumstances, that proves you knew where the body was buried and should be valid evidence contributing to the conclusion that you murdered them or were at least an accomplice.

Seems like just applying honest common sense and intelligent reasoning solves this, and I thought that was the judge's job. Maybe judges are the problem for not seeing through the bullshit.
It will use whatever `bat` theme is set. Bat itself doesn't do system theme detection, but it's easy enough to do in a script - I have one that gets called when my system theme changes where I set themes for various programs. Looks like this for dark mode:

#!/usr/bin/fish
gsettings set org.gnome.desktop.interface gtk-theme "Adwaita-dark"
fish_config theme choose "ayu Mirage"
yes | fish_config theme save
echo "--theme=OneHalfDark" > ~/.config/bat/config
kitten themes --reload-in=all "Ayu Mirage"

The bat config change will make delta respect my "system" theme.
The United States Courts don't think that having a 50 year sentence over your head, and being offered a 5-10 year plea deal instead, is cajoling. When you take a plea (with the judge knowing all of the above and that you were threatened with a 40 year 'trial tax' if you didn't take the plea) you literally have to swear in court no in answer to the judge asking "Has anyone forced, threatened, or coerced you in any way into pleading guilty?" even though it is the judge who will personally add 45 years to your sentence if you don't take the plea.

This falls under the "voluntariness requirement" as part of Rule 11 of the Federal Rules of Criminal Procedure. Specifically, Rule 11(b)(2) requires that the court "address the defendant personally in open court and determine that the plea is voluntary and did not result from force, threats, or promises (other than promises in a plea agreement)."

The threat of 40 years of your life (basically a death sentence, you will probably die in that time, many you know and love will die in that time, you will not be able to restart any sort of life if you don't die) because you chose to exercise your right to trial instead of pleading guilty is not considered a threat, coercion, or cajoling by the United State Federal Justice system.

This voluntariness inquiry is a key part of what's known as the "Rule 11 colloquy" - the series of questions and statements that must occur between the judge and defendant before a guilty plea can be accepted.

Plea deals/plea bargaining was not legal at the start of the United States and was actually considered unconstitutional. The practice wasn't officially recognized by the Supreme Court as legitimate until 1970 in Brady v. United States on the grounds that not EVERY plea is coercion.

https://www.law.cornell.edu/rules/frcrmp/rule_11

https://naacp.org/resources/eliminating-illegal-practice-tri...

https://en.wikipedia.org/wiki/Brady_v._United_States
https://en.wikipedia.org/wiki/United_States_v._Jackson
Wow! Excellent analysis.
does the current largest prime number have any practical implications as for today ?
> This might also be a microcosm of why the working class is pissed off in America, because looking at this experience, the optimal strategy for revenue is to blow smoke up the ass of a wealthy corporation until they give you a fat stock grant, then claim credit for the work of others so that they give you more.

That has always been the case. If anything, software development opened up a brand new avenue for people to get rich other than stuffy “elite” colleges that feed into NYC/Chicago/Boston into finance/law/medicine.
Delta has a diff-so-fancy mode, so could be a nice way to transition.
Race recognition from social media? Definitely possible. But linking that to a mobile number is the interesting part.

People have bad cyber hygiene in general but most people know not to post their mobile on their social media publicly.
It's not complex if it's just a 'dump everything in one place'-repository, but the concept of a mono repository is that separate applications that share code can share it by being in the same commit stream.

That's where it immediately gets problematic; say you have a client and a server and a shared library that does your protocol or client/server code for you. If you wanted to bump the server part and check if it's backwards compatible with say, the clients that you have already deployed, your basic "match this stuff" pattern doesn't work because it now matches either nothing, because it just builds the library and not the client or the server, or it matches all of it, because you didn't make a distinction. And when you just want the new server with the new library and nothing else, you somehow have to build and emit the new library first, reference that specific version in your code, rebuild your code, and meanwhile not affect the client. That also means when someone else is busy working on the client or on the older library, you have to essentially all be on different branches that cannot integrate with each other because they would overwrite or mess up the work of the people that are busy with their own part.

You could go monorail and do something where every side effect of the thing you touches automatically also becomes your responsibility to fix, but most companies aren't at a scale to pay for that. That also applies to things like Bazel. You could use it to track dependent builds and also tag specific inter-commit dependencies so your server might build with the HEAD source library and your client would still be on an older commit. But that that point you have just done version/reference pinning, with extra steps. You also can't see that at the same time in your editor, unless you open two views in to the same source, at which point you might as well open two views, one for the library and one for the server.

If your project, organisation of people (teams) and dependencies are simple enough, and you only deploy one version at a time, of everything, then yes, doing multiple directories in a single repo or doing multiple repos is not much of a change. But you also gain practically nothing.

There are probably some more options as I don't doubt it is more of a gradient; the Elastic sources seem to do this somewhat well, but they all release everything at once in lockstep. I suppose one way to take separate versions out of that is to always export the builds and have a completely separate CD configuration and workflow elsewhere. This appears to be what they have done as it's not public.
https://archive.is/uqaae
I know there are a few hypervisor vendors that do heartbeats for C and D. You can use whatever solution you like as long as there's a fallback task.
Different use case. This is just a diff pager, it's not supposed to help you solve complicated 3 way merges.

On a separate tangent - I haven't needed to do a gnarly merge in years it seems like. I feel like the dev community has collectively gotten better at git/SCM in general. Maybe I was super junior before but it's just not a problem I seem to face in daily software dev anymore.
The product demos show some features but obviously not everything.
https://www.youtube.com/watch?v=rxKghrZU5w8
Qubes has an excellent security model and should a top choice (if not _the_ top choice) for security-minded and technologically sophisticated users.

I used Qubes for a year or two, and then realized that my main use case was to isolated the browser, which to me was the greatest threat vector compared to everything else I use. Then I thought, if I just wanted a system with the browser isolated from my main Linux environment, wasn't that exactly what ChromeOS provided?

So I switched to ChromeOS and have stayed on it ever since.
That's interesting, thanks for the explanations. Which of the many OS text books do you think covers the topics you are confronted with in this projectk best (especially how to implement an efficient microkernel and integrated ipc)?
Happy to see coverage of ham radio volunteers here! The Boston Marathon has a similar volunteer-led program which I've participated in since college [1]. It's such a fun event and a great way to combine technical interests with community service. I'd highly recommend it to anyone looking to join a community of like-minded technical folks. The group isn't what the "old men with radios" stereotype would suggest either.

[1] https://www.arrl.org/news/amateur-radio-provides-communicati...
Anti-obesity drug has life-changing benefits for arthritis
> For example, if I tell you that I can visualize more than 3 dimensions, then how could you verify or disprove that?

I don't really know. The first thing that came to my mind would be to ask to draw/model different cross-sections of a 4D object ("cross-volumes"?).

We can visualize 3D objects, and therefore can draw 2D cross-sections of 3D objects relatively well, and relatively easily. Like, sections of a human body, or a house. So, maybe someone who can visualize 4D objects in their head could also model 3D "cross-sections" of that object at arbitrary "cuts". And we could check if those 3D radiographies are accurate, because we can model those 4D objects on a computer, and draw their 3D cuts.

Just a simple idea. I'm sure there could be other ways of probing this.
great, if you can figure out how to lie to only murderers we wouldn’t even need police to investigate
See also: https://en.wikipedia.org/wiki/Carnage_Heart
owwwww.....
While you were in the basement cell the world ended. Everything wiped out with neutron bombs. So that means the government, the laws, the legal system, all that stuff. Doesn't exist anymore.

So whether you're guilty or not doesn't even matter. But just out of curiosity, did you do it?
Life is just an arbitrary number of magnitude of complexity
As I understand, the reason for using polgyraphs is psychological to see if you could easily be compromised by an adversary. If you can survive a polygraph session, you're perhaps also more resistant to blackmail or other coercion, whether you have anything to hide or not.
Every person in the United States, whether a citizen or just visiting, would do well to watch this.
Are you really? Ever heard the line “dog is a man’s best friend”? Or seen that Jon Wick movie?
Apple is finally letting green bubbles send message reactions
Been using delta for diffs for a while, highly recommend it!
> Metrics or it didn’t happen

Sadly the chosen metric can be subject to politics. You’ll find stakeholders have their pet metric, claim another stakeholders metric doesn’t measure what’s important, or a new, important person thinks all the metrics are garbage and need to be changed.

I’ve had successful projects hit their metrics and those have also gotten caught up in politics.
Most cryptography is based on factoring difficulty
That seems very unlikely.

Apple doesn't save your physical SIM PIN, so it would mean leaving your phone untouched for a while would automatically make it unreachable, since you need to enter the SIM PIN after a reboot.
Yeah, that one appeals to me more than the morrow example. The difference between that and the Haskell, other than any particular choices I made about use of operators instead of more explicit bindings, is really just syntactic decoration around functions and such.
JSON CAT offers a streamlined platform designed to simplify your JSON data