skysight-inc/HackerNews huggingface dataset:
> FAA have spent a lot of time thinking about how to keep aviation secure in a GPS denied environment, which is their basis for the *build out* of the VOR MON

That’s an interesting characterization, given that the MON is a list of VORs they are not planning to take down.
Whatever it is, over the last couple of years it got a lot smarter. Did you?
Mitigating Exaggerated Safety in Large Language Models
Yes, he is largely incompetent but with a great nose for picking up good companies: https://news.ycombinator.com/item?id=40066514
As a small nit, the reason Rust has pairs of types (String vs &str) is not due to mutability, but to allow references to substrings.

A String is an allocated object, with a location and length. A str is a sequence of characters "somewhere", which is why you can only have references to str, never an actual str object. Cstr and Osstr are similar. You could use &[u8] instead of any of them, but the stronger types enforce some guarantees on what you'll find in the sequence.
I Feel like were having two different conversations here. Who said anything about optimism? Are those the two options now optimism or doomerism? No space left for anything approaching realism?

I criticize blind techno-doomerism for its use of clanky old worn out cliches from the sci-fi of last century. I criticize LLM bros for being naive and blinded by advertising. Both groups completely misunderstood the relevant sci-fi from this century, if they actually bothered to read any.

Sometimes between the rabid hype-bros and the holier-than-thou doomers you can find actual conversation about the nature of human interaction with theoretical future machine intelligence, how LLMs relate to that and the technical aspects of creating such a thing. Its rare but it is out there.
> However, it is equally possible for individuals to reject these influences.

The crux of your thesis is a legal point of view, not a scientific one. It's a relic from when Natural Philosophy was new and hip, and fundamentally obviated by leaded gasoline. Discussing free will in a biological context is meaningless because the concept is defined by social coercion. It's the opposite of slavery.
True...but telling which of their "truths" are actually true can be truly difficult.
I mean, Its dangerous to exist in the same space as a potentially advanced aliens. Might as well observe them.
https://archive.is/iqwiX
Japan is an incredibly paternalistic society that makes heavy use of peer pressure to enforce social norms. As the writer notes the government literally taxes all your coworkers if you are fat. It sounds unbelievably humiliating. Im happy this works for the japanese but personally have zero desire to live a society like that.
He's 52. And running multiple companies. Aspergers is not a justification for his shitty behavior (and blaming this behavior on Aspergers harms perception of people with Aspergers)
Another vote here for pikuma.com. Their 3D graphics course is a must!
Well for starters that Kiwifarms killed Byuu. There is no evidence that it was bullying or harassment from kiwi farms that caused his him to commit suicide.

I mean, there is no evidence of claims against Fong-jones apart from the allegations recorded in the hacker news thread (and the admission of a "consent-accident"), and I've never seen actual evidence of kiwifarms being the actual cause of Buy's death, yet it is repeatedly claimed as such.
It is to be managed and never fully trusted.
Wait what? I was just listening to the former chief economist of Banknof England going on about how terrible productivity (in the UK) is.

So who is right?
It's fun, reminds me of an early version of Semantle.

Font size as a proximity indicator is a neat idea but also kind of annoying in practice, because it's hard to have an intuitive understanding of how close or far you are. Would suggest a numeric scale.

But that's a very minor nitpick, cool concept!
I don't know if you have already played it, but https://contexto.me/ is probably the best UI I've seen for semantic word guessing games. It is simple enough that it can fit on a phone screen and only displays the rank of previous guesses in a bar that fills up more on guesses that are closer
I agree with you. Siri has its limitations, but also has an truly massive scope of users that are served.
Some instructions would have made this interesting.
I can’t upvote this enough. The average person doesn’t wan’t a semibroken digital god (ChatGPT), they want to know the weather (Siri, when it works).
>This is the same question as why you can’t emulate a game by precompiling its code, and this doesn’t work because that information isn’t available until you try to run the game.

I mean technically you can, but it generally requires a bunch of inefficient jump tables, or alternatively a way to fall back to an interpreter or JIT for self modifying code.
Yes, still to create those pages. I have improved the guide further and placed the entire script at the end.
Yes, of course, narrow that down to the crazy wolf-of-wall-street subset.
Checking page source, font size seems to imperceptibly vary (20.48px to 21.33px for me, after my guesses). More useful is that the list appears to be sorted so that closer guesses are at the bottom of the list.
From the abstract:

> We subjected F0 mice to odor fear conditioning before conception and found that subsequently conceived F1 and F2 generations had an increased behavioral sensitivity to the F0-conditioned odor, but not to other odors. When an odor (acetophenone) that activates a known odorant receptor (Olfr151) was used to condition F0 mice, the behavioral sensitivity of the F1 and F2 generations to acetophenone was complemented by an enhanced neuroanatomical representation of the Olfr151 pathway. Bisulfite sequencing of sperm DNA from conditioned F0 males and F1 naive offspring revealed CpG hypomethylation in the Olfr151 gene.

> In addition, in vitro fertilization, F2 inheritance and cross-fostering revealed that these transgenerational effects are inherited via parental gametes.

Fascinating implications. It will be interesting to see if this can be replicated.
There is not much difference in the capability of human experience. I bet a baby born in 494AD, teleported to the modern period and raised by modern humans will be indistinguishable in capability to every other human being.
> How is this materially different from training a GPT on those same pieces of code, and then asking it to construct a scheduler?

I am saying sometimes GPT doesn’t do the thing you’re describing. Sometimes it produces exact copies of something that it was trained on.

When it does that (not a “superficially similar” one, but an exact copy) can OpenAI be held liable for copyright infringement?

Because it seems like they want to avoid liability on both ends. They don’t want to be liable for copyright infringement based on ingesting works, and they don’t want to be liable when their tools produces a *copy* of existing works.

I don’t think that’s an acceptable framework.
cdk8s*

The project, afaik, is abandoned, but it does still work quite well. I use it for my homelab: https://github.com/shepherdjerred/servers/tree/main/cdk8s
> Almost all Jabber clients (that have had any update in the last 4 years) use different AND INCOMPATIBLE versions of OMEMO.

This is false. You can see the reality in this data (excuse the URL): https://data.xmpp.net/explore/xmpp?sql=select%0D%0A++softwar...

As you can see, practically all clients are on the same version (0.3). The outliers are UWPX and Kaidan, which both took the unusual decision of being incompatible with the rest of the ecosystem without working on the upgrade path.

UWPX is not actively maintained (no releases for a couple of years, and the Github repo is archived).

That leaves Kaidan, which is (as far as I know) actively maintained and they deliberately chose to be incompatible with the rest of the ecosystem (for now). I agree it's an unusual choice, but the XMPP ecosystem is diverse and not centralized and nobody can control what people want to do with their time spent working on their open-source projects.

EDIT: To clarify some things that are probably non-obvious to people outside the XMPP sphere, the link I gave shows Prosody and Mongoose as supporting OMEMO 0.8.3. They are not clients, but servers - they are compatible with all versions of OMEMO and so are not relevant when it comes to interoperability. And QXmpp is the backend library of Kaidan, by the same developers.
LLMs don’t excel at love poetry. However love poetry doesn’t have to be excellent to be effective.
"I'm worried that if I always do that, I will lose my ability to think and solve problems"

Pro-tip: Asking others for help is how folks have learned new stuff, since forever.
You don't have to use CDK8s in an imperative way. The benefit is you get _really_ good typing, which makes writing infra much easier than YAML.
> the person killed in such a manner would surely generate a human-sized pile of Ice 9, which would pose a much greater threat to humanity than any AGI.

Oh okay, I didn't really grok that implication from my brief scan of the wiki page. Didn't realize it was a cascading all-water-into-Ice-Nine thing.
Care to elaborate on both counts? I’ve been using it for years and have had no auth issues in my use case at least. I mainly use it inside lan only though I do have a firewalled instance for a couple public services I host, but I haven’t heard of any security issues, I sort of assumed it had a similar attack surface as regular Nginx as that’s basically all it is.
That's great. Yep, I'd been using Nginx for similar reasons, but after I found out about HTTPD now supporting url rewrites and relayd being able to do pretty much the same things that Nginx can do, I figured it was much better to switch to a pure OpenBSD solution for web servers.

P.s. The guide should feel a lot cleaner, I fixed some issues with it as well as a problem with the way the relayd.conf was being generated and also added the full script at the end of it.

Good luck!
Regardless, it's off-putting to potential customers.
GPT4o Computing an Inverse of a Stoplight
That was a good read, thanks. Bookmarked
Many years ago, my dad worked down in Dallas. And there were so many people moving there, that schools had classrooms in trailers while they built new, larger schools. And then when those larger schools were completed, so many people had kept moving that they still had classrooms in trailers. I don’t fully understand why planning for growth is so hard. I believe that it is, I just don’t get it.
No, you're throwing away a random selection of 50/50. You would have to flood the algorithm with uniques or commons to set the algoritm to a probability of a known state.
Most lay-person discussion of black holes just ignores the spaghettification and radiation problems. Those don't really have anything to do with space-time or information propagation or cosmology or such, those are just limitations of material strength and biology.

The discussion is more like, if we had infinitely resilient materials or biology, what could they observe and experience.
Very crude.

Unusable infrastructure counts towards GDP as well, if I'm not mistaken.
On Firefox@Linux, the font was always the same size in the first game, but in the second game it wasn't. Not sure what bug you're seeing but I thought it was broken at first as well, now I think the distance algorithm is just broken for some words
I don’t know the stats because they’re obviously private, but I’d suspect that 10x more people use Siri than chatGPT and Gemini every day. I would much rather that they focus on improving Siri’s voice recognition and increasing the number of actions it can take, rather than trying to make it a general purpose talking computer.

I use Siri all the time to set reminders and alarms, to control devices, and to change buried settings like auto brightness etc.

What I care about is responsiveness/latency and accuracy, not having the thing pass the Turing test.
That's probably the first one that's actually been kind of fun. I still don't understand the relationships between the words but it did very well.
Well, that seems like a good idea, but will that lead to a larger rise in more anonymous services? It also seems like KYC (know your customer) style laws may be incompatible with ECD (E-commerce directive, similar to USA Section 230) laws too.
> Indeed, one reason to outsource stuff to a handful of giant providers is that they do a much better job of security overall.

Is that really true?

Shifting infrastructure to the cloud makes it cheaper, it reduces the incidence of security problems, but it magnifies the impact of security problems when they do occur.

Is that a "better job". How do you measure that?
The guy did pioneer 3D gaming, improve linux networking in the process (to support his games), build vertically landing, reusable rockets years before SpaceX's and play a pivotal role in modern VR.

I would not bet against his understanding on technical topics where he's done a serious deep dive. Also it was more than a year, not just a week.
It doesn't even make logical sense. If someone asks you about the NDA what are you supposed to say? "I can neither confirm nor deny the existence of said NDA" is pretty much confirmation of the NDA!
Exactly. Many programmers don’t want to worry about edge cases, and cross platform GUI frameworks are essentially coding an “oops all edge cases” project.
The back of my head is screaming "defense in depth! Redundant systems!"

The whole idea of the internet (and even some of our infra, like suburbs or highways/rail) is that there's no one single point of failure. Like designed-to-survive-nuclear-war redundant.

Definitely incorporate the most advanced tech you can for when things are going smoothly to get that efficency gain, but there's a reason all branches of the military (that I'm aware of) still train and test their aptitude using paper maps and trig instead of relying 100% on GPS and electronic devices.
The original Redditor deleted their post. My guess is that the failure mode is "I made it up".
“Spaghettification” only happens to large enough objects near small enough gravitational sources. If the Moon got too close to the Earth, closer than the Roche Limit, then it would break up into a ring of debris. But a communications satellite can exist at that same distance with no ill effects.

The same is true for black holes. A rocket or a human diving into a stellar mass non–spinning black hole would be “spaghettified”; they would be broken up into a thin stream of debris as they crossed the Roche Limit before they crossed the event horizon. But they could cross the event horizon of a much larger black hole, such as a supermassive black hole at the center of a galaxy.

In fact, if the black hole were massive enough then the gravitational field near the event horizon would be so mild as to be Earth–like. If you were to stuff all of the mass of three or four Milky Way–type galaxies into one black hole, you could build an actively–stabilized structure around the black hole to create a livable environment of truly insane proportions with Earth–normal gravity. Look up Birch Worlds sometime.
Often times, you can research the chemical composition of odors by searching for its name plus GCMS.

The Good Scent Company is a free online database of natural materials, pure aromachemicals, and formulae.

Issues of the trade rag Perfumer & Flavorist are available for free online and there will be content about GCMS, chemistry, and formulating.

Basenotes is a forum for amateur perfumery that may have relevant conversation.

And there are the manufacturers of chemicals used in fragrance and flavors: Givaudan, IFF, Firmenich, Symrise, and others. Their catalogues and the vendors that sell them (some even in small quantities) can be valuable resources just for exploring the space.
Periodic reminder that Myers-Briggs types are pseudoscience [1].

[1]: https://en.wikipedia.org/wiki/Myers%E2%80%93Briggs_Type_Indi...
Google phones now have the option to use the old or new assistant.

The new version breaks almost every usecase for assistant.
I think the kind of problems we do in italy aren't just "solve this", they are more "understand this text, then figure out what you have to solve, then solve it"
I think drill sergeants use the same technique.
Indeed, and my experience comes from being a musician. I'm in a jazz quartet, but both of my kids are in string quartets, one is a professional.

One thing that might make it hard to study is that the cost depends on the event and what's actually being delivered. Everybody charges a premium for weddings and corporate events. But those things also have to run absolutely like clockwork. On the other hand, the bands I'm in are also happy to charge a lower price for a "budget" wedding that isn't a $100000 Disney blowout.

Everybody charges different if travel is involved. What most ensembles do is, first, book as many high-dollar gigs as possible. Then, fill in the holes in the schedule with lesser gigs. The best musicians in my locale will take a $50 gig if the alternative is staying home.
The argument “pay more to get better quality” would be valid if, indeed, paying more meant better quality.

Unfortunately, it’s something I’ve often done, either as a 30% raise for my employees or giving a tip to a contractor when I knew I’d take them again or taking the most expensive one.

EACH time the work was much worse off after the raise. The sad truth of humans is that you gotta keep them begging to extract their best work, and no true reward is possible.
Part of this is that nobody has cared about security since the beginning, for basically anything in tech.

It’s an industry-wide issue that permeates every level of the stack. And so yeah, individual companies trying to retrofit security onto a jenga tower of technology is going to have to spend a ridiculous amount of resources to have any kind of impact.

I don’t know what the answer is, but I too believe things won’t change until the day someone figures out how to push a “kill all humans” OTA update to all the self-driving cars on some random Tuesday afternoon.
Congrats on the launch! It looks well-made..

Also, third Show HN submission so persistence and faith paid off..
OpenProject is generally open source. Some key features exist outside of the open source license.

Their hosted options though, seem reasonably priced.
Hand tuned dialogflow pipelines vs generalized transformers
A Map to 'The Honest Broker'
International Scientific Report on the Safety of Advanced AI [pdf]
Contra the Dourado-Tainter Story
Cool! It's a fun challenge to come up with a meaningful hint system. Here's mine from 2022:

https://greatfilter.itch.io/lexicode
Why is China producing so many export goods, anyway?
I don't think you can make the case that nations' BMI is inversely correlated with peer pressure. For one it's difficult to measure, and that tax for example is a new phenomenon. The US has been an early leader in obesity trends, by way of pioneering mass produced junk foods / fast foods and seeing mass adoption early (and you can make the case for other environmental influences like being a nation that began to be built for driving rather than walking).

Other countries who clung on to "old ways" longer had the benefit of seeing the outcome of US approach in this respect and there is little resistance/pushback to both cultural trends and policies meant to deter obesity.

All of which to say I don't think Japan's relatively better health outcomes has to do with exceptional peer pressure. Many European countries are more culturally individualist (though less than the US) and still come out better than the US.

The other point I would argue is that there are social pressures everywhere, the expectations are merely different. You can also distinguish some by political divide.
Chess as a leading indicator of artificial superintelligence
I think the intent of the article is to express that the obesity epidemic should be treated like a problem of culture and society and not an individual.

Eastern societies have different ways of dealing with things than Western, and that’s ok. A person should not feel humiliated, but that’s a relative feeling by culture - the law seems to be working for them.

I am obese myself - whenever I visit Asia (China, Japan, Vietnam, India etc.), the difference in diet and daily walking lingers on for a bit back here in the US but I regress to the ‘cultural mean’ here very soon. At least I know I can change my habits when the right support system is around me.
It's interesting that when they forked in 2011 they switched from a RoR app to an SPA (angularjs then angular) + REST api to be able to get better UI interactivity. Now it's 2024 and after we've had SSR and hydration, JS frameworks are moving to even tighter integration between client and server (for example React Server components).
>The whole idea of the internet (and even some of our infra, like suburbs or highways/rail) is that there's no one single point of failure. Like designed-to-survive-nuclear-war redundant.

The reality of course is that the internet has turned into a fragile, centralized system of complication that rests on single failure points like Cloudflare, AWS, and Chrome. The internet as envisioned by DARPA would have survived to be used by cockroaches, the internet today would not survive.
WUFFS is provably safe, or WUFFS programs are provably safe, using WUFFS as an axiom?
They can give you the basic recipe, but the full formula varies from application to application. Some molecules won't stand acid, or soap, or heat, so you need to work around it. It's rarely just one or two molecules, except in extremely cheap things, and it will need dozens of support flavors to get the right result.

The specifics are closely guarded secrets, because of the weird way the industry pays for research and manufacture.
It mostly seems due to some drama going on in the Nix community rather than some technical reason.

https://xeiaso.net/blog/2024/much-ado-about-nothing/
Maybe there's a reason why these social pressures exist? I'd MUCH rather live in a society that shames people for being fat than one that bends over backwards to accommodate obesity. The social and financial cost of 42% of all adults being obese in the US[0] must be so high as to be incalculable.

[0] https://www.niddk.nih.gov/health-information/health-statisti...
European Founders Can Stop Making the #1 Mistake in US Recruiting
It is not the cause of their slimness. There isn't any country which has successfully reduced its obesity. The trend has only been in one direction.
FWIW, that's about an order of magnitude larger than I imagined a "very large PDF" to be. That's an enormous PDF.
If anyone wants to play a supremely addictive online capture the flag game, there's a completely underrated browser game called tagpro: https://koalabeast.com/ (no idea why the url is that, but I been playing it for a decade, to give an indication lol)

Tagpro is legitimately what I think the model of the ideal game is, which is you don't level up characters and grind, instead you depend on building up your own skill manipulating the physics of the game. It depends on how well you can judge momentum, people's intentions, and it's all about "juking" people. Such a simple game, but because of its physics it's exceptionally skill-based. I'd love an mmorpg that had similar physics that PEOPLE master, so anyone can jump in and play without having to grind. Levelling up your reflexes instead of in-game character stats.
Interesting. I was just thinking about a wallet-like app or extension for AI to hold my API keys and interactions/conversations. I think that might be something in the future.
> These are orthogonal problems.

Yes and no. Non-plaintext formats can choose to integrate CRDTs or Operational Transform or such to improve sync.

(And, the other way around, plaintext formats are more suitable for long-term history in version control.)