skysight-inc/HackerNews huggingface dataset:
If I had known it for a fact I wouldn't have prefaced it with "IIRC".

Guess I didn't recall correctly. Thanks for pointing that out.
In one of my first jobs I was a contractor for the government. There was blatant corruption (or inefficiency, depending on how one sees it); I was employed full time, but the daily amount of actual work to perform, took around one hour.

Although I wasn't in the condition of automating the time required down to N minutes, I can see how this dynamic plays - essentially, BigCo with dysfunctional management, where efficiency doesn't really matter.
And the original articles are also not stating a matter of fact.
Plus Visual Basic is a very powerful language on its own. Given an environment such as Excel Macros, its power can be unleashed and utilized to a great extent and that's what power users in many enterprises do.

This is quite reminiscent of the good old "emacs operating system" paradigm just applied to a different context!
Telegram needs a phone number register but then you can text people only by username.
Both Signal and WhatsApp have announced usernames, Signal already has a beta version of the app with username support out.
Thanks!

This project can use a standalone eBPF verifier in this project: https://github.com/vbpf/ebpf-verifier

It can also use kernel verifier to verify the programs, then “offload”the BPF byte code from kernel, and runs it in userspace.
I've mentioned this in a different comment, but I've written several articles on type inference, trying to make the topic more approachable:

https://gilmi.me/blog/tags/type%20inference

If you find that helpful, I've made more content on compilers (including live coding a compiler, without narration) which should be easily reachable from my website.
The shortest time to pizza dough is the one you pick up from the grocery store in 10 minutes. No difference from whatever you'll make at home, and makes a great pizza. I've brought it with me in a cooler when camping and made pizza over the campfire. Next time to avoid having to ice it down, I'll just start a no-knead one the first night I make camp. Whatever works, works
"samurai" movies:

- Seven Samurai

- Rashomon

- Ran

- Throne of Blood

- Kagemusha

non-samurai:

- High and Low

- Ikiru

I would say that the essentials are Seven Samurai, High and Low, Rashomon.
At the end the article presents a clear example where a model is trained on A is B and infers B is A. That is the contribution of this article and it's very valuable.
What does this mean, I can't tell if it's a poker term or keyboard term

"without tilting"
It is a good question, I don’t have answers without digging in further. It isn’t signage or seatbelts. I don’t want to project when I was young on the situation today. Things were extremely “adventurous” when I was growing up, it is a wonder any of us survived (and some didn’t). With all the helicopter parenting now, at least in the middle to upper-middle class, you might expect that to be reduced but I have no idea.

The rate of fatal injuries are definitely still an anomalous thing for young people in the US.
Yes, that's why I believe all children should be banned from anywhere within 50 feet of roadways or swimming pools. It's simply too dangerous. Won't someone please think of the children!?
Being dependent on an enemy for weapons is as stupid as being dependent on an enemy for food like they are.
> or you have a complex equality function

This is part of my thesis that Knuth today is wrong to the point of harm. That we need a new complexity theory built on top of Information Theory. We are steering kids wrong more often than right at this point. Data sets we work with are at least six orders of magnitude larger than they were in the eighties. There are almost no comparisons in Real Data that run in constant time, and for big enough n even addition and multiplication are not constant time. For large enough n, storage accesses are sqrt(n). Even in primary storage.

Imagine you have a list of a million distinct strings. Case sensitive, alphanumeric. Complexity theory tells us you can sort those in nlogn time. But that’s pure fantasy because n unique strings have an average length of logn, meaning the compares all take logn time. Mergesort for any real data type is n (logn)². Now sort a quintillion unique strings. That takes 65-70 exabytes of space, just for starters, so it’s going to involve Ethernet cables and NVME RAID arrays. Your mergesort is now in the neighborhood of n^1.5 (log n)². Your piece of paper says this might run in hours, while the real implementation runs for weeks.

For most purposes, you should multiply every algorithm in TAOC by logn. In some cases, sqrt(n). And as n actually approaches infinity, multiply by both.

From another angle, I think the fact that it took 54 years to get from mergesort to Timsort has more to do with sacred cows than Tim’s brilliance. I’d like to see benchmarks on Pentium hardware, maybe even 486.

“If I have not seen further it is because giants are stepping on my toes.”
The first image contains some programs written for a Commodore P50 programmable calculator. Information about this device from 1978, including a photo, can be seen here:

http://www.arithmomuseum.com/album.php?cat=c&id=246&lang=en
Nature preserves are not untouched by civilization. CO2 levels could have direct effects (we are nearly at ambient levels shown to have cognitive effects on humans), and there are microplastics now found everywhere on earth, throughout the air and water.
I would build 100 3 mile islands instead of using fossil fuels.
you can do the same mistake without “an”.

Jeff is the short haired guy != the short haired guy is Jeff.

It depends on context. You can’t fully equate them.
Those are all just money. We could spend more for energy.
Look up BlueBubbles. It’s pretty easy to setup a server on a Mac with almost all the features. It’s how I get iMessage on my work laptop (linux), so I don’t have to pull out my phone when my wife messages at work.
Because it's fairly simple and it works.
We talked about it in LPC 23 today, and the slides: https://lpc.events/event/17/contributions/1639

Stream: https://youtube.com/watch?v=zDNZY0HQOMw&t=1765s

The draft paper: https://arxiv.org/abs/2311.07923
I understand that this may give you a bit of joy, but I beg you to reconsider randomly talking to people on the street. I know you're trying to judge whether folks are open to it based on body language, but you need to understand that people who start conversations with strangers tend to be socially awkward and potentially dangerous. There's a reason strangers don't talk to each other.

Folks are conditioned to respond to these people without acting scared or unwilling because they don't want to be physically or verbally attacked. This is especially true for women. You may think that someone is open, but for some of them, they're actually scared of you. Your bit of joy is their bit of fear.

Even your initial anecdote shows you're missing some social clues. Service workers don't want to talk to you. They're paid to interact with you. Yes, some may be extroverts and enjoy having a conversation. Others may dread folks starting long awkward conversations that they have no way to escape.

There's socially acceptable places to have conversations with strangers. Bars (to a point), social activities meant for socializing, hobby communities, etc. This is a way better way to get social interaction, and one where you're going to generally have more rewarding interaction as people are there for that reason and are open to it.
I'm not sure about this. Olaf Scholz has been chancellor since 2021 and the cut off for chatgpt 4 is allegedly January 2022.

My gut also tells me that the underlying embeddings should very well reflect equidistant relations of olaf scholz and chancellor.

/e: instead of downvoting, I'd love to have your opinion instead on why you think I'm wrong ...
Going “on tilt” is when you make emotional decisions because you are chasing the wins or running from the losses.
Escaping the Edge sandbox: A bug that speaks for itself
Emerging markets don't buy small cars as a conscientious environmental decision, they buy them because it fits their budget. Small cars cost less than large cars to buy and run.
I mean obviously yes. LLMs aren't intelligent and they don't understand anything.

OP is trying to argue against this but it's nonsense. ChatGPT also cannot tell me who the 8th chancellor was. It tells me it was Gerhard Schröder.
Yes you can. VBA can make the same Win32 API calls as VB6. Something I exploited back in the tail end of the 90s.
in decimal
I don't disagree though perhaps it's worth mentioning that sentences such as "the great spotted woodpecker is a medium-sized woodpecker" are used in English with the meaning "great spotted woodpeckers are medium-sized woodpeckers" so it seems to me that "apples are red" is grammatically a possible meaning of "the apple is red" even if it would be stylistically and pragmatically so weird that nobody would ever do that except perhaps as some kind of joke.
Restoring Facial Expressions with CycleGAN
It also cannot tell me the 7th.
Usually construction site workers who realized they can be force drafted at a moments notice?
"As for Future A, this Orwellian future corresponds to the return of the "subject story", as in "subjects of the King". In this story, the leader knows best, charting the way forward and declaring our duties. The rest of us are innocents, ignorant of important matters. This deal becomes more attractive the greater the danger, which is why this story is making a comeback today. Governments and organisations that arise out of the subject story are paternalistic and hierarchical, with the supposedly superior few at the top of the pyramid."
> The French nuclear case illustrates the perils of the assumption of robust learning effects resulting in lowered costs over time in the scale-up of large-scale, complex new energy supply technologies. The uncertainties in anticipated learning effects of new technologies might be much larger that often assumed, including also cases of “negative learning” in which specific costs increase rather than decrease with accumulated experience.

Oof, talk about a nasty abstract. Will need to find a way to look at this paper later.
There is a magical end that we can optimize where it is just about making nuclear fission energy more efficient.
Most of them are great but the absolute essentials are (imo): Spirited Away, Totoro, Princess Mononoke.
At the same time Russia is building new plants in Turkey, India, Hungary, Egypt, China, Iran and Bangladesh.
i have a countdown on my phone that counts the days left until i am 80, when i expect to die. Makes life more interesting
Hopefully the EU (or, in an alternate reality, the US) will eventually force Apple to finally implement RCS messages (or, less likely, open up iMessage).
It's probably much more a plus in an interview scenario because its interesting. The biggest danger is at the screening stage.
The bigger challenge is doing the pattern matching and mainly the exhaustiveness checking of patterns which aren't constructors of a sum type, but for example integer intervals.

Simon Peyton Jones together with others wrote a relatively easy to read book about the writing of Miranda (Haskell), which even includes a simple explanation of lambda calculus, so it includes everything you need to know about the theory, more or less: "The Implementation of Functional Programming Languages" 1987, https://www.microsoft.com/en-us/research/wp-content/uploads/...
Yes. If you care more about warm water over killing people, carbon emissions and pollution.
Breakthrough Energy State of the Transition 2023 [pdf]
> the nuclear energy industry in Oklahoma was a complete shit show

Any enterprise needs to be sufficiently safe as a complete shit show, because it will happen.
I don't understand "ERMS" and "FSRM" and there seems to be nothing good on google about it.

Are these just CPUID flags that tell you that you can use a rep movsb for maximum performance instead of optimized SSE memcpy implementations? Or is it a special encoding/prefix for rep movsb to make it faster? In case of the later, why would that be necessary? How does one make use of fsrm?
Yep, AFAIR he intentionallyed a scheme twice, but both times, the suits had a different idea (first time around, to ride on Java marketing; second time around, to compete with Microsoft and JScript).
I used it recently because it's the built-in scripting option for Outlook. I found myself writing the same emails over and over again, so I automated the writing with VBA, using input prompts for the variable parts. I'm not familiar with the available objects, so leaned heavily on chat gpt for that. Associated the script with a macro, then linked to a menu button and now I can quickly compose an email with a shortcut key.
> about making a static ML like language without starting with hardcore theory.

The book Applicative Order Programming: The Standard ML Perspective has you implement an ML-like language at the end (the book is mostly about programming in Standard ML itself). Chapter 10 covers type checking and type inference. Chapter 11 covers interpretation via graph reduction. Chapter 12 covers compilation of the ML-like language to an abstract stack machine. The code is all in Standard ML. It's very direct and practical without getting bogged down in theory, although it does talk about theory, and it's not as gentle and fun as Crafting Interpreters.

It was published in 1991. It's on libgen; I'd recommend downloading a PDF and reading those chapters in order to judge for yourself.
That argument doesn't make any sense.

If solar profitability is affected by higher interest rates (I'm not arguing this point) nuclear would be much more effected. Nuclear power is the most capital intensive form of power, they are a huge up front investment with very long ROI (incidentally they almost always require significant price guarantees over for decades and backed by the government to derisk the investment).
That, my friend, is the power of open source.
Huh? Car maintenance is a rational, physical necessity. I don't need to compliment my car for it to start on a cold day. I'd like it to stay this way.

Having to be unconditionally nice to computers is extremely creepy in part because it conditions us to be submissive - or else.
For somebody extolling the uses of generative AI, they missed several glaringly factually incorrect errors in the chart generation from the cigarette advertisement in the very first visualization.

This is actually my biggest fear – that people are going to assume the infallibility of these agents and never fact check them.
To be fair these are problems shared with historical research in general so in that way I guess it fits.
For those of us that don’t work at AWS, their docs are actually quite good at describing the Nitro system, very interesting read: https://docs.aws.amazon.com/whitepapers/latest/security-desi...
Yeah obviously gangs are bad. I’m reasonably pro police. I just think it’s interesting at an abstract level. Like, the shapes of the two things are very, very similar if you squint hard enough, even though they are regarded as complete opposites. It is a kind of elegance.
> It reads like "looll some women did something incompetent! get a load of this guys"

I don't think the article was written that way, but I think that it's clear that's how many people would take it.

It'd have been nice if the article had listed multiple examples of things being lost during spacewalks and not just the other time a woman did it - assuming there are other previous examples anyway. Searching for that kind of information now is difficult since search engines just want to push whatever the latest story is. A google search for the word "astronauts" alone returns links to news articles about this incident.
> most people writing on a public site realize their writing is public

Most people do not think that personal details they didn’t intend to share in their writing can be surreptitiously deduced from things like their word choice and phrasing.

It’s true, and people need to learn about and consider it, but no, most people have no idea that it’s really possible or how far it can go.

Their intent is to share what they intended to share. Efforts to go beyond that — whether through LLM’s, earlier data mining techniques, or Holmes/Poirot-like observation — are precisely “violating privacy expectations”
The recording of the meeting discussing the presentation [0] notes three issues with occlusions by Leona:

1. There is uncertainty with regard to the path, i.e. exactly where will it be projected on the surface of the Earth.

2. Size of Leona is uncertain, hence the expected magnitude of the decrease in brightness of Betelgeuse as a result of occultation was uncertain. A bigger decrease means that it's easier to get the public involved in observing.

3. The group looking at this is doing citizen science. They need to know the above in order to decide how much to involve public because this is something where if the above is known, then the public can participate with DSLR cameras and record light curves suitable for astronometric analysis.

[0] https://www.youtube.com/watch?v=ok7hJ_2DPhM&ab_channel=IOTAA...
I've seen the following at least twice: some department manager (marketeers typically have a nack for this) needs something, can't or won't bother the development team and starts off with "how difficult can it be" and before you know it they've written a few hundred lines of VBA, which serves their needs.

But then, the next phase starts: that scripts gets copied over (because Jim wanted to run it too) and modified (Jane has a different VBA version) and expanded (now it does "THIS!" too).

Now it's a 1500 line kludge and they want to unload it, ie pass it over to development for maintenance.
I've heard it said that in France there are 3 types of nuclear reactor and 100 types of cheese. In America it's the other way around.
Proper verbing would be "accidented", I believe (and I love English for how you can just verb or noun anything - it's like Lisp of natural languages!), but I guess "accidentally" can be chalked up to artistic license.
Python also has niceties like defaultdict or heapq
Wouldn’t be surprised if it was written by AI.
> they seem to be fine with it, or rather, have accepted it.

i mean, i would imagine some people want to see purpose in their jobs, while others are just treating it as a job and whatever happens with the output of the job is of no consequence. And this is esp. true of gov't jobs, but by no means do the gov't have a monopoly on such inefficiencies.

But my opinion is that there's something systemic that is preventing these jobs from being competed on and efficiencies eked out.
It's just a big ad for Azure. There are probably way better things out there that really teach you machine learning, instead of just the product palette of microsoft.
Hmm, that's an interesting way of doing it. I'll keep it in my back pocket if they ever break this :)
I'm guessing it's a typo. Should probably be

SomeProcess {}.some_message # This is fine
SomeProcess {}.some_helper_method # This is a compile-time error
I wrote one (https://github.com/boxed/scientist) as I found the existing ones very complicated and that just gives me a bad feeling. Since I'm the author of mutmut (https://github.com/boxed/mutmut), I also made sure my implementation was 100% mutation tested before I used it in production.

I used my implementation to replace number parsing in my work project: https://kodare.net/2021/04/04/safe_number_parsing.html
A lot of work, and a lot of pseudo-science; namely, the mapping of facial expressions to "emotions", which are defined to be "neutral, happy, fear, sad, contempt, surprise, anger, and disgust".
Thanks for the detailed information.
Looks like it's a huge effort. That Pull Request is adding Dart 2.8 while the current version is 3.1.5 (and it's released often, at least once a month). Most pub packages don't even work on Dart 2.x anymore.
An unrelated question: what do you mean by my "guix checkout"? I saw this in some docs (to add guile-guix to the guile load path so emacs can help me write guix code) and I don't know where that is as I am using Guix OS (in a VM) and as far as I know there's no sources in it?
Nobody does that. The busy stuff we do at home that's "job-like" is ALWAYS for our benefit or the benefit of the family.

Homeworks are way too often to please the teacher ego, especially after proving knowledge by acing some test.
13 days before the first eIDAS vote, still no public text
I completely agree. As the leader of OpenDSU technology, which is used for creating supply chain software and blockchain for businesses, we've seen some success. But a big problem is that many people from large companies don't fully understand how to use blockchain correctly. They come from different backgrounds and often mix up ideas in confusing ways. It's hard for them to quickly grasp that blockchain is for securing data, not for storing it, and the advanced cryptography and off-chain storage concepts are often beyond their immediate understanding.

Indeed, large-scale enterprise solutions like Hyperledger Fabric have made strides in bridging the gap between traditional databases and blockchain technology, finding some success. However, these solutions tend to be more effective when tailored for a few large companies. They often fall short in achieving true decentralization, especially when the network expands to include multiple partners or smaller players. A key limitation lies in their approach to data sharing. Many such solutions rely heavily on APIs, where blockchain is used more as a backend database or coupled with off-chain storage without adequate control from the on-chain component. This can lead to solutions that are questionable or even flawed in their implementation and application of blockchain security value proposal...
What If Google Wasn't the Default?
> the trends and underlying principles are undeniable. To think it's just another hype cycle at this point is silly

Saying that is surely a sign of hype, no?

> and it's crazy how many people look at crypto and AI and think they're remotely similar.

I don't think they're similar, but I absolutely do recognise why they may seem similar. Lots of humans make quick judgements and then anchor on them, and there are many ways to draw lines between almost anything. It's almost like humans are just stochastic pattern matchers… :P
Nuclear is arguably only safe due to those regulations. The case of falsified certificates in Korea shows that you need plenty of margins to account for some of the regulations not being followed properly, even in a first world country.

Maybe there is 20% too many regulations. That could be the case. But having 20% too many regulations is far preferable than 20% too few.

Even if you are staunchly pro-nuclear you should want regulations that reduces the chance for even a minor accident to almost exactly 0%, because even a minor accident will cause fear that’ll set nuclear back by two decades. Maybe that fear is irrational. Tough luck. Humans are irrational. Most of them would rather be slowly poisoned by coal and die a couple years early, than living with the thought of maybe having to suddenly have to abandon their home and established life like in Fukushima.
Except you don't get paid, so no incentive.
The only decent analogy is prison. Or military
>they can't grasp the cases "Foo is Bar's mother" strictly implies "Bar is Foo's son"?

Correction. The Model can. Training cannot.
Maybe temporary HN hug of death
What if you take the internal one off and use only second one? Will it work that way?
Most code is naive. FWIW, in my experience most people who just look around for poor code locality focus on things that don't actually matter, while the most expensive misses (when you actually profile and decide you care about them) end up in surprising places, or they were just missed in someone's quest to reorder all the structs they see in the codebase.
See the clockwise/spiral rule!