skysight-inc/HackerNews huggingface dataset:
also: History is full of examples of extraordinary successful people [period].

Maybe somebody with Musk track record can be seen as more credible than some random "qwytw" on the internet? I mean incentives are on his side, aren't they?

For one his famous. It's his toy, so he won't let it disappear into irrelevance without fighting for it. There are not many people currently alive with comparable track record, being recognized world wide, with deep pockets like him.

What if in few years time from now people will be stepping on each other writing posts and books on how they really knew all of that from the beginning, that obviously he was right etc. - doesn't sound unreal or alien to me, quite opposite actually.

To be honest, I don't even think anything extraordinary needs to happen for all of it to work out just fine.

For all people saying technically it's not just rendering short messages - well it is just that at the end.

Look at stackoverflow - most people don't realize it's just single monolith application running on 6 servers - all of it.

There are still thousands of people employed there, which feels like too many if anything.
The market can deliver the green transition – just not fast enough
- We've taken a lot of inspiration from RR and it is very good at what it does (record/replay + randomizing thread schedules). This project diverges a bit from RR in that we focus more on the concurrency testing application of determinism. I wrote the toy record/replay system that sits on top of the determinism layer (so that we don't have to record as much stuff), but it's a long way from being complete.

- I haven't seen libTAS until now, so I can't comment on it much. At first glance, it does look similar!

- See @rrnewton's reply on this one.
New GitHub Features Powering Machine Learning
Can one merge master into tye feature branch often, and then interactive-rebase onto master removing all the merges?
I thought Quark was out of production at this point (last shipment was supposedly July 2022).

And yeah, I remember all the segfault fun trying to get a generic Linux distro running on it at a hackathon back in 2014.
Wandel is really cool. Highly recommend his woodworking channel. Some of my favorite things he's made cluster around making high precision things with tools that are usually easy to use imprecisely.

Copy Carver - kind of a manually run 3D CNC, lets the user 'trace' in 3 dimensions:

https://www.youtube.com/watch?v=LyNu8lpQI1g

Pantorouter - build an oversized template, then end-cut a piece in a way that scales down that template (effectively multiplying precision of the template to achieve precision you wouldn't be able to get otherwise)

https://www.youtube.com/watch?v=J_72hOY2vPg

https://www.youtube.com/watch?v=qUJzuM3PRAI
I agree, Freedom of speech needs to improve.
Of course part of the problem is western governments supporting military coups.

> Is restricted speech part of the "culture"?

I mean I can't go joking around as a Nazi in Germany, yet that's not banned in the US.

> What about illegal homosexuality?

That is part of the culture.
We and many others don't accept it, simple.
BLM was the most prominent success, but turned out to be self-defeating. The arguments are bankrupt and the counterargument are simply winning now. There is no going back or ‘fighting harder’ when your position no longer has currency.
I have performed over 30 thousand colonoscopies in my career so far. I have never seen a piece of meat in the colon, but see rotting vegetables all the time as humans don't have a ruminant extra stomach like cows to digest vegetables/fiber. Meat gets a bad rap for no good reason. Processed meat is another matter as it is bad for you.
Ok, I've put open source back in the title.
Here in the UK you tended to see these heaters in rural areas away from the natural gas mains. They were used with special Economy 7/White Meter electricity meters that provided much cheaper electricity over the night hours. The Economy 7 meters had clocks in them that you had to set for night rate hours that varied slightly by area. I tend to associate them with the 70s and 80s (before the grid interconnects with Europe allowed us to sell surplus base load electricity from the old nuclear reactors and coal stations).

No new Economy 7 meters are being installed now but smart meters can have an Economy 7 tariff set to achieve the same outcome. Storage heaters are still sold.
> I see stuff on HN and other tech boards about how terrible it is to work with C++ and how memory management will clothesline all novice and intermediate programmers. However, the Stroustrup book makes it seem like it's pretty manageable.

Plenty of people around here desperately want to vindicate their personal bets regarding other languages and framworks, and consequently you see a multitude of poorly thought-through strawmen put up to try to denigrate the other choice and, by process if elimination, leave their personal choice as the one true choice.

It's tiring. This obsession some Rust fanatics have regarding C++ drags on for over a decade, and it never changes. If they think it's so great, why waste so much time trying to drag down pseudo-rivals?
How can I play this thing?
If you're in the US, one tangible first step (without making a decision one way or the other) is to unenroll from as many benefits at your current job and move to your spouse's health care + other important benefits. This takes a bit of the pressure off if you decide to pursue something more risky. You still have to generate income, but variable income is easier to plan for than health problems.
I get what you're saying. I specifically said "modern capitalism" though, not "human history". I would say that the rise of modern capitalism is precisely the rise of the class of people who have to sell their labor to survive.

But I get your point that initially there were still people -- in the USA -- surviving by owning their own farm not selling their labor, and that this number has continued to decrease. But yes, I think that's precisely the nature of modern capitalism, to decrease this number. (and the number was initially much higher in the USA than, say, Europe, largely because non-elite immigrant settlers were able to avail themselves of "available" land, something not available to the otherwise "working classes" in Europe...)

In any event, it would be suprising if today most of these non-working men were supporting themselves by subsistence farming and foraging/hunting, indeed.

> During the great depression roughly a quarter of Americans worked on farms, a century prior to that virtually all Americans did

We need to be careful about being slippery with these categories though. Some of those people who "worked on farms" historically were, in fact, selling their labor -- and from GP, "working for starvation wages that don't allow them to build savings" in pretty dire conditions. And prior to 1865, many of the people in the USA who "worked on farms" were enslaved in forced labor, which is not in fact "selling your labor", but it's of course worse in all respects.
This is a fun lil project I whipped up to help my family draw names. The other websites were not tickling my fancy, so naturally I made a stupid simple one. Lmk if you like it!!!
For starters, the Confluence editor is absolutely dire. We can all stand here and sing til the cows come home about how it shouldn't be the world we live in, but the reality is that not a lot of people want to or have the time to write documentation so we should be making it as easy and fast as possible to do. As much friction as possible should be removed. It does not get a hell of a lot easier or quicker than writing a Markdown file.

Second, because it is plain text, search is blisteringly fast using any number of different tools. Following on from that for a third benefit: portability. You're not tied to any one service. You can use any text editor for editing and you can use a multitude of different solutions for publishing. Version control? Use whatever you what.

Another benefit: easy linking of files using [[wikilinks]] and block inclusion. If this is done properly, you can also use the graph view to get an oversight on how your code affects other parts of the codebase at a glance.
Thanks for sharing! Wow, that is quite the discovery! Glad to hear you arrived at a good place!
I would guess that in 2023's rankings he will no longer be the world's richest person. That's diminished success, although still an astounding level of it.
Can you give specific examples? Diluting the meaning down to “the government is also one of this company’s customers” just makes it meaningless. That will cover nearly every large company.
Yep, just saw above. Thanks again!!
Which was later overturned by the Supreme Court if you read farther down the article you posted the link for.

And was all over the tech news at the time.

I kind of suspect you are intentionally trolling…
centralisation is human: it’s far more plausible that there’ll be multiple centralised systems separated by cultural boundaries — examples already exist, like China — than humans doing some sort radical cross-cultural shift from centralisation to decentralisation (which is itself a strange western-libertarian obsession).
VisualStudio 2013 for mixed C# / Intel C projects with all the JetBrains plugins.
We have old hardware to support. Some of our other projects use a vendor specific release of clang, which I've been able to wire into VSCode, since the vendor IDE is terrible.
(1) rr [formerly Mozilla rr]

We're big fans of rr!

Hermit is different in that creating a deterministic OS semantics is different than recording whatever nondeterministic behavior occurs under normal Linux. BUT, there's a lot of overlap. And indeed `hermit record` is straight up RnR (record & replay).

But hermit for RnR but is not nearly as developed as rr. We integrate with gdb/lldb as an (RSP) debugger backend, just like rr. Any failing execution you can create with hermit, you can attach a debugger. But our support is very preliminary, and you'll probably find rough edges. Also, we don't support backwards stepping yet (except by running again).

If we invest more in using Hermit as a debugger (rather than for finding and analyzing concurrency bugs), then there should be some advantages over traditional RnR. These would relate to the fact that deterministically executing is different than recording. For example, process and thread IDs, and memory addresses all stay the same across multiple runs of the program, even as you begin adding printfs and modifying the program to fix the bug. With traditional RnR, you can play the same recording as many times as you like, but as soon as you take a second recording all bets are off wrt what is the same or different compared to the prior recording. (That includes losing the "mental state" of things like tids & memory addresses, which is a good point Robert O Callahan makes about the benefits of RnR when accessing the same recording multiple times.)

(2) libTAS - no we haven't! Checking it out now.

(3) Yes, definitely issues with CPU portability.

In general, we are interested in not just determinism on the same machine, but portability between machines in our fleet. As with any tech company that uses the cloud, at Meta people are usually trying to debug an issue on a different machine than where the problem occurred. I.e. taking a crash from a production or CI machine to a local dev machine.

The way we do this is that we mostly report a fairly old CPU to the guest, which disables certain features IF the guest is well behaved.

With the current processor tech, I don't think there's any way we can stop an adversarial program, which, for example, would execute CPUID, find that RDRAND is not supported on the processor, but then execute RDRAND anyway. We could build a much more invasive binary-instrumentation based emulator that would be able to enforce these kinds of rules at the instruction granularity, but it would have higher overhead, especially startup overhead. The nice thing about Reverie though is that we (or others) can add different instrumentation backends while keeping the same programming instrumentation API. So we could have a "hardened" backend that was more about sandboxing and reverse-engineering adversarial software, making a different tradeoff with respect to performance overhead.
Take a step back even further and it becomes "thinking really hard about how to make humanity the best it can be". Another step back and it's just "thinking really hard". Which, admittedly, has caused a lot of harm!

So is the solution to stop thinking? Or just to stop quantifying and analyzing? Or maybe it's the motivation, humanism, that's at fault, and we should all just worry about ourselves?
Actually, there is a huge amount of work in this area. Take a look at https://encode.su/forums/2-Data-Compression
This story is unclear and possibly misleading from the posted image. There are three versions of Adobe PDF software:

- Adobe Reader desktop app (free and lets you rotate PDF pages)

- Adobe Pro desktop app (full PDF editing and requires subscription)

- Adobe PDF online (requires a free account and lets you rotate PDF pages: https://www.adobe.com/acrobat/online.html)

You can still rotate PDF pages using the Reader desktop app. However, as other posters have recommended, there are many alternative PDF apps. Avoid Adobe if you can.
Love Preview and for all those basics find it much easier than Adobe for rotating, rearranging, deleting, merging, etc. Alas for some things still need Acrobat. For forms that need to be filled in more often than not preview is problematic where the entered text doesn’t appear right or issues with drop-downs etc. Like how I prefer safari but still run into compatibility issues sometimes and need Chrome. Also Adobe is better at compressing file size while retaining quality. And finally if I need to ocr a file and make the text or elements editable need Adobe. Would love to see Preview improved in those areas as solid as Preview it’s not one to see growth in features or compatibility over the decades.
So simple an idea, it makes you wonder why it's not already a core feature in Confluence.
James Webb Space Telescope reveals an exoplanet atmosphere as never seen before
Obviously it didn't start as one, but projects can transition, right?

Seemingly, the Internet Archive and Protocol Labs are bros.

https://blog.archive.org/2021/04/01/filecoin-foundation-gran...
> If you've got an iPhone... put it in to airplane mode so that it is local only. You'll note that Siri no longer works when you do this

This is not true anymore. Latest iPhone models have offline Siri working to some extent
Here are two obvious ways that work (I've used both):

- Save up for a 3 month runway, for example by freelancing on the side of your day job.
- Do the startup on the side. Potentially dialling down you day job effort to 75%.

Most startups will benefit from a pilot/MVP stage, perhaps you can reach that stage working only evenings?

I suppose the real question is if you really need to maintain the same standard of living. If you have a well paid tech job you can probably survive not spending like someone making 250 k, at least for a few months.
I think what gets me is that nobody ends up actually doing this.

The biggest and most productive entities on web3 that have the most users are the ones that everyone has heard of: crypto exchanges, or in other words, permissioned, centralized databases. Everything else seems to be a sideshow as far as actual usage is concerned. How do proponents of web3 square this?
You would think there would be parsing frameworks that would work like

Language -> AST -> Language

like maybe you could compile Java to an AST, modify the AST, then write the Java out. I have a list of "things that current parser generators don't do that are keeping us from writing interesting applications" and that's one of them. (There is also a space for tools that work with concrete syntax trees, particularly there were some high end CASE tools in the 1990s that were meant to let you edit a program by editing something like a UML document and make a patch like a professional programmer would make that would leave comments, spacing and all of that intact.)

The universal excuse that is brought out is that a bidirectional parser would be slow compared to a conventional parser. I wrote a simple site generator that made this page

https://ontology2.com/essays/LookingForMetadataInAllTheWrong...

that did templating at the DOM level, that is the template of the page as a whole is an HTML document which is parsed, manipulated with the DOM, then written out again in HTML. It works just fine, but it is 100-1000x slower than a conventional templating engine so it is a non-starter for a lot of people.

My own opinion is the property of LISP being homoiconic would be less special if other languages had tools that made it easy to parse bidirectionally and process ASTs, but it hasn't really been done.

If you are interested in going down this road click on my profile link and send me an email!
It's almost as if it contradicts your priors!
Caveat re VLAs: while C23 doesn’t return VLAs to mandatory status, it does require variably modified types; so no stack space footgun but still a significant complication in the type system:

void foo(size_t n) { int a[n][n]; }

does not have to be supported outside C99 but

void bar(size_t n, void *p) { int (*pa)[n][n] = p; }

has to be in both C99 and C23 (though not in C11 or C17).
Additionally, it seems to be a stark contrast to Twitter, which seemed to favor pitting people of opposing ideas against each other to increase engagement. It felt designed to create a powder keg.

This seems to solve two problems -- #1, the problem of "how can I not be bothered by Nazis and violent extremists", and #2, the problem of "where do the people who are being repressed from sharing information that an authoritarian doesn't want shared go".

But I don't think it will solve problem #3 of non-extremist people of different viewpoints and diverse backgrounds being able to civilly discuss ideas or share perspectives and news stories. This seems like it will just create larger, more impenetrable silos breeding more contempt for "those other people" who we will no longer have any need or reason to even speak to.

Is it even possible to solve for problems #2 and #3 at the same time?
My comment was more targeted towards Media and official bodies, should've made that more clear
> I know git can be tricky but it cannot be that difficult to teach people from non technical departments

This is far more difficult than you're suggesting. Git still confuses a lot of junior and mid level devs the second anything deviates from their memorized command workflow.

If you're expecting non-technical people to have to learn git just to edit the documentation, they're just not going to use it at all.

Writing and aggregating good documentation needs to be easy and simple. Gating documentation behind git is the opposite of that for non technical people.
TSMC confirms plans for second Arizona plant to make 3nm chips
Peter Zeihan has been suggesting that stuff like this is going to become common.
As another comment said, this dam has been producing power on the scale of a single modern wind turbine. Its power generation is barely worth mentioning.
Unpopular because the amount of heating you get tomorrow is set today.
Could you clarify your point then? What were you trying to say?
Yeah, we do. Doing it without a server is a lot of work. We'll automatically revoke entitlement when someone gets a refund from Apple.
Maybe the approach is to do the minimum to avoid being successfully prosecuted as a monopoly. “It’s not locked down; there are alternatives freely available!”
Meta uses Twitter to deny claims Mark Zuckerberg is resigning as CEO
Popular strategies for reducing gasoline use aren't getting a chance to work
An Introduction to Type Level Programming (Video, 2021)
It's been great to see more Haskell content hitting HN lately. Since the videos were recently posted, I wanted to share a talk I gave last year at the Haskell.love conference that gives an introduction to type level programming. The talk walks through a fairly contrived example that illustrates some of the things you can do at the type level in Haskell.
Right. "The rest is luck."

I would say "chance", since there's no such thing as luck.
I'm following him on and off for years. He's the most engineer minded woodworker I met on youtube and what stands out for me is the precision he does his stuff. Most other woodworker goes by gut feeling or well established tricks or jigs to make stuff easier. This guy goes by raw precision.

I don't know how but he manages to cut stuff by the hair of a millimeter on purpose.
Crashes your program or gets ignored if you #define NDEBUG
So let’s just stop trying all together then, since things haven’t worked out well so far.

That is in effect what your statement is implying.

I’ll preface this by stating: running financial experiments on retail investors is immoral and likely criminal.

That being said, how many failures did Goddard have before his first successful liquid rocket? A lot!

He was ridiculed in newspapers, touted as crazy, and seen as a failure by a broad community.

If you’re interested, pay a visit to NASA’s Goddard Space and Flight center (named after the father of modern rocketry).

Why should failures of the past (most of which were human folly or greed) inhibit us from innovating our way to the future?
Ask HN: Tech Bloggers – what&amp;#x27;s more important – consistency or quality?
Hey Tech bloggers of HN!

I'm trying to focus more on my technical blog about software engineering, and I was wondering, what is more important - consistency or quality?

Based on my observations, if I produce quality content, this necessarily means that consistency suffers. On the other hand, I've heard that consistency is rewarded regardless of quality (assuming quality is not trash and occasional high quality content is published).

What is your experience? And what are some other ways to reach a wider audience?

Thanks!

[Edit] - Just to clarify 2 things:

1. I'm primarily interested in opinions of people who own their content (i.e. publish on their own website) and not trying to beat some platform algorithm.

and

2. When I say consistency - I still mean quality, but obviously when you post once a week, the quality will suffer as opposed to posting once a month for example.
Have they used that Filecoin for anything beyond the press release?
Which doesn’t matter unless you are distributing said test cases.
This was actually my next suggestion when Obsidian got shot down. It's definitely a nice half way house between the two. Again it got dismissed albeit this time with no explanation, I assume because the request for feedback and suggestions wasn't actually anything of the sort but basically a pretend exercise on behalf of management to 'show we're listening'.
MIT isn’t copyleft.

If you want to include an MIT licensed work in your project, your obligation is to say “I am using $foo, here is a copy of the MIT licence: $text”, and that’s it.

If you want to include a GPL licensed work in your project, your project is now also GPL licensed, and you are obliged to make the source available.

(I’m not a lawyer etc.)
The weird thing is, not even Mac OS is doing it on that hardware: they just do proper S3 suspend. I think the advantage of this "modern standby" feature is that you can sometimes wake up and do some minor processing. But I'm not sure that linuxes actually make use of that functionality.
> Websites can see what fonts your computer has installed

They can? I looked into this once - I was putting together a demo site for a friend who does graphic design (like physical signs) and he had a lot of unusual fonts installed on his computer that he would have liked to use from the website. He wanted a dynamic drop-down of all installed fonts so he could select the one to use in the demo, but as far as I could tell, Javascript doesn't allow that specifically because it could lead to browser fingerprinting/security problems.