skysight-inc/HackerNews huggingface dataset:
Someone reading this might assume its zero sum to you - as if people on Ozempic have not already been exercising and monitoring caloric intake without the associated weight loss/health results they desire - and have only chosen it because they don't want to try something else.

I'm sure you aren't trying to come across as fat shaming, but the reality is of course not zero sum. Diet and exercise doesn't magically work for the entire population.

Diet and exercise definitely worked for me but im not willing to be a sample size of 1 in the face of so many others with legitimate stories.
OpenAI incident retro: Lessons from K8s outages at scale
Google's Whisk AI generator will 'remix' the pictures you plug in
I agree that enabling stupid people to keep being stupid is just kicking the can down the road. However I think we should blame identity providers, not passwords and not users. Passwords work when the identity provider doesn't have ALL of them, and users shouldn't be expected to be trustworthy.

We just consolidated everybody's login into one platform. One monolithic database that contains the PII of EVERYONE.... What could present a bigger, better target than that? It's literally too good to pass up. Previously an attacker would have to compromise half a dozen vendors in order to completely pwn someone. Now they just need access to one.

Additionally, password managers are dangerous. Not a single one or them has been able to go more than 12 months without reporting a significant hack. Just another consolidated attack vector.

Like VPN providers. Why would I scourge the internet to gather browsing history of a target when the user has already consolidated that information into once place for me?
This was precisely the situation I was in! Luckily, the Eclipse JDT.LS contributors are super helpful, and provided me with a lot of their time answering all my questions, which I have now tried to document in as much detail as possible in the Eclipse part of multilspy. My sincere hope is that multilspy can serve as the repository for all other language servers.

I hope you revive "that idea" and I would be glad to help in any way possible w.r.t. multilspy to help you through!
> their motivation stemmed from a need to investigate any leaks

It is 100% of the time motivated from a desire to investigate leaks and find sources. If you think this is a justification, you will always be in favor of the surveillance of journalists.

> It's not always some grand conspiracy. At least in the UK, it's usually honest people doing their best and getting it wrong.

If they were honest, they'd admit that they neither believe in journalism, nor the protection of journalists' sources. Some do admit that, but most don't.
The Julia tools can target embedded devices through LLVM if it has an LLVM compiler. This is one of the big reasons for the juliac ahead-of-time compilation functionalities recently added to Julia v1.12, it's for the JuliaSim/ModelingToolkit.jl simulation environments to target embedded devices in this manner. We'll be sharing something on this at the MODPROD OpenModelica conference early next year.

As for C code, we're working on it through JuliaSim. JuliaSim's modeling language is very similar to Modelica in some aspects (Mike Tiller who is in this thread and the author of many of the main Modelica teaching tools is also one of the creators of this language), though there were some breaks which were required in order to make better downstream integrations with the Julia stack and in order to modernize development workflows (integrations with package management, some new langauge features, etc.). Part of what we're trying to do is solve exactly where Modelica got stuck: embedded code generation and other "non-GUI workflows" (CI/CD for example) and making those first-class integrated with the declarative modeling language. There's still a good amount of work to do but we've already started trickling out some results in this direction and running workshops on the tools at Modelica conferences.
I'm more than willing to accept anything you say about French, but I'm talking about - not an ambiguity - but an implication in English.
Coalton is used in production for quantum computing systems and soft real-time control system automation. There are also (a small number of) Coalton jobs.
I initially thought interactive meant you could "touch" the hologram and have some programmed response occur, but it sounds like it just means you can interact with it via a computer and touching it would immediately stop the spinning display :/. Pretty cool though.

I think these spinning displays ultimately won't catch on for very many uses since you can't actually interact with them, but for public exhibits and other uses where you just want to see a 3D image that changes it could be cool.
> Getting to the bottom line: The FTC’s bipartisan Junk Fees Rule and your business

https://www.ftc.gov/business-guidance/blog/2024/12/getting-b...
CRDTs and Collaborative Playground
Passkeys are cryptographically phishing-resistant, and password managers just disable a convenience feature when a heuristic check fails. It's not the same thing. I don't care if you feel like the latter protection is sufficient for you or should be for others; they simply aren't the same, and that was what the comment upthread suggested.
> 99% of users who start the passkey registration flow complete

What about the flow where 99% of users don’t know how to back up and restore passkeys and get permanently locked out of their accounts?
Sure there’s definitely some of that. That doesn’t “explain why” (OP) code is complex nor does it prove there’s a “cartel” (GP) trying to gatekeep software engineering.
When a consumer can point to a major bug or security vulnerability that the manufacturer has not fixed within a reasonable period of time.

That said - I think the above proposal is "release it immediately for the eventuality where they stop supporting it", not "require it be released when they stop supporting it".
>When someone refers to "The X people", they are referring to the Nationality.

That's just not true. Here are some counterexamples:

- The Kurdish people

- The Jewish people

- The Burman people

Furthermore, "the Irish people" would be not be taken to include a German who moved there.
One big selling point of passkeys is that almost every workaround is impossible, whether that is good security or bad UX or both seems to be under discussion
hey, thanks for the shoutout!

I love the idea, effectively allowing going towards a direction where the right platform for the right job is used, and it is very much in line with where we are taking things towards. Another interesting project in that spirit is sqlframe: https://github.com/eakmanrq/sqlframe
I can only hope if this happens, that Honda calls the shots.
Maybe the KDF gets really slow with a super long input.
California emissions used to be a thing. California light emissions could be too.

No California Light Resources Board sticker on your headlights and you get a ticket. Give it at the same time as you get one for no front plate. Somehow cars are sold without front plate holders installed even though they're mandatory in California, too :P

But yeah, I'd welcome rules in California as a first step if the feds can't get it together.
Some of it includes opposition against Israel's military campaigns in Palestine.

First off, this is in regard to an entirely different piece of legislation (the Terrorism Act of 2000). But more importantly, you are making a very significant distortion here.

No, people do not get arrested under this Act for holding up signs saying "IDF bad". Or otherwise for "opposing Israel's military campaigns" like you are describing.

Instead they get arrested for things like making statements which seem to indicate support for groups like Hamas, or for "Palestinian resistance" generally. Per the actual language of the act, "expressing a belief in support of a proscribed organistion."

You can be opposed to the Terrorism Act if you want to, and I would happen to agree with you - it is a horrible piece of legislation.

But the bigger point (for now) is -- the actual situation, in terms of what the Act prohibits, is very different from what you're describing.

I'm not saying you're lying. More likely you've ingested some news articles which either intentionally omitted (or never bothered to investigate) key aspects of these cases. It actually takes some digging to find the various people arrested under this Act (folks like Sarah Wilkinson and Richard Medhurst) were actually charged for.

But invariably (at least in the cases I've looked at) it turns out that, lo and behold, these people actually did make statements online that were clearly "in support of proscribed organisations". In the Medhurst's case, for example:

”Hamas are fighting the same war of national liberation against an occupying power. It is their moral and legal right.”

Which is rather different from simply indicating "opposition against Israel's military campaigns in Palestine".

Your response is chock full of weird distortions like this -- way too many to unpack and patiently analyze.

Point being: if this is how the truth gets mangled and distorted inside your own head; or you simply choose not to vet and fact-check your sources, at least once in a while -- then that's a situation which you've created for yourself. Not the doing of some totalitarian government, or any other kind of external bully.
The data seems a bit strange. The peaks better align with our good old COVID, than with the semaglutide prevalence.

So it might be reading complications from COVID, rather than semaglutide.
Proton Pass does this. It's browser extension will also generate and store passkeys in your Proton account making it accessible to any device.
> I'm saying that the world which passkey advocates want is a world where if, for any reason, you can't log in with your passkey (due to a lost/broken device, a software bug, whatever), you'll be locked out of your account.

Can you point me to a citation or two where passkeys advocates claim that passwords must go away and/or account recovery mechanisms must be abolished?
> Brazil already has many nuclear reactors that are in some sense "totally based on Brazilian technology" and has for decades.

I only knew of the three commercial reactors, the third of them under construction for something like four decades and still far from done (and they are also mostly foreign technology AFAIK). So I went looking, and it does seem there are a couple of decades-old research reactors I didn't know about: https://pt.wikipedia.org/wiki/Lista_de_reatores_nucleares_Br...
Nvidia Introduces Device Aimed at Small Companies, Hobbyists
I think you raise an excellent point, and can use your point to figure out how it could apply in this case.

All the tools that are stirrups were used "by the horse" (you get what I mean); that implies to me that so long as the AI tools are used by the programmers (what we've currently got), they're stirrups.

The steam engines were used by the people "employing the horse" - ala, "people don't buy drills they buy holes" (people don't employ horses, they move stuff) - so that's what to look for to see what's a steam engine.

IMHO, as long as all this is "telling the computer what to do", it's stirrups, because that's what we've been doing. If it becomes something else, then maybe it's a steam engine.

And, to repeat - thank you for this point, it's an excellent one, and provides some good language for talking about it.
The most interesting aspect of GLP-1 agonists is indeed the reduction of inflammation.

All the effects on the mind like reduction of addiction, compulsions, craving have a
direct basis in neuroimmunobiology. Neuroimmunopsychiatry.

As I see it, it’s a productive and reasonably accurate view to look at things in the way that inflammation is suffering. Neuroinflammation and suffering being one and the same.

In addiction, in craving, there is neuroinflammation. In getting the fix there is a reduction of inflammation.

Neuroinflammation also makes us angry; it’s behavior-modifying from a social point of view too.
You make a lot of qualifications to your original statement in this follow up! You'd be a lot more successful getting your point across if you wrote clearly to begin with, instead of starting with obviously untrue hyperbole. Another way to frame it is that "government showing up at your door" very frequently doesn't end up with billions dead.
To a first approximation no normal person uses a password manager (people find them extraordinarily hard to use; source: did trainings with a bunch of different cohorts), and the two solutions do not have "about the same level of protection". I watched a fintech company try to get people to stop relaying credentials through SMS with scammers, and that problem was practically insurmountable. I do not believe "autofill" is the fool-proof defense you think it is.
Tesla wide releases v13 'self-driving', Elon says your mind will be blown again
Related: last Sunday (December 15th) was the *luna*stice - the northernmost endpoint of the moon's 18.6 year cycle during which the rise/set points move between north and south. On Sunday it was as far north as it gets, and for the next generation it will move slowly south and then back again.

This cycle has been known to some humans for more than 3000 years, and appears to have helped structure architecture/layout at various American locations such as Chaco Canyon (New Mexico) 1000 years ago. It takes a minimum of 3 generations to establish the cycle, which indicates something about the level of social and scientific organization in these societies.
I have a phobia of these type of scenarios. During my career I've never had a problem presenting or doing demos for large groups. I've presented to high ranking military officials, company zooms, etc. No problem.

Ask me to give a speech on the spot at my father's birthday party? I cower in fear. Same when my mother passed away. I wanted to say so many things, but I couldn't get over the anxiety. You're not alone.
The article mentions that such organisms may be able to subsist on nutrients which lack chirality.
Homotopy type theory
(HoTT) https://en.wikipedia.org/wiki/Homotopy_type_theory

/? From a set like {0,1} to a wave function of reals in Hilbert space [to Constructor Theory and Quantum Counterfactuals] https://www.google.com/search?q=From+a+set+like+%7B0%2C1%7D+... , https://www.google.com/search?q=From+a+set+like+%7B0%2C1%7D+...

From "What do we mean by "the foundations of mathematics"?" (2023) https://news.ycombinator.com/item?id=38102096#38103520 :

> HoTT in CoQ: Coq-HoTT: https://github.com/HoTT/Coq-HoTT

>>> The HoTT library is a development of homotopy-theoretic ideas in the Coq proof assistant. It draws many ideas from Vladimir Voevodsky's Foundations library (which has since been incorporated into the UniMath library) and also cross-pollinates with the HoTT-Agda library. See also: HoTT in Lean2, Spectral Sequences in Lean2, and Cubical Agda.

leanprover/lean2 /hott:
https://github.com/leanprover/lean2/tree/master/hott

Lean4:

"Theorem Proving in Lean 4" https://lean-lang.org/theorem_proving_in_lean4/

Learnxinimutes > Lean 4:
https://learnxinyminutes.com/lean4/

/? Hott in lean4 https://www.google.com/search?q=hott+in+lean4

> What is the relation between Coq-HoTT & Homotopy Type Theory and Set Theory with e.g. ZFC?
Whether or not they're the same as a bit of a red herring, the question is whether the marginal added benefit of cryptographic phishing resistance is worth the trade-off in UX which introduces new kinds of vulnerabilities due to undesirable user behavior and/or implementation workarounds. And to answer that question you can't just dismiss the security offered by password managers—it's a very real protection that needs to be factored in to your assessment of the strengths and weaknesses of each system.
thanks a lot for the kind words, James!
In my opinion, matters of respect and kindness are given more than due consideration at death and perhaps only then for most people. Sure, go to the funeral and pay your respect, show how much they meant to you, but perhaps, do it much before. Do it way before death is even a thing.
I was just thinking about him yesterday while browsing HN, wondering when the next post would drop.
Threshold for semaglutide use seems pretty low. And the article mentioned that its 'usually' diabetes patients which I took to mean it even included users who were overweight but not diabetic.
Childcare is very personal, especially for those with means to access a wide variety of childcare options. US tech companies don’t offer childcare because it’s not something desired by the employees. There are a few reasons for this:

1. Everyone wants the “best” for their kids. When I think of the “best” childcare, I imagine some specialized program with excellent caregivers and a multitude of enrichment opportunities. I don’t think of a company-run daycare.

2. Many people don’t live near work. You want your kids’ friends to live nearby.

3. You want to provide stability for your kids. Tying daycare to your job is antithetical to that goal.
Agree. The mods should edit the title to the original one.

I agree titles should not be editorialized. It happened because I read it on Reddit and accidentally got the url for the article correct, but posted the title it had on Reddit out of my clipboard.... Hopefully mods can fix it.
Take it up with the person who said the two countermeasures were literally equivalent. You're not going to get anywhere with me on this.
In the post-COVID world we have, it may be easier to find a place that sells beer and wine late at night than a place that sells Listerine.

(Or at least around here in my part of the States, where things like grocery stores were commonly open 24/7 prior to spring of 2020 and now close no later than midnight...while the convenience store on the corner will still cheerfully sell a bottle of whatever until 1:00AM, and will resume selling at 5:30AM.)
Do you mean diagrams as code? something like PlantUML https://pdf.plantuml.net/1.2020.22/PlantUML_Language_Referen... ?

If that's what you mean, then no. I do have plans to work on this in the future, but I am not sure when I'll get the time for that.

Or do you mean just generating a diagram and posting it to Schemio programatically? This is possible, but it's not documented.

All diagrams are stored in JSON by the way and the structure is quite straightforward, so it shouldn't be too difficult to generate it yourself
The way you push to migrate (even moving to a QEMU-hppa binary emulation environment) is the following equation:

cost(maintain) is the cost of keeping the system running as it stands right now, with the risk of 100% "it's gone" loss.

cost(recover) is the cost of rebuilding what you have from wreckage, including any monetary loss from SLAs.

cost(port) is the cost of operating plus the cost of ensuring compatibility at some level (or just "rebuilding it for functional equality"), with the inherent risk of Second System Syndrome.

when cost(port) + cost(maintain) < cost(recover) by some factor (say, cost(port)^2 ) then it's time to port the system in-place after documenting its behavior as closely as you can. If you have source, that's great -- it's a UNIX system, you should be able to dredge most of it over and might need to patch in parts here and there.
OTOH if you want something that gives you a REPL and everything directly on the hardware but is also not as slow as your typical interpreter, look at Forth.
With projects I work on it's over websockets, js/ts has builtin support, easy to log, debug, extend/work with etc.

Binary protocols have exactly same steps.

Redis is also using text based protocol and people don't seem to be bothered too much about it.
Show HN: Play the prototype of our RPG Game, where you can ASCEND to the ASTRAL
Ascend to the Astral Plane, to have conversations with GOD and get clues as to the whereabouts of your STOLEN CAR ;).

Playable in the Browser on COMPUTER KEYBOARDS.
Dupe: https://news.ycombinator.com/item?id=42442107
And passkeys only work with Microsoft OS, Microsoft Browser or some other thing that Microsoft controls?

Not hat I would ever imply that Microsoft has anything than our best interests in mind...
You are hurting them.

Take the hint and complain LOUDLY at your dealer until they do something about it.
Nice analysis of the OpenAI incident. The telemetry/DNS masking issue is a perfect example of how scale changes everything - what works fine in staging can fall apart spectacularly when all the pieces start dancing together in prod. Their recovery was hampered by a classic "turtles all the way down" problem where the tools needed to fix things depended on the broken stuff.
Cheap DIY TV Preamplifier with Inline Power
The Living Encyclopedia: Large Nature Model
Interesting! I have used plenty of LM317s with LEDs, but I never thought of using them to regulate brightness - I would just pick whichever resistor corresponded to the forward current specified in the emitter datasheet. Didn't realize that there was enough room on the curve to use current control as a meaningfully configurable brightness setting.
You just hit the share button for the passkey in Apple/Google Passwords/your password manager
You would think that, but most bike headlights are just throwing as much light as possible in a 180 degree arc so the rider can spot drop bears and other related hazards. It is so rare for someone to have a light that directs the photons downward like an automotive headlight. When I was looking for a headlight my local bike shop didn't sell a single model that had that feature, in fact they made a big deal about having 180 degrees of illumination and 1000 lumen output and an oncoming traffic blinding strobe mode. Also, the bike shop stock was hilariously overpriced for what it was. $5 of flashlight components in a plastic case and they wanted $80. It felt like the entire industry was being grossly overcharged and underserved.

I had to construct my own headlight out of a flashlight and a homemade deflector.

For example:

https://www.planetbike.com/products/beamer-700-bike-headligh...
And how are you supposed to take interviews and have the time to apply for jobs with a sick screaming toddler in the room?

I'll add that about 40% of children are born to unwed mothers in the US.

https://www.statista.com/statistics/276025/us-percentage-of-...

And, again, many daycares have moths/years long waiting lists. Daycare is a super local thing in the US and, in my experience, not really all that tied to CoL standards. I've personally been in year+ lists and have had friends where you can pretty much walk in and get started. It's quite variable.
If that's one of the big selling points then that's a problem, because workarounds are totally possible and actively implemented in the real world. As an obvious example: syncing passkeys is a workaround for their terrible UX that takes them further from the original design in ways that compromise some of the original security guarantees.
Early studies (1970's and earlier) used the antigen (hapten) di-nitro-phenol (DNP) to explore antibody diversity (how many different antibodies might be raised against a simple small molecule). DNP is very simple (non-chiral) structure that generates a diverse set of antibodies.

Whether an antibody raised against one structure interacts with a different structure is irrelevant to the question of whether an antibody can be raised to the other structure.
Proudly use "y'all" frequently in my everyday conversation, despite having zero other attributes characteristically Southern about me. As the article says it's flexible, is impossible to offend anyone with as far as I can tell, and just sounds good.
No… you can also sync with iCloud Passwords, or use a hardware token, like a Yubikey.
Only a true Texan can tell you the difference between "y'all" and "all y'all".
Large Nature Model (LNM)
We Didn't Evolve to Exercise
Delta emulator triples Apple's prices to encourage external clicks