skysight-inc/HackerNews huggingface dataset:
Businesses serve whatever the needs of the owner are. If Hideyuki is uninterested in profit, more power to him. However if another business owner only cares about making a (legal) profit, then more power to him.
The Mind Games: Psychological Warfare in Cyber Deception
So I was curious and tried to compile/run a similar code on my machine with tcc.

1M elements array, included in the source code, then sorted with a random C quicksort implementation I found while googling (far from optimal)

Compilation time : 154ms on first run,
95ms on successive runs.

Run time : 693ms on first run,
~105ms on successive runs.

The CPU is a 13900K.
Actually, I appreciate the definite opinions and colorful language. And, the POV expressed is realistic, IMO.
One man's satellite delivery rocket is another man's ICBM. Ongoing progress in rocket design and experience is more concerning to me than a rise in value of 2 defense stocks.
Halton Low-Discrepancy Sequence [video]
> people who do not know how to adjust their lock times

I've seen developers at FAANG companies using the background video trick - because corporate managed devices came with an unmodifiable lock/sleep time.

And if school-issued laptops were even more locked down, with even more boneheaded defaults - that would hardly surprise me.
Here's what looks like their writeup on the connection protocol:

> "We consider the use of ARQ methods on the downlink channel of deep-space missions. Some rudimentary forms of ARQ are already used in deep-space missions, where blocks of corrupted or lost data are isolated and requested again from the spacecraft. Retransmission methods have been considered, particularly as a playback strategy to overcome weather outages. We propose to use retransmission methods in a more systematic and automatic fashion... We consider an interplanetary spacecraft transmitting frames of data to Earth."

https://tmo.jpl.nasa.gov/progress_report/42-122/122L.pdf
There will always be enough academics to sign anything even marginally notorious.
Thank you for the positive reinforcement, engineer_6+5+4+6+2.
I suspect, it’s not 1/15 can afford, but can afford without making trade offs. Budgeting and self discipline are very hard.

Antidotally - just look around, people wearing $300 foam shower sandals, new trucks towing dirt bikes/jet skis, dinking $6 coffees, and the talking on their iPhones etc. these are not people worried about saving
Agreed.

"A fundamental vulnerability in the Network Processing Unit (NPU) chipset has been uncovered recently, which can be exploited by attackers to eavesdrop on data transmitted over a wireless network, affecting over 89% of real-world Wi-Fi networks." [0]

[0] https://blog.apnic.net/2023/05/29/mitm-attacks-in-public-wi-...
I do not think the internet, or AI in its current form, is a existential risk to humanity, no.
That sounds like an expensive mess to run. If I’m wrong, then that would be a great service to have available.
I don't understand all the downvotes although how do you see ML assistant profs being outcompeted by AI? You probably have unique feel to students, a non replicable approach to study and explain concepts. How can an AI compete with you?
Then you agree with all sober analysts.

I mean, they basically agreed to disarmament and implemented it with nothing in return for over a decade. It took Bush tearing up the agreed framework, placing them on the axis of evil, and then the Iraq war (exemplar of what happens to states without a deterrent) for them to really reverse course on that.

Of course, that's all flushed down the toilet of history now, no such deal will be on the table again in our lifetimes.

I wouldn't hold my breath over living standards. But who knows, it's difficult to get an accurate picture of the internal situation there. Hi-res satellite pics of the garden gnomes in King Kim's garden, sure. But reliable human intelligence. Not something that that rapists, murderers and torturers at Guk-Jeong-Won (NIS) have a track record of.
> I remember, years ago, selecting Oregon was _always_ tab, “o”, down, down, down.

OT but being from Switzerland it wasn't UX that screwed that up for me, it was Swaziland renaming to Eswatini. Sure "s", "w", down is slightly quicker than "s", "w", down, down but some forms haven't updated the name yet.
> Actually, these users are generally deadbeat users. They're good at providing upload and buffering accounts but that is it. They don't make your community any better, they're spread out over multiple communities.

You do have a point, I guess it boils down to the definition of a 'good user'.
Like you said, someone joining from an invite they bought is likely gonna be more active.
From the staff's POV the activity of an account is of secondary importance though, and the respect of golden rules is paramount. Tree-bans often end up banning users with high userclasses and (very) active accounts.

From my POV as a normal user, I like the tracker being active but I don't like the web of trust being broken. An invite-only club is good because everyone was invited by a trusted member; if you can just buy your way in it's different.

Anyway, the TL;DR is that at the end of the day your personal interests change depending on what position you're in (staff, normal user, etc.) and while you as an user may not mind people buying invites because of passive benefits, the tracker staff has different priorities and definitely does mind.
Let the 'free market' figure it out. Require a private insurance policy to hold a LEO permit; and have the private market decide that specific officers - whole types of policing are too expensive. If a officer has to pay 10,000% of their wages to hold a insurance policy abuse/derliction would have consequences, and department hopping would also be mitigated.
Many Elixir companies will hire and train you if you have previous experience. If you're really interested, it's worth reaching out!
This comment reads as if there is a clear, contemporary successor for learning pure functional data structures.

Is there?
If so, please do share a reference.
This is so much better than what GDC is today. All these talks are practical talks that will teach you how to do things. Even though they are 24 years old, many of them are still relevant. GDC today is all about advocacy, business talks and developers behind big name titles sharing platitudes. My first GDC was in 2000, and I go every year, but in the last few years i don't bother with any of the talks, and just hang out with friends.
This is really cool thanks
No it's please stop competitors from building anything like what we have.
Thanks I was missing yhe multi-web user element
Streaming Services Cut Content for Cost Efficiency
Megatrends Shaping Every Industry and the Future Leadership Required to Succeed
The reason Clippit was so hated was not because it was a cartoon character, it was because it was enabled by default and it would pester you about what you were doing (thus distracting you) until you turned it off, and because the assistance it offered was neither required nor useful. It was a net negative on your usability of the application until you took active steps to turn it off.

>you got to look at a goofy, childish character

Like I said, aesthetic grounds.

>whether you wanted to write a cute check from the tooth fairy for your niee, a report on inappropriate use of company resources, or a death notice for your late father's friends.

>You could at least turn it off, whereas Octocat is in the top-left corner of literally every Github page, and prominently featured wearing an astronaut's costume (!?) on the homepage.

This is quite an inane complaint. Plenty of serious products and companies have cartoon characters as mascots or logos. LLVM has a dragon in the logo; the Go language has a gopher; the Rust language has a crab; the FreeBSD and OpenBSD OSs have a devil and a blowfish respectively. All of these have varying levels of visibility when you visit their web sites.
I want this to be true, but is it actually relevant here? The previous Boeing CEO had his bachelor's and graduate degrees in engineering and made decisions that were bad for both business and engineering reasons.
Think of your LLM as a User
It wasn’t a Swift team member, Swift community has a quick response for these cases because it’s been around forever and is unique enough of a “simple” case that it, ex. ends up at #1 on HN.

My understanding of Swift’s teams thoughts, though a few years out of date, is it’s very very hard to get the Swift type inference engine to handle a huge blob, without type hinting, or with literals that could be multiple types.
Lots here commenting about how this is just an attempt to build a moat through regulatory capture. I think this is true, but it can simultaneously be true that AI poses the grave danger to human society being warned about. I think it would be helpful if many of those mentioned in the article warning against the dangers of AI were a bit more specific on substantive ways that danger may manifest. Many read these warnings and envision Skynet and terminator killbots, but I think the danger is far more mundane, and involved a hyper-acceleration of things we already see today: a decay in the ability to differentiate between real and fabricated information, the obsoletion of large swathes of the workforce with no plans or systems in place to help people retrain or integrate into the economy, at a scale never before seen, the continued bifurcation of the financial haves and have-nots in society, the rampant consumption and commodification of individuals data and privacy invasion, AI tools enabling increased non-militaristic geopolitical antagonism between nations in the form of propaganda and cyberattacks on non-military targets, increased fraud and cybercrime, and so on.

Basically none of these are new, and none will directly be the “extinction” of the human race, but AI very plausibly could intensify them to a scale and pace that human society cannot handle, and their knock on effects lead to what amounts to a car-crash in slow motion.

It is almost certainly the case that Altman and the like are simultaneously entrenching themselves as the only ones who get to play ball, but that doesn’t mean the threats do not exist. And while I’m sure many on HackerNews tend to be more of the libertarian, move fast and break things mindset, I personally would prefer if society would move to a more proactive, fire-prevention method of operation over the current reactive, fire extinguishing one, at least where this is concerned.
I wonder if some of these office buildings can be converted into shops and housing. I would be interesting to take an elevator to the grocery store.
That doesn’t invalidate what I said. It requires going well out of your way (as do other sandboxing arrangements—I never said they didn’t exist), and it’s not a very good sandbox without a fair bit of work. (So maybe you’re blocked from trashing the home directory, but stealing all your passwords and login cookies was always more lucrative than vandalism, so making the rest read-only is small comfort.)
Is AI Safety a Pascal's Mugging?

[Robert Miles AI Safety]

https://www.youtube.com/watch?v=JRuNA2eK7w0
I looked into that language for exactly that reason and like it quite a lot. It's very good for scripting, though that is a crowded niche these days. It's also not much harder to integrate than lua, so I've used it a few times for an integrated scripting language when I didn't actually need a teeny tiny runtime.

And yeah you end up really missing PEGs in other languages. There are libraries, but having it built in is another thing especially with how well they fit into s-exp syntax.
Most of the problems I'm trying to solve require those pointers anyway.

Tracking diffs and versions of data over time: Version control systems and RDMS just don't cut it.

Bitemporal databases are interesting to me as well.
The ongoing drama emerging from the leadership / foundation causes real damage to the language. I'm not sure if I like this move of forking Rust, but something has to change. And the change must be as visible as the drama to help Rust regain the lost reputation.
I remember paint programs that could export images as C/Pascal/whatever source code files.
I knew which video this was before I clicked on it. It's a brilliant demo of the power of the BEAM and how it can be leveraged for web applications.
I know there were similar hysterias when automated weaving looms and other extreme labor saving machines came out. These machines did actually put a lot of people out of work, but they grew the economy so much that the net number of jobs increased.

In a way it's actually a bit dystopian that the "everyone will be put out of work" predictions never come true, because it means we never get that promised age of leisure. Here we are with something like a hundred thousand times the productivity of a medieval peasant working as much or more than a medieval peasant. The hedonic treadmill and the bullshit job creating effects of commerce and bureaucracy eat all our productivity gains.

The economy is actually a red queen's race:

https://en.wikipedia.org/wiki/Red_Queen%27s_race
Right, but unlike Swift, the type system in JS is not doing computationally expensive type checking for each element. This is the equivalent of creating 1M DOM trees in JS and expecting it to be responsive.

Rather than trying to force Swift to create fixed dimension arrays, the uncomfortable part about Swift for control freaks is that you should just make the array dynamic, and trust that the compiler is smart.

It's not blaming the user, but the compiler team has to balance functionality ("Why can't the type system give me a better error?") and speed. There's no way they can handle every pathological edge case gracefully.
sure, but man you posted the solution
> Despite what a vocal contingent on HN thinks, Firefox's market share is not going to turn around based only on engineering work or pouring effort into improved addons and making nice with the community.

And how has this marketing worked out for FF market share exactly? FF grew when it focused on tech. It's in freefall now.

> And if you want marketing people to do marketing, you can't exactly tell them what to do and what not to do.

Why not? There are there to help not dictate the course of the company. Or at least they shouldn't be.
Yeah you don't need the FBI specifically. You do need a group that does what they can do. I think for the most part state agencies could hand what the FBI does. You do not need a national agency.

There definitely needs to be cuts in 3 letter federal agencies. They're out of control.

In the end though, it doesn't matter because eventually over time all of those agencies with too much power will become corrupt. Massive oversight and constant cleaning out of people that have been entrenched too long is necessary.
Seems to be from the early 2000s, although not dated. Can anyone with knowledge on PKI shine light on if it's still relevant? Has much changed in the last 20 years?
https://en.wikipedia.org/wiki/Exoatmospheric_Kill_Vehicle
I just googled "Intellectual Property Insurance" and it does (at least at first glance) look like exactly what I need. I wear I did search before doing the "Ask HN" and didn't come across that.
Comments like this is why trying to discuss this topic is sort of pointless. Anyone with credence say "It could have been a lab leak" and someone with an agenda goes off screaming that "Fauci was lying to us! He was hiding something!".

Good scientists don't rule anything out, even Fauci's statement you're quoting is hedged, he didn't say "No way it was a lab leak", he said "The evidence very strongly leans towards...". In any case his job wasn't to find where it came from, but to guide the government on how to manage and survive an epidemic.

I can already see the next commenter looking to copy/paste what he said about masks...
I've had similar issues with belching before, and it turned out I had an Ulcer (H. Pylori Infection).

You can pretty quickly get a breath test done at one of those cheapo lab clinics, but also after I got that test I went to a GI doc and did an endoscopy and there was some underlying acid reflux that I'm still figuring out how to handle.
The treaty does not require disclosure of all orbital parameters. And spy satellites do not publicly disclose specific orbits, even if they are not difficult to discover.

"China berates US after ‘close encounters’ with Elon Musk satellites - Beijing urges US to act responsibly after two near misses that it says posed serious threat to astronauts’ lives" (2021) - https://www.theguardian.com/science/2021/dec/28/china-compla...

See "Online Index of Objects Launched into Outer Space" - https://www.unoosa.org/oosa/osoindex/search-ng.jspx

Most if not all Starlink say "Not registered with the United Nations."
Sorry, I have to make one last snarky comment. You can probably include entire firefox along with that a few kb of js and still make it under whatever that 60mb expands to :)
I've been working on making a base or skeleton game engine for when I participate in Itch.io game jams that compiles from C++ to web assembly using Emscripten. It's exactly as you say no one wants to download and run an unknown binary blob; this severely limits how many people will try your game.

I'm alternately impressed that I can port C++ in this way at all, and sad at the state of the tooling still after so long. When something goes wrong with the web assembly version of the project, I can't debug it from first principles. This could be because, as an embedded and C++ programmer, I'm unfamiliar with Javascript debugging tools, but it's still unfortunate I can't single step through at the C++ source code level when debugging the web assembly build. I just want gdb for web assembly.

I've also run into silly/stupid bugs like keyboard input not working only in fullscreen, except if you leave it on overnight in which case 1 out of N tries the keyboard input comes back. I spent days trying to debug this, only to have someone on a forum answer it in about 2 seconds that it's because a Firefox change now causes keyboard input to be captured by the awesome bar during fullscreen (which of course you can't see). I could have tried this for a million years to figure out what was wrong and not had that insight. It doesn't bode well for my game engine project if things are this fragile; no other C++ compilation target is this janky.
top language : "rust", shell
This is true, but I would add an asterisk. While not knowing Erlang is not a hard requirement, eventually, you will greatly benefit from being able to read and write some basic Erlang.

That said, learning Elixir first will at least get you in the right mindset, and then Erlang becomes an easy lesson in syntax.
18M Links in Commit Messages: Purpose, Evolution, and Decay
Show HN: Create visuals from Architecture Sketch in seconds using AI
Do you have more details of why you resigned? What specifically?

Did you lead a team of designers?

Or was it people above you pushing for things that went against your principles and you couldn't convince them?
Yeah no doubt the global capitalist regime is licking their lips and has been licking their lips for a long time about the opportunity to open up and exploit North Korea... North Koreans want to preserve their community togetherness, which is almost stronger than any other nation in the world
"0 points". Told you. Unpleasant truth.
Yes, and sometimes one order of magnitude slower compilation and significant larger memory footprint, and typically slower execution times than Rust.

Swift coincidentally has a slow compilation time thread today on HN's front page.

Ada, OCaml, Modula-3... come on, we're talking about a combined 100+ years development time. That's plenty of time to ship pink-laced kittens bolted into the syntax.

C# has dynamic typing and a lot of dynamic features are done by the ASP.NET runtime. Not comparable.
The same newspaper? Big cities used to have morning and evening newspapers, and the evening papers seem to have largely died off.
Swift uses the algorithm from this paper: https://os.unil.cloud.switch.ch/tind-customer-epfl/07596cb2-...
In the limit, AI is potentially very dangerous. All intelligence is. I am a lot more worried about human intelligence.

Re: alignment. I'm not concerned about alignment between the machines and the owner of the machines. I'm concerned about alignment between the owner of the machines and me.

I'm happy I see comments like "Pathetic attempt at regulatory capture."
Have you seen AutoGPT?
It can't debug itself now, but it might be able to do so pretty soon.
Check out Whisper, it is surprisingly good and several of the output formats include time codes, works with multiple languages.

https://github.com/openai/whisper
Lol, this has been said over and over basically since GNU existed. "You need to compromise!!!11!!one!".

FSF and GNU are not about compromises. If they were, they'd have stuck to the original Unix distributions and all their licensing grey areas. Instead they didn't, and the world is better for it. Why should they change now...?
> a halfassed solution like what firefox is now, is allowed to live forever without addressing it properly. If it wasnt there anymore, perhaps a real solution would emerge

That's why Google keeps paying for it. Or at least part of it.
I'm getting older myself and every day this comic becomes more and more pertinent: https://www.penny-arcade.com/comic/2005/12/12/one-day-in-the...
Do you keep searching your house for something after you find it? Apple's claim is an upper bound, it's pretty rare that the thing you're looking for is in the last possible place it could be.
Fiatjaf, the Mysterious Creator of Nostr Who Has Lured 18M Users
What are you used to?
Nikola Tesla and the Planetary Radio Signals [pdf]
This looks very cool, although I went to check out their browser extensions and the permissions(!)

> This app can read and change your data on any website
Since we have a lot of theoretical science, it's easy to imagine everything is solved in engineering. But when you dig into a new application you learn there are tons of gaps in knowledge. There is theory to draw on, but you need to combine and resynthesize to make it into something that works.

I have had experiences translating a professional model (similar to optometry prescriptions) and learn the model isn't described well enough to write in software.
I was working at Microsoft when Windows Phones were a thing. They gave everyone on the team a very cheap phone with the expectation that we were to dogfood the latest phone OS on it. They tracked our usage hours to make sure we were using them.

One of my teammates just put on (IIRC) a 72 hour long black screen video and reset the video back to the beginning when he left in the evenings.

It needed to be 72 hours long because he didn't want to come in on the weekends to reset it.
I don't have time to go into the details, but mostly it seems quite okay as is, although the sources are mostly from US commentators. You might consult the editors who have done quite a good job with the article on the Finnish Civil War, which is well-sourced with primary Finnish sources.

As for why it is a thorny issue here: there are still a lot of high-ranked Finnish people from the Cold War era with all kinds of (past) connections to both the east and the west. The real historical scholarship on this topic starts only after the Finland-related KGB and CIA archives are opened, which might still take something like 50+ years.
>"Giant Evil threatens our motherland!"

Sounds a lot like the red terror propaganda you get about China, DPRK and formerly the USSR, from US media.
Not being able to auto-generate a complete TypeScript definition haunted me for my Wasm project in Rust. The official toolchain using serde-wasm-bindgen generates a lot of "any" type for structs and enums. Not very helpful so I started looking for solution. I found it. I got the entire typings in no time and with almost no change in my code.

I wrote down how I did it: https://dawchihliou.github.io/articles/share-rust-types-with...