skysight-inc/HackerNews huggingface dataset:
Lawvere's fixed point theorem as a generalisation of Cantor's theorem is a big result.

https://ncatlab.org/nlab/show/Lawvere's+fixed+point+theorem

Emily Riehl:

"The author is told with distressing regularity that 'there are no theorems in category theory' ...

Sadly, the majority of the theorems that are personal
favorites of the author were excluded because their significance is more difficult to explain."

(long list of theorems)

https://math.jhu.edu/~eriehl/161/context.pdf
So, the Green party has been ruining nuclear energy (and the whole country!) since the 90s? What kind of comparison is this? Letting nuclear power phase out was decided in 2011, nuclear was already down to 18% then. What point are you trying to make?
I've never heard anyone complain about filling the stratosphere with metal oxides, do you have somewhere I can read more about this risk? Naively, I would have expected that even thousands of 250kg satellites would be insignificant on the scale of the whole stratosphere (we're not talking about surface-level CO2, where we're pumping out gigatons per year), but I have no idea what that ecosystem is like. Is the metal oxide concentration measurable?

I do think this is a temporary issue; once the cable ISP monopolies are no longer valuable because anyone can just get Starlink, that competitive pressure will push down hard on those cable monopolies and infrastructure laws will have to return to sanity. Terrestrial ISPs with fiber-sharing requirements and appropriate infrastructure build-out could absolutely out-compete Starlink, but right now they can just collude together and lobby against changing the status quo.

I would much prefer to have a functional bureaucracy and intelligent, efficient infrastructure! But it's probably easier to fix that by launching the largest satellite constellation ever than by playing politics against some of the wealthiest media companies on the planet.
I love how you are questioning the one piece of factual information that is known with certainty. The CIA did investigate the origin of the virus, as did several other intelligence agencies. There was a report issued by the Director of National Intelligence regarding this and you can read much of it yourself on their website:

https://www.dni.gov/files/ODNI/documents/assessments/Report-...

If you are actually asking why multiple agencies would investigate this, it seems pretty logical to me: the different agencies have different capabilities, sources and methods that could shed light on a question that could potentially be extremely important to National Security.
Gene variation makes Apple trees ‘weep,’ improving orchards
The case with VDE is a good example, where the norms have law force.
In contrast DIN makes a specific statement, that the norms are just recommendations (as it should!) and have no law force. Even then, often through "state-of-the-art" obligations, they end up having law force. That is BAD idea.
> At this level, paying $3 per oscillator module for 2% higher reliability is more important than paying for a $0.50 XTAL and trying to save $2.50 per SKU.

I'm talking about oscillators and XTALs in this sentence. Not about Linux.

Anyone making relatively small run items (10,000 or less SKUs) knows what I'm talking about. Saving every penny is counterproductive at this level of production. The main goal is to cut development costs actually.

$2 more on the BOM? Whatever, did that save $10,000 on tooling and software? Definitely worth it. I'm bringing up oscillators and XTALs because XTAL is notoriously difficult to debug with standard lab tools. Its a physical device that changes with just 2pf and might only be running a few microwatts, so you need very low capacitance test equipment to directly debug XTAL issues.

Different tools and methodologies exist at different levels of production. That's all I'm saying. You do _NOT_ pinch every penny at this level, you just buy the more reliable Oscillator-module and avoid XTAL testing all together (saving a ton of money on development tools and development time).
I believe the primary benefit is the sandboxing, but I imagine there are secondary benefits such as that the host platform can be any CPU architecture or OS.
Ask HN: How can a I become skilled with popular front end frameworks quickly?
I'm a skilled data/backend/infra engineer who has been writing Python for ~8 years. I've written maybe a dozen lines of JS in my life. I'd like to be able to build a product with a FE component end-to-end on my own. Diving into the React or Vue ecosystems seems incredibly daunting to me. How would you get started on the road to mastering React or Vue? Online classes, tutorials, books, articles, etc.? Open to all sorts for recommendations.

I'm not looking for answers along the lines of "don't use React or Vue, it's too bloated." I'm aware of the what the ecosystem is like and that there are simpler alternatives, but for my purposes, I'd like to learn React or Vue.
Bonus - meth causes among other things incredible focus.
In 2 weeks, I'm supposed to fly to Japan for an anniversary/vacation, but unfortunately cancelled because I got sick.

Would we have tried this? Probably not. TBH I'm not sure that clothing is the biggest culprit for our luggage weight on the way there. And it's definitely not on the return flight.
https://archive.ph/2023.09.12-190858/https://www.nytimes.com...
can't get on the trains at Penn without assistance as I'm visually impaired and can't engage in the "see sign, bum rush train" system they've come up with. I don't have this issue literally anywhere else, as I can take my time finding the platform.
> Forgive me if I read this as “this isn’t my team reporting it so we shouldn’t trust it.”

How a biased third party views a source shouldn't color your own evaluation of its credibility. Individual politicians putting out press releases based on anonymous sources have never been credible. Both sides do it. The informed largely ignore it (unless you're advising a campaign).

There is also gradation in the quality of anonymous sources. Anonymous source providing sworn testimony to a Congressional subcommittee or the DoJ? Very credible. Anonymous source providing intel to a well-regarded newspaper on deep background? Credible. Anonymous source that "presents as" something being relayed by someone on the fringe of their party? Obviously not credible. Doesn't matter if it's Winstrup or AOC.

Again, nobody is saying ignore the subcommittee. Just, ignore this one dude who's putting out uncorroborated press releases.
Tesla Secures Over €148M to Build 7,200 Chargers in EU
> nobody has bothered to take the time to do it

In such case, we have a theoretical suggestion that «nothing is preventing this», but not an actual proof based on a "Turing test"-like scenario which would have specialists fooled, to corroborate that the new MIDI 2 would suffice.
The UI has definitely gotten shittier and shittier.
That happens here (US), also.

I got one that must have been mistaken, sent off the letter asking for evidence and it shows up from a new guy instead. Same letter to the new guy, it never returned.

There is one simple change I would like to see to the industry--if a debt is challenged it should be illegal to sell while the challenge clock is running and if it's not substantiated it should be illegal to sell, period. You should not have to play whack-a-mole with bogus or mistaken identity debt.

I would also like to see the FDCPA remedies applied to everyone--you should have the same causes of action even if it's not your debt.
> Yet if I had gone back to the room and merely pulled a single drink out of the minibar, I could have run up a $60 charge no problem!

Is it the kind of minibar connected to the phone line, where every item presses down a dedicated knob thus touching the item releases the signal to the system? The only time I saw something like this was in a hotel in US of A and viciousness of it infuriated me.
Yup, nothing says fun times (and mass spreader) like sitting in line and doing paperwork while sick.
A retrospective look at how Radio NZ grew audience and transformed into a multi-channel (web and radio) broadcaster
I know I'm going to bring down the mood, but that kind of engine should support android as a priority.

Godot does it, and it's an awesome alternative to Android Studio.

EDIT: although it supports WASM, and I'm curious how well does WASM works on mobile...
I confess I feel strongly in opposite directions on this. I'm pretty biased against YAML: I think it's way way too complex, and its "declarative" nature and broad feature set essentially make it a complexity magnet. I've seen hellish YAML files, and it's also pretty common to combine them with Jinja (or w/e) for extra hellsauce.

But it's declarative, which is really cool! What else would you realistically use for like, AWS infra? The JSON version is so much worse. Using Python or whatever is its own can of worms.

This is the kind of thing that stuff like CUE and Dhall are aiming at, and I welcome it. It feels like they're the way out here.
Yes but that's not their fault and they shouldn't be penalized for it.
> The next question in my mind is whether incorporating private standards into legislation without compensation violates the the takings clause of the constitution.

The standards cost money to produce, so it seems like _someone_ should pay for them, otherwise there'd be no incentive for the standards bodies to produce them in the first place. So I think maybe the best outcome would be a finding that these _are_ a taking, and that then governments who want to incorporate them by reference should have to pay to be able to do so (but then they'd be free to read to the public).
And SpaceX was going to get some of that grant money as well. But they messed it up somehow.
It's not the amount of property that matters, it's the location.
In that specific example not too much, but obviously there's a whole bunch of differences between TOML and JSON, starting with the fact that you can add comments as has already been discussed, and many more.
I imagine the total cost of installation and ongoing maintenance of all the infrastructure required for this proposed setup for a substantial amount of urban users dwarfs the equivalent total cost of just installing new cabling and the lobbying required to get that done, especially over a 20 year period.
What do you think is the biggest missing features from Godot that is in Unity?
Please stop scrolling so fucking fast and just let me read
Which cashier? The one that global grocery conglomerates decided not to hire? :)
As a pharmacist, I can't help but laugh. I'm guessing they're quiet because their peers see them as quacks. Most don't work huh? Cancer death and morbidity rates are falling like a rock. Antibiotics? Antifungals? Hep C cured? HIV/AIDs guaranteed death turned to decades of symptom free life? Hell, we wouldn't have an opioid crisis if the damn things didn't work. The premise is just laughably silly.

It seems some people see that placebo's can have effects in a select few paradigms of care and extrapolate that to "all drugs must be placebos." Which is just smooth brain conspiracy talk.
I suppose mostly superficial reasons such as liking the keyword syntax better that using string keys in json, but also the richer set of data types (like sets), although that mostly doesn’t matter in practice, but it is very nice when using Clojure since the Clojure types just work. As an interchange or storage format it’s also nice to be able to store Clojure types and get them back the way they were out in, which if using json you would lose some information.

Mainly it’s just personal taste and no deep reasons.
It's all over the media.
Just a note, while I experienced issues connecting with the Mullvad.app, running a Mullvad Wireguard config in Wireguard.app worked fine.
Posing as an IT person is the best way. I remember when NationsBank bought Bank of America (yes, it wasn't a merger) a friend bet another friend that he could get BofA root access.

He called the branch manager saying he was from NationsBank IT and was going to do a pre-merger inspection. He showed up, asked for the root passwords of the boxes in the branch, logged in, left a MOTD message, then left.

Needless to say they beefed up the training on that once the merger closed.
Yeah, I suspect they could have gotten my brother to pay the old full cost plus extra. Still, many people in rural areas aren't willing/able to drop $1k on Internet setup, so keeping costs down is worth more than gouging a few remote software engineers.
> Customer anecdotes report issues making reservations, using ATM machines, playing certain games and mobile key entry into hotel rooms, but Engadget has not independently confirmed these reports.

Will be very curious to see what systems were affected
Lua was originally designed as a config language.
Robot Fried chicken: entrepreneur seeks to improve S. Korea's favourite food
Yeah, it would play havoc with durable-goods industries in the last few years of the cycle.
Nothing forces Apple to use their own years-old USB controllers on brand new phones, which they're manufacturing right now. Nothing besides artificial market segmentation, I mean.
Regardless, I don’t see how making perfectly legal bad choices means you’re more likely to commit crime.

Perhaps we should also deny jobs to people who get divorced or who eat an unhealthy diet, as those can be an indicator of “poor choices”.
This was a question of what the reason was this happened, not doubting that it happened.

It feels to me like if the CIA would investigate a food contamination event. Unless there is suspicion of foul play, why? Or does every US agency do cursory investigations on anything just in case their expertise might be needed?
The League launches ‘GoalMate’ feature to help users find goal-oriented matches
Wormholes are tight. So tight in fact, that it's not entirely clear that traversable wormholes can exist.
that sort of thing works great if you can guarantee power to the device, 24/7. At least where i am. the moisture in the air at night will be pulled into the device, through whatever seals exist, if the device is unpowered. Then, during the day when the pressure inside the device increases (due to the seals), the extra air is released, but the condensation remains.

here, it takes literally 2 nights without power to kill stuff like Wyze cameras, Solar powered spotlights, etc. and those don't have a half inch rectangular hole allowing ingress.

I'm not saying that stuff like what you're talking about doesn't exist. I've installed relays that had "downward facing rj-45 behind a panel", on top of buildings... but the building had generator backup that we were shareholders in, as well as our own UPS systems that kept the POE enabled in the event the generator failed, but shut off all "data" to the radios, leaving them using idle power. If there were no generator, we'd have used a different type of radio on the roofs.
Security minded types might still stop you, especially since these are the kind of well-known scenarios that might get used in security training.

You want invisible? Be female, 40+, short but otherwise average build, any skin colour but white, black hair, generic cleaning staff outfit, and one of those carts with mops and buckets. Now you're invisible (racist, classist, and misogynistic biases exist, might as well use them).

(As a 2m tall person I can't blend in anywhere.)
Not really related but I really like the PhpBB skin

Looks very modern, not really like a “classic” old-style PhpBB with tons of annoying icons and signatures.
What's the point anyway? Just use a tunnel with DyDNS
I do not have proper training to handle this type of work :)
This principle is cited way too often in a more general way as it really apply. Is not so easy as "you must know every single rule, norm, law that exist, with no possible excuses". If you are not in a reasonable position to have access to the norm, you do, and it do works, can defend yourself on that basis.

I had successfully defended myself in two cases where the transit law was a little diffuse, but just saying "I understood it differently, I'm sorry"
I wonder if fmt.Printf() in particular is slow due to the CGo transition? Assuming there even is a CGo transition when compiled to WASM...
Hummm, i still prefered my Ti-book, to be honest, and would be very happy for a modern version of it.
Playing Around with Machine Translation
While efficient, I’m not sure that removing the final human touch from what is otherwise a faceless, dehumanizing process is going to be great for candidates.
Hammer2

There is a port of Hammer2 being worked on for OpenBSD/NetBSD/FreeBSD/Linux.

I can only hope the developer delivers this to OpenBSD and someone then maintains it since the developer, based on the readme, doesn’t appear to want to maintain OpenBSD or NetBSS longterm.

https://github.com/kusumi/openbsd_hammer2
XDP ate my packets, and how I debugged it
> Yet, macOS seems to get buggier and buggier between releases. Something about the way it's being developed right now is going very wrong

This is a common trend in the SW development in the last decade. Aparently bug fixing is hard and expensive, that's why they concentrate on new features or, in extreme cases, complete rewrites (GTK).
Funny, just two hours ago I saw my first Starlink satellite train running across the sky. It felt spooky and futuristic at the same time.
>I also know some older people that have exercise and eating right as part of their regimen and rarely take any medication.

Not to be pedantic, well actually let's be. But this is pretty poor medical thinking. Are patient's not on meds at advanced age because they exercise? Or are they able to exercise because they're otherwise healthy and feel good? This kind of simplifying causes a lot of harm in medicine and a lot of patient blaming.
Internally, Kubernetes uses a key-value structure, and it doesn't mind what syntax you use to write your configuration files as long as it is passed via the HTTP+JSON API correctly. It's a relatively pedantic detail, but I think it supports the argument that YAML is the best tool for the job currently. Kubernetes' architecture would make it trivial to add TOML, XML or even s-expression support into the CLI tooling, but people don't seem to particularly want to.
>because otherwise you get half of Romania moving here

That was uncalled for. You could have easily made the same point without generalizing a whole nation.
Bevy Engine: A data-driven (ECS) game engine built in Rust
In order for a rate limit to be effective, at some point it has to apply, and at that point, I'm told "no." More concretely, in order to implement a rate limit, you have to sign an electronic log book, and the government can view that log book whenever it likes, without any sort of review or auditing, of course.

This isn't the primary concern anyways, the point was, in order to implement this seemingly simple action, many liberties have to be sacrificed and the boundary between innocent and criminal and government and private business become significantly marred.

Perhaps those sacrifices are immaterial to most lives and could be ignored without consequence, but the originalist in me says this is folly, and as I've shown it's easy to think of the dangers that some innocent people might endure as a result. Worse, comparing these dangers to the outcomes of the system itself, the whole endeavor seems to have negative value.

Finally, as we've seen in history many times, now that this electronic logbook exists, it's use will naturally continue to expand until the government has secured for itself the right to view nearly every single "questionable" purchase you make at a pharmacy.

It's an entirely unaccountable act from the government. I'm not sure why anyone would expend effort minimizing it.
Google Sheds Hundreds of Recruiters in Another Round of Layoffs
https://github.com/google/deepdream
It consolidates Go compiled to WASI as an alternative of doing containers.
Linux containers don't "Run anywhere." as docker.io says. You need a specific architecture and kernel features, which is not obvious from afar.

There's also other benefits. Example: the team I work on compiled Kyverno, a CNCF K8s policy engine written in Go, to a WASI target. We are building Kubewarden, a CNCF policy engine where policies are Wasm binaries shipped in OCI registries. We strive to build "a Universal Policy Engine".
Now, we have an experimental Kubewarden policy `kyverno-dsl-policy` that allows you to reuse Kyverno DSL with us.
We also provide WaPC as a target, more performant and secure, hence normal SDKs for Go, Rust, C#, swift, typescript... In addition to supporting Rego, again compiled to Wasm.

IMHO you only benefit from the real sandboxing from WaPC, as WASI's posix-like interface allows you to attack the host.

The next step for the official Go compiler is to export the function symbols, to allow for WaPC.
The new iPhone's key features have been known for months – thanks to leakers
"Oh, Dad..."

Seriously, my late father _loved_ that joke, as do I.
Do you have a source for this?

> drug abuse being primarily being a function of the existence or lack of interpersonal involvement and responsibilities that would preclude spending time and money on them

AFAIK there have always been addicts in every culture. Alcohol, various drugs, and strongly self destructive behaviors are not recent additions to the human experience. But I don't know any if the numbers or the research on this root cause you mention.
Why the United Auto Workers want big raises
The app teaching Somalis to read and write
Personally, I am looking at Pulumi.
Hidden Costs of Memory Allocation (2014)
It's none of their business. Simple as that.
Wow this is the coolest thing. I was looking at trying to build a DIY raman spectroscope and you can make one of those for under 100$ [1], but near-IR spectroscopy opens up more possibilities for sure. From what I understand (I'm not a scientist but I love the idea of having access to these tools) raman spectrscopy is limited to asymmetric crystalline molecules, so you can't really get a good reflection off of say salt to get a reading. (Edit - Looks like Near-IR is complimentary - "Raman active vibrations aren’t visible in the infrared for molecules with a symmetrical stretch. Similarly, infrared active vibrations aren’t visible in the Raman spectra for molecules with asymmetric stretch. This is known as the Principle of Mutual Exclusion and is what makes NIR and Raman Spectroscopy complementary techniques." [2] ) What we're really hoping to find out is if we can detect stuff like pthalates in plastics and heavy metals such as cadmium in metal products, I understand we'll probably just want to send things off to a lab to get GC/MS done for those things after talking to some people who have more experience than I do but I still want to see if I can build a bunch of these raman or near-IR spectroscopes for pharmacies in the third world. Counterfeit drugs are a real problem out there and they don't need to be.

[1] https://www.hackteria.org/wiki/images/a/a0/MobPhone_RamanSpe...

[2] https://www.labmate-online.com/news/mass-spectrometry-and-sp...
I don't think they were anonymous to the people they blew the whistle to. I think the people they blew the whistle to are keeping them anonymous to the public.

>Now, Representative Brad Wenstrup (R–OH) ... says his panel and the House’s Permanent Select Committee on Intelligence have heard testimony from a whistleblower “who presents as a highly credible senior-level CIA officer.”
...and your SSN, and your driver's license info, and all the other personally identifying information they collect and store in the DB.
Pentagon unveils ‘Replicator’ drone program to compete with China
Sure, but there isn't even an offhand remark about how hacky this kind of polling is. It's presented as if it's a completely normal way to do things in reliable software.
This is the one I have
http://www.amazon.com/exec/obidos/ASIN/B0B8RKXK9R/donhosek

It’s been in use for a year with not a single issue. I set it up with my phone and have been able to forget about its existence ever since.