skysight-inc/HackerNews huggingface dataset:
Here you have the whole history:

https://en.wikipedia.org/wiki/Blackboard_bold

Summary: boldface came first, in print, and was widely used. Much later, some mathematicians started to write blackboard bold on blackboards (because actual bold would be very untoward to write on a blackboard). Then, the usage was backported to print.

I find it ugly, a sort of breaking "suspension of disbelief", I don't know how to explain why. Some sort of "anachronistic" feeling, like watching a movie about the roman empire and some soldiers wear watches.

EDIT: as for having "different symbols", this is not the case. They are exactly the same symbol, with different faces. Like when you write the letters "a" or "g" very different on a blackboard as they appear on print.
But Sam Altman doesn't have a hint of vision. He just vaguely waxes poetical about how "the price of intelligence" is going to go down and then... what exactly? What's so interesting that's going to happen? He has no idea. His endeavors aren't driven by any kind of articulated vision. Probably uses a cop like "well things after the Singularity are unpredictable!!" Oh so that means they're going to be good, right? Right?
You are probably right. Most of my experience with corporate lawyers has been all about minimizing risk even if it means losing out on substantial business while there has been zero interest to find a solution. The root cause, as usual, is terrible incentive design where lawyers get punished when a legal problem occurs, but don't get rewarded when they consulted on finding a good solution that allowed the business to thrive.
Maybe it was never about money and more about discourses? Anyone paying attention has noticed the vibe switch since he acquired it.
Not quite. He was very good on gathering a specific kind of people and organizing them to an specific kind of work.

He got that very reliably. When that kind of work aligned with success, he was successful.
I thought the same thing. The bird is endearing.

Changing it to X is something some edgy teenager would do. I can't help but wonder if he's trying to destroy twitter on purpose.
That is something I noticed on dating apps when I still used them. Star signs seemed to be a big part of what a lot of people were looking for, despite the fact that it hasn't been accepted in any way for centuries. Normally I would just accept it as just a fad, but then people started saying they weren't interested in "x" sign or "y" sign because it is "incompatible."

To be fair, at least that makes it easy to filter out the crazies
It is already available, https://www.ibm.com/products/z-and-cloud-modernization-stack
Here, "supposed to guess" means "having the goal of..."

So no LLM knows what it's supposed to do. If you prefer, you could say it only ever has one goal: to generate a sequence of tokens which are jointly the most probable to occur along with the prompt tokens, given such probabilities in a historical corpus.

This imitates knowledge, goal-directness, "inferring context" etc. without doing any of those things. Consider what the aim of knowing, goal-directness, inferring , etc. is --- it is never "consistency with a historical text corpus".

For knowing: that beliefs correspond to the way the world is; for goal-directness that one's acts+desires can realise changes; for 'inferring context': that one is sensitive to reasons to speak outside of what is literally spoken.

LLMs are never sensitive to reasons to speak outside of what has been spoken.
d2349r0: std::pony
Comparison Between Databases in the Serverless World
Driver, shepherd, you probably see where this is going...
Step 1: open free tier or trial account with new app I want to take a look at

Step 2: open app, see your stupid tour, close it

Step 3: click around, realize this might be what I’m looking for but more complex than I realized

Step 4: look for that maybe-not-so-stupid tour again, realize there’s no way to restart it

It’s not all that different than opening up a piece of assembly-needed furniture that arrives in the mail. Usually I look to see it I can build it intuitively before I go to the instruction manual
I love that the company is "centered" on a bunch of separate areas. It's like someone really wanted to disrespect the definition of the word "centered".
It seems to me that LLMs are basically an algorithmic encoding of Occam's Razor. The issue seems to be that what is most probable does not always correspond to what happens, or what makes the most sense to an embodied person.

What is most probable is not always what is most correct or most accurate.
SpaceX has a highly competent COO and a team of passionate, skilled people who would put up with any kind of nonsense to build and launch cool rockets.

Twitter does not.
The similarly named Plagues & Pleasures on the Salton Sea is one of my favourite documentaries of all time, I find it so fascinating: https://www.youtube.com/watch?v=8TjGAWxL23c

The video made to sell the place as a paradise in the 60s is also fascinating: https://www.youtube.com/watch?v=Jvguw1KkBB4
One blind mathematician I know prefers reading LaTeX over pdf math for exactly this reason.
When it first happened I thought they were trying to evade Facebook’s bad reputation for privacy and politics and made a point to keep calling it Facebook.

After about a year “Meta” had the same stink of death around it as NFTs and I figured I’d be doing it no favor by calling it by its preferred name.
You mean timesharing? :-)

I suspect that for most organizations that use mainframes today, there are so many integration points and so much data is involved that the economics that drove a lot of early-on timesharing no longer apply.
I very much prefer the export dialog for raster export where it is in the drawer because that is literally where i carry out a huge part of my workflow (fill/stroke, alignments, doc properties, it's all in one place.

Saving to various formats is still done through transient dialogs including format specific settings just like you are describing.

But letting me intetact with the document alongside the export settings (vs being in window behind popout dialogue) just seems so much more intuitive.

I've been using inkscape for years to generate vectors for plotting and laser cutting/engraving and while it has come a long way with quality of life features, it's always been able to get the job done for me.
I don't think so, in practice since atomics (on single-core systems especially) and floats can easily be emulated. If larger, more-incompatible extensions become commonplace, possibly.
ChatGPT was made for this. Here is a link to a conversation I just made so anyone can test it: https://chat.openai.com/share/807fddd2-4628-4052-9e65-096317...

Here are some examples:

Normal English: "My boss needs this report by 5 PM"

Death Metal English: "THE OVERSEER OF OUR TOILS DEMANDS THE MANUSCRIPT OF ACCOUNTABILITY ANON UPON THE QUINTESSENTIAL HOUR OF THE SOLAR DECLINE"

Normal English: "That sounds like a win-win situation to me!"

Death Metal English: "UNTO MINE EARS, IT RESONATES AS THE DUAL FACETED TRIUMPH OF FATE'S INEXORABLE CONFLUENCE!"

And, for those of you trying to explain the Single Responsibility Principle to your colleagues for the umpteenth time:

"THE SOLITARY OBLIGATION DOCTRINE THUNDERETH FORTH THE DECREE THAT EVERY CONSTRUCT, STRUCTURE, SEGMENT, OR SERVITUDE MUST BEAR A SINGLE, UNMISTAKABLY ETCHED DUTY. IN THE TONGUE OF THE MORTALS, EACH CLASS, FUNCTION, OR MODULE SHALL BE GUIDED BY ONE AND ONLY ONE CATALYST OF TRANSFORMATION."
Depends on use case. When onboarding a user, it saves support emails when people can't figure out how to fulfill basic use cases. It also highlights new features that don't deserve main screen real estate but are requested.

It's only annoying when it's pointing out the obvious.
"Very stable genius"

"I alone can fix it"
The I Ching is very ambiguous and open to interpretation, as Philip K Dock shows in The Man in The High Castle, or you can try for yourself. Whatever else it's doing, it is not providing certainty.
Maybe obsidian.md?
Ah ok, understood! Thanks for the heads up.
LoRA: Low-Rank Adaptation of Large Language Models [1]

[1]: https://arxiv.org/abs/2106.09685
How to Fine-Tune Llama 2 with LLM Engine
Font CharSet Checker
> Several times?

Yes. Capital tends to make it easier on each iteration.
Charging my MacBook Air M1 with a Standard 3.5-6.5V 3A USB Charger
Isn't this just what YouTube has been doing for years?

It's just acknowledging that on Twitter there's an implicit division been content producers and consumers, and that the content producers are getting close to leaving and taking their followers with them now that there are viable competitors. Paying them to keep producing content is hardly novel.
Yeah me too but to be fair technical users (we're on HN) are probably not the target end users for the product that integrates this.
> companies out there who basically "had to" pull their ad dollars to not piss off the camp they put themselves in

Musk used to be political Teflon. He threw away that bipartisan edge for no gain. That was one of the beginnings of his Howard Hughes analogy.
People may assume that a lot of this mainframe software is "running just fine" but nothing could be farther from the truth. Often you will find that this software was fine when it was written 40-50 years ago, but now it has a lot of deferred maintenance and upgrades which are now a "big problem". Is it a problem that an application that can move millions of dollars is only secured by a strictly 8 character alphanumeric password? You be the judge.
"They’re designed to process large amounts of critical data while maintaining a 99.999 percent uptime—that’s three seconds of outage per year."

Very wrong. Five nines is five minutes and 13 seconds of cumulative downtime in a year[0].

Three seconds of downtime in a year is seven nines[1].

[0] - https://uptime.is/five-nines

[1] - https://uptime.is/99.99999
AI and A16Z
Elon Musk is either a genius or a fool. I don't understand business decisions at that scale nor am I not smart enough to know which one he is. Only time will tell.

But to me this seems tacky. The comments (on Twitter) that are positive about it, look like (possibly AI generated) bullshit hype comments with little to no content (see: NFT, web3, "AI" etc.)

The FB/Meta thing felt similar, but in hindsight also smarter, because they didn't change the name of the app.

But there is some (small) chance that they pull this off.

Twitter is the "microblogging app with a reputation for being a cesspool" that depends on prominent users. Maybe a re-branding and a shift (broadening) of scope is the right way to go? Maybe there's a chance that the new features make Twitter into something bigger that deserves its own name?
NATS is 100% open source
That's what happens when you fire everyone but programmers. I'm surprised it isn't AI generated (isn't Musk starting an AI company? So maybe it actually is)
Thanks for commenting, I see what you are saying, and you’re right.
"It's only annoying when it's pointing out the obvious."

No, I find them annoying every single time.
> Space and time is quantized at the planck scale, which strongly suggests that our known universe is a simulation.

I don't get the reasoning for this part. It seems analogous to, but even more absurd than looking at abstract art and observing that the artist had pneumonia.
What people don‘t seem to take into account here is that Elon was forced to buy the company due to a binding offer he made but later found out user numbers to be manipulated and so on. He‘s already burned down the 40 billion market cap to less than 20 billion today and he doesn‘t have much to lose. He is meme-style trying to enjoy the blunder he made while having a tiny but an exponential chance he still may hit it big by doing something outright crazy such as his long-time aspiration of x.com (the everything company). He is finding out currently that social-human systems work very differently than engineering systems, and he is not very talented at all on the human side of things. Don‘t take him too seriously just as he doesn‘t take himself all that seriously either. And hey, there‘s always the upshot opportunity of it going big, but that is a tiny chance by know.

To me it looks like everyone who‘s trying to take him seriously by now with all this are making themselves laughing stock. And Musk couldn‘t care less.

For me the only problem is that I‘m a Tesla shareholder and I‘ve seen a sort of dilution and all his suffering first-hand, where a single share of mine has already turned into 15 since I bought it. Thus of course I have skin in the game, but I still consider this all as a big meme-like joke.

Soon we‘re all dead anyway, so let‘s not think about things too serious and money is just money for most people who have it. It‘s no bigger than life. Have fun and enjoy the ride, our 100 years on this planet are a sliver so we‘ll all be enjoying it in our own messed up ways. Elon does it this way.

This is how I see it.
This was good. Short and sweet. I might start applying this 3-thing rule in meetings I attend. It'll be nice to have 3-point summaries of every meeting I attend.
I mean, Netscape did implode, and Microsoft was anti-competitive, but...

IE4 introduced DHTML, i.e., the paradigm that the entire HTML document is on the DOM and you can modify it with JavaScript (and style it with CSS, which is also on the DOM).

IE5 introduced XMLHttpRequest, i.e., the foundation of the modern SPA.

Both of these were major advances in web development, and websites started requiring (or preferring) IE because they wanted to use that stuff.

From there, yeah, IE6 was mostly bugfixes and webdev languished until Chrome came around (with Firefox being great, but not enough to topple IE.)
So this Sam Altman is just another snake oil salesman?
If you get rid of private swimming pools, golf courses, and water hungry farming in those regions, I think they’d be fine to continue as is.

Aka: be smarter with water
Thankfully you are here to dictate what is and isn't an acceptable 21st century belief.
You’re kind of undercutting your point by saying “Apple was desperate for an OS and Jobs.” In other words, firing Jobs was Apple’s fault, not Jobs’. Steve Jobs was exactly what Apple needed and would go on to provide exactly what they needed, only Apple under Sculley was too short-sighted to see that. If anything, getting fired from Apple was ultimately a triumph for Steve Jobs, given the benefit of hindsight.

My point is that when you put Musk among the pantheon of Silicon Valley CEOs, he doesn’t especially stand out for anything except being lucky. Compare him to Bill Gates, who, for better or for worse, revolutionized computing? Or Larry Ellison, who has somehow despite the odds miraculously managed to keep Oracle afloat and somewhat relevant for decades—no mean feat indeed?

Elon seems to be little more than a charming, lucky idiot. Make no mistake, charm and luck will take you far, but only so far. Sooner or later, one or the other will run out, and for Elon, it seems like he has depleted both resources at this point.
Many of these "dogshit" laws make sense, when viewed with narrow enough lens.

The problem is twofold...

Politicians have limited capacity to research/understand potential side-effects of these laws. So they rely on lobbyists from the interested parties. Or their own staff, who have their own biases.

Additionally, politicians face re-election. So, they have to balance the whims of their electorate with what might be a better long-term view. "Think of the children" syndrome, if you will.
If Israel is to remain a Jewish ethnostate, it must not be a full democracy. It's a simple demographic fact.
> Debian just works, and is popular enough that it often has packages for third-party software.

A lot of the time debs made for ubuntu work perfectly fine on debian testing too, which is nice.
Ahh yes, like the incredibly un-common Letter X.
That's reasonable.

As I see it, even assuaging fear of the unknown seems like it could be a valuable benefit. Especially if freedom from fear helps someone to make better decisions based on the information that they have.
> So, the real question is, if a really cute girl that you like smiling in front of you, and she asks your "star type" (or "constellation"), what would you really do at that spot?

That's an oxymoron because stupidity is never cute. If she appeared cute before saying that, she certainly wouldn't after.
Astrology originated with astronomy and then parted ways, in the old days people relied on astrologers to predict when spring would arrive or winter will come, once astronomy separated from astrology, some people just continued to believe the astrologers even though we have astronomers today. Sigh.
Ahh yes, like the incredibly un-common letters of the alphabet.
I think he's trying to transform the platform into an "app for everything" (like WeChat or Meituan Dianping in China), one that does communication, financial transactions, commerce, food orders, ticketing, the whole gamut.

And so, X. Which doesn't mean anything in particular.
Can I, just a random citizen, get a loan from the government for not even billions or hundreds of millions but let's say $100,000? I will of course repay "in due course, at the appropriate juncture, in the fullness of time" [1], at 0% interest.

There is nothing loan-like in government "loans" (of 2008, or of 2021, see the PPP heist [2]) almost by definition: no interest, no shares changing hands, not even a share buyback restriction (how most of the government loans are spent anyway).

[1] https://www.youtube.com/watch?v=iKYEUXlYcSI

[2] "How Did PPP Scammers Steal $100+ Billion", https://www.aura.com/learn/ppp-loan-fraud
Jubal called out, "That house on the hilltop--can you see what color they've painted it?"

Anne looked, then answered, "It's white on this side."

Yes, in this case, it's quirky and possibly endearing. When people feel like they need to document trivial comments by writing "Edit: typo", less so.
Hobbies and healthy habits surged during the pandemic
Excuse me, but Elon called himself a free speech absolutist. How meekly that principle retreats when a government just tells him, "no!"
"Blue Is the New Black (Market): Privacy Leaks and Re-Victimization from Police-Auctioned Cellphones"

https://krebsonsecurity.com/2023/05/re-victimization-from-po...

Researchers bought up a bunch of seized phones from police auction sites and found about 25% of them were trivially unlockable and still held sensitive data about suspects and victims.
Okay, but they still haven't changed.

They haven't done jack shit for open source. Buying Github doesn't mean anything.

They also haven't done jack shit for open platforms either.

They can't ship working cross-platform software that matters to save their lives. (VSCode doesn't matter. There are a million other text editors)

Things that DO matter, that they have locked into their ecosystem are things like Office or Teams.

Teams is based on electron, and they still fucked up the cross-platform capabilities. Teams on Linux is absolute ass.

Why not port Office to Linux? I thought Microsoft <3 Linux. They don't. They haven't changed.

They lose a ton of devs to Linux and Mac, since doing any kind of dev work is a pain.

Their solution? Ship an entire Linux OS (WSL2) alongside their own OS, since their dev tools are dogshit. They didn't do this out of goodwill, they are trying to stop the bleeding.

So please tell me, in the last 20 years, is there really anything microsoft has _actually_ done to foster any kind of goodwill from Linux people?
> Yes -- once, like Bill Gates or Jeff Bezos. But for creating a highly successful company twice, luck can't be a similarly major explanation, since it isn't "bound to happen"

It totally is bound to happen to someone. They get the right people involved and find the right contracts and make the right decision, it’s mostly timing.
A coin flip is a single event. How many "coin flips" do you think would need to go your way to start rocket company through sheer luck that lands them in reverse?
You're both not wrong. That's the beauty of this "problem" which isn't a problem but just nature.

Parents feel morally obligated to set their children up for success via generational wealth transfer of ideas, skills, and dollars.

My dad taught me to read before I landed in kindergarten. I'm convinced that as a result (compounded..) I was intellectually years ahead of my cohort until University (where I met everyone else who also was in their high school).

I was at a tailor in Italy and genuinely asked how I could learn what he knows (I'm a self taught amateur right now). He said he just worked in his dad's (now his) tailor shop since he was a boy. Out of reach for me!
> But there absolutely was a time when the hype seemed absolutely justified

My personal take at the time when I regarded him positively was that he, although not really a genius, "got" things in general and being in a position of power, would allow those who really were geniuses to do their jobs.

If that was ever true, he switched from letting those brilliant people do their work to actually telling them to blindly follow his crazy ideas (for lulz and otherwise).
Elon was not forced to buy the company. He voluntarily bought the company.
The Revolution at OpenAI
I think it was supposed to be Windows 12 where Microsoft finally went whole hog into integrating Linux by swapping NTOSKRNL for the Linux kernel so I assume this to be an off-by-one error.
I used this exact argument a few years at a corporate team building exercise with one of those Myers Briggs-adjacent personality frameworks.

"Oh, I get it now: it's like astrology! Scientifically meaningless, but it does give us an opportunity to talk about how we have different preferences for how we work and communicate."

The facilitator didn't seem too impressed by that.
As far as I know the Five Factor Model is a far more scientific measure than MBTI.

https://en.m.wikipedia.org/wiki/Big_Five_personality_traits

- Repeatability

- Not based on Jungian pseudoscience

- Peer acceptance
Why did you go to GPT-4 to get this basic history? It's mostly stolen from https://en.wikipedia.org/wiki/X.com and manages to omit 2 of the 4 founders names.
The replacing traditional religion bit makes sense, since they’re both approximately the same. The increasing uncertainty is unfounded, though I suppose even modern traditional religions took hold when their parent empires were falling.
They get truncated with a "show more" link that points to the full tweet (rather than expanding it in-place).
Which of the changes he's made do you consider improvements?
I don't think a brand change can make anything better or worse. It's just a lick of paint. Sure, the changes that come along with a brand change may change things for the better - but I'm sure we can all agree with that involving actualy changes to the product, aside from literal branding-only (and not even all of it).

Why not? Maybe, just maybe, if you're re-launching a brand it's best to do so when there's actually something to change aside from (one of the) logos and (one of the) copyright marks. It's like if Reddit bought HN, said "We're going to change this into a platform similar to Reddit", and simply changed the logo from Y -> Snoo without any of the other changes or promised features ready to go.

While the change isn't set-in-stone BAD for users, I don't see how it's good or useful at all conversely.
I'm tired of tech blogs stroking musk every time he sneezes. The billionaire worship is exhausting.

He's also a classless egomaniac xenophobe who never had a tough day in his life.
As a counterpoint, 𝔽 when not fixed to a particular size is arguably still generic over "any field", and 𝔾 is most definitely generic for "any group", even if fixed to a particular size.
That trend is reversing.

There is a UPS strike right around the corner. More than 340,000 workers are set to go on strike on August 1 & they have hundreds of millions saved in strike funds.

Every actor and writer in Hollywood is also on strike against the big studios.

Unionizing is happening at its fastest clip in decades right now.