skysight-inc/HackerNews huggingface dataset:
> The book is more an act of self-indulgence on the author's part

That's precisely what it is. And what makes it valuable too: such works of blatant self-indulgence are not very common in mathematics (at least, while remaining enjoyable to read).

> than a profound intellectual achievement in itself

Sure. I would call the book an artistic achievement in the intellectual realm: it talks about ideas, but is art. To put it another way: everyone knows "mathematics is not a spectator sport" — this is usually said in the sense of "you can't learn mathematics unless you do it yourself", which is true enough, but it's also a loss in the sense that there's no equivalent of sitting back and watching a game, watching someone play with ideas and do mathematics. This book comes close. How good the quality of the game is, and whether you'll learn anything from watching the game, is debatable (probably not much), but the experience itself is unusual, which makes the existence of this book a happy circumstance.
I'm sure the current supreme court will not agree with your legal theory. I do expect it to decide that anti-lgbtq content can't be censored, though.

As many other posters pointed out, 'safe spaces' like r/conservative and Gab are some of the most moderated places on the internet, and I can't see their judges changing that. It's not about consistency, it's about winning the culture war.
I'd say go for it. Work is work... There's good and bad parts about any job. Yes I do have to spend much more time on non engineering stuff, but on the flip side I enjoy working on things that millions of people use every day which is cool. The pay, stability, and growth opportunities are all great.
AFAIK this is normal in other countries.

In Belgium, we have the distinction between a natural person (a human) and a legal person (might be a corporation), and laws specify the required personhood.
FWIW there is an ongoing PhD scholarship for researching and developing a type system powered by set-theoretic types for Elixir. [0]

[0]: https://twitter.com/josevalim/status/1535008937640181760
Rust is eating it in systems and Go for applications.

IMHO nothing but Rust or Go has any merit as a replacement unless it also bring the same safety. A fully unsafe language in 2022 is dumb. (Fully unsafe, not optional unsafety which may be needed in a systems language.)
In aviation and maritime transport the implementation of those recommendations and findings are the reason they are among the safest means if transport.
It’s unclear from your comment if you’re talking about what Haskell calls “applicative” effects (sequenced but independent in which subsequent computation) or “monadic” (sequenced but the previous effectful computation can determine the next).

Linear and affine typing do in fact interact, and yes there’s been a ton of research on it, the papers are there for anyone to read.

And if Rust was marketed as a promising research vehicle, then have at it!

But it’s not, it’s marketed (very successfully or I wouldn’t care) as “and you will do nothing, because you can do nothing”.

Affine typing can get fucked compared to big sloppy arenas if that makes it easier to mutate a variable without talking to the network. That’s a bigger safety and correctness concern full stop.

People talk about Rust and it’s borrow checker like it’s the x86_64 ABI or something: it’s not. It’s a vocal and enthusiastic community with non-trivial but still-optional buy-in at the big shops.

We can still collectively just ditch it if we want. The borrow checker is still asking for permission to exist: C textual header includes are asking for foreguveness.
Jessamyn is amazing and I'm thrilled she's back running things at Mefi.
Doomberg has a great substack, and these threads are a great tease. The substack is like $300 per year.
> For reasons we may never figure out, the browser never evolved beyond its initial incarnation.

The reason is simple, the 30% app store profits. Very low incentives for either of the 2 major players to improve things, and tens of billions of reasons yearly to slow things down.
Perfect. At long last my country will take it's rightful place as ruler of the world: we'll start a massive global cooling project and threaten to end it in a termination shock if we aren't properly compensated for it.
Block space is created from computing power and disk space, both of which are naturally scarce.
Or maybe it's not that there's deep truth to the content, and instead the form is what brings joy and intrigue. :)
I mean, it's still the case, but web servers can shrug off rapid polling a lot better now than in 2004.

FeedBurner used to do a lot more (analytics, resyndication awareness, custom content/ads) before Google rot set in. A lot of that is easier to do now than it was 15+ years ago.
There seems to be an ongoing confusion in American political discussions that our rights are derived from the Constitution, but this could not be further from the truth. The Founding Fathers made it clear that our rights are granted by God (whatever that means to you) and the Constitution is there to limit the powers of the government.

There was much debate about whether the Bill of Rights would cause more harm than good because it would likely (and has been) interpreted as some enumeration of rights, when it was added as a compromise to make it clear to the power-hungry among us that these rights were granted by God and that the government has no right to infringe upon them, even via so-called "public-private partnerships" (a not-so-clever rewording of Mussolini's apocryphal definition of fascism).
This is all true, but I feel it sort of misses the point a bit. The goal seems to be mainly to use cppfront as a test bed for new language syntax and semantics, where most of the ideas will eventually make its way into the C++ standard or into existing compilers.

The main reason to use it in production is that it's not meant to be used in production and makes no attempt to be suitable for production use or avoid breaking changes, so the stuff in your cons list doesn't really apply. It's kind of like looking at someone's scale model of a proposed city layout and say that a pro is that tiny plastic houses are cheap to manufacture at scale but a con is that the houses may be too small to live in.

But all of your points will become relevant if cppfront eventually gets to a state where it's a serious transpiler meant to be used in production.
It's interesting how differently two similar dynlangs, Python and Ruby, decided to offer meta-programming. Ruby decided to offer a very simple way of evaluating code at construction, but python has you define custom metaclasses. One sees it as a routine way of extending the language, and the other treats it as a 'black-art'.

Metaprogramming done wrong, no matter the mechanism, is very painful. So, I'm not sure which way is better.
The Great Sulfur Pyramids of Alberta (2016)
I'm gonna monologue about an only tangentially related topic.

At some point, a corporate service becomes so commonplace - so ubiquitous - that it SHOULD be seen as a common carrier.

Is it possible to even survive in the modern world without an email account nowadays? No? Then it should now be seen as a utility.

If the best way to find out the service status of your local power utility - or what government services your local municipality offers - is on Twitter, than Twitter becomes more like a public utility to be regulated.
Why would they mention it otherwise? Did they fire fewer whites to be "antiracist"? You can play coy but we all know this only goes in one direction, the entire revealed purpose of this ideology is to capture and redistribute resources from whites. Anything that even incidentally benefits white people in particular will be labeled "systemic racism" instead. So my evidence is that I'm taking them at their word.

The best case of your apologetics amounts to: maybe they did normal layoffs and they're just framing it in an arbitrary way so as to acknowledge woke beliefs. Which is a restatement of the virtue signalling described by the commenter above.
I assume the kernel code to perform the context switch is big enough to fill the ROB.
It is pretty impressive that one person has had at least 482,936 party guests.
Excess mortality in the EU hits 16%, highest 2022 value so far
WeChat mini apps are javascript model/controller with a markup view https://github.com/apelegri/wechat-mini-program-wiki
Think angular & Vue instead of react. Each page has a js, json, stylesheet and xml.

You can technically hack one together but there's an annoying process of getting verified before you can use the IDE and test something on a phone. You also can't really publish anything and see how it goes without a serious plan and a Chinese national ID. There's a small scene of foreigners contributing to wechat apps and even starting some but ultimately control of the app is through a national.
> sites which act as 'public squares'

I hear this phrase a lot.

What is a public square? Well, my living room isn't a public square. Nor is my email inbox; nor is the comment section on my blog. Actually, there are no comments on my blog, because I don't have a blog. But how many daily comments would I have to get to become a public square?

I don't think there's any reasonable case to be made that a private web-service is in any sense a "public square". Faceache and Twat are private squares - like a courtyard in a gated community. If people wanted a real public square, they should have done more to prevent the sidelining of Usenet, and they should boycott the holding of "public" discussions in private places like gated communities.

Incidentally, you can't usually say anything you want in a public square; several people have been arrested and cuffed in this country, for things like:

- Shouting "Who elected him" on the proclamation of Charles The Turd in Edinburgh

- Holding up a blank piece of paper(!) at a similar proclamation in London

Basically, I can say all kinds of things here on HN that would get me arrested if I said them downtown (including if I were to pick an argument with the evangelical god-squad crews that set up in the town square with a public address system).

I've lived in a few places in the USA, and in none of those places would I have felt safe expressing my opinions in the local "public square". I'd either be arrested by the cops, or beaten to a pulp by heavies, with the cops watching.

The town square isn't the free-speech paradise that some people seem to claim, when they are discussing internet regulation.
I saw a libertarian insulting nuclear fanboys as being too extreme in their communication style the other day. Saying they were more interested in attacking hippies than actually achieving anything.

When you've gone so far off course that the Libertarians are trying to pull you back into the realms of acceptable discourse you are in real danger of undermining whatever goal you think you are advocating.

Nuclear power? Oh that thing all those angry conspiracy theorists on Twitter like? The ones who hate every other renewable energy with a bizarre passion that borders on religious? And this one's called "Doomberg"? I'll pass on that even before looking into the details thanks.
That would be the people of Europe, and I agree. But blaming it on faceless bureaucrats is a distraction from that.
In my opinion that dilemma exists both inside and outside of tech. If my local Sheriff is abusing their authority then they must be removed and prosecuted. The same would be true for any branch of government. I accept that this is easier said than done, but it must be done.
I think syntactic biology is still very far from creating lifeforms from atomic or molecular precursors.

Xenobots, for example are made using harvested stem cells
I'd add that AoE 4 is also pretty fantastic. I love the fact that the campaign starts out with the battle of Hastings, and after each victory they give you the option to watch a history documentary video they produced just for the game, and these videos are REALLY well done! I learned how they built castles from the first one and it's brilliant!
Limits of Textual Screen Peeking via Eyeglass Reflections in Video Conferencing
C is simple in a similar way that performing surgery is. Scalpel and whiskey can go a long ways if the training is accurate. A bad surgeon could also be overwhelmed by the amount of modern tools and use the wrong one. But a surgeon up to date on best practices and the wisdom of knowing what the instruments designed for is most likely going to have a higher survival rate.
They won't ever. Some part of the population will always fall for it. Hope is a powerful emotional that overrides all logic.
As someone who dropped C++ almost entirely a decade ago because I couldn't deal with both the immense complexity and the legacy baggage of C++, this is pretty exciting honestly.

What I find a bit strange is that he explains that he's been working on this since 2015 (with "most of the 'syntax 2' design work in 2015-16") and he doesn't want to give documentation because "that would imply this project is intended for others to use — if it someday becomes ready for that, I'll post more docs."

Why this reticence to opening the project and have others play with it and, potentially, contribute to it? I can't imagine a new language becoming successful with this mindset.
Magic: The Gathering is fantastic collectible card game on various platforms.

- MTG Arena if you want a Hearthstone-like experience (free, great animations/sounds, but microtransactions or grinding to stay competitive)

- untap.in or Tabletop Simulator for completely free, though a rules engine doesn't exist so you'll need to know the rules properly yourself

- MTG Online which includes a rules engine but you'll need to pay for cards

- XMage which is free and includes a rules engine, but the UX is the worst of the above

I play mostly Arena, with a bit of untap when I want to play Commander/EDH.
>Can they please document all the circuits I need for my work instrumentation next?

You'll probably have to wait until those instruments get as popular and then stand the test of time well enough over as many decades.

For each alphabetical tank type on the tables (like where you see two different impedances in the top row for Type 1 & 4 vs. Type 8 & 9, but the second row for that alphabetical type shows a single lower ohm reading for both), the lower ohms are about what you get when you manually measure the DC resistance at the input or output jacks of a disconnected reverb tank, using a regular ohmmeter. The higher ohms in the upper row are the much higher working AC impedances that the signal encounters under operating conditions.

This is referenced in the asterisked comment under each sub-table.

There may be a corresponding asterisk in the lower rows that is not displaying in my browser.

Also look at where it says "Avoid mounting the outer channel of the reverb tank directly to the mounting surface by using grommets, rubber standoffs, reverb tank bag and liner or other products designed for mechanical isolation." To me that should probably be changed from "avoid mounting" to "always mount" since the mechanical isolation is the preferred way.

Interestingly, about 25 years ago when Google first came out, you could easily find a link to a posted picture of a much-older vintage Accutronics tank showing the factory label which once proudly related that they were built by beautiful women in a climate-controlled environment.

Today's Google not so much.
Ok I looked into this some more.

They said "We estimate there are 10bn cores on the market already" (that would be since 2010). Then there's a slide that says "Nearly 80 billion RISC-V CPU cores by 2025".

https://www.eenewseurope.com/en/europe-steps-up-as-risc-v-sh...

that's from a talk at Embedded World in june 2022.

I can't find that talk on youtube. But there's another shorter talk that's online, from same CEO at the same conference, where they have a slide that says "North America. Industry adoption has taken off with millions of cores shipping from Nvidia, Western Digital, SiFive, and others."
If you don't want to mess with Texas: https://shitlist.hotgarba.ge/
You got me again; you're right, it's not a "white neighborhood". It's just a "not Black" neighborhood.

You get that I've, like, been to Lakeview a bunch, right? Like, I used to live there? My favorite bar in the world is there? I never know, when I'm talking to people on HN, if Chicago is an abstraction to them and they're just trying to pull facts out of Google or whatever.
But is anyone really thinking of concrete outcomes when they discuss cases like Citizens United? I've never seen anyone outside the most wonkish circles attempt to discuss the underlying facts of the case, where the FEC argued that it's illegal to release a documentary about a Presidential candidate during the entire primary season.
I am astounded as to how good this is!

I just had to sit back and look at the chat log in awe. How is this possible?
10 thumbs up for Elden Ring!

...

don't ask me how I have 10 thumbs. It's embarrassing.
The time taken to refute bs is much greater than the time it takes to generate bs. Your argument is at best mistaken and at worst intentionally misleading. My summary of mining is better than most you will find online and, only lacking in mention that the previous blocks hash is also included in each new proposed block to ensure each builds upon the chain tip.
Even if I hadn't studied the source code and game theory myself, I think I trust the technical analysis of the Steve Wozniak's of the world over yours.
A simple way to see through this argument that transactions cost $60 would be to say, that being the case, why can I currently pay $1-2 for a transaction. And if no transactions occur, why would miners still be able to continue creating blocks?
I think it's very likely you simply dislike Bitcoin and want to mislead people about it, for personal reasons.
> collaborate with the government to censor opinions, which has been happening

Citation needed.
Here's a comment I left on a different thread a few months ago, which you may find useful if you're looking for CS contents:

---

There are a lot of book recommendations, but I would not focus on books if I wanted to get the equivalent of a solid CS education. Instead I would work through university lecture slides, assignments, and exams -- basically fast forward through a CS undergrad leveraging what you already know.
I'm partial to CMU's CS syllabus for obvious reasons, but I find that it's also one of the most open and available resources on the web; i.e. not locked in on an intranet, etc.

With pre-existing background in software development the basic syllabus is more than doable in a 3-4 months. There are two sequences below: programming and theoretical fundamentals; you can do them in parallel.

Programming:

15-211: Introduction to Data Structures. Used to be in C++; now looks like it's in Java. https://www.cs.cmu.edu/~mjs/121/lectures.html

15-212: Principles of Programming. Still in ML. https://www.cs.cmu.edu/~me/212/schedule.html | https://www.cs.cmu.edu/~fp/courses/96-212/ (unlocked assignment pages)

15-213: Intro to Computer Systems. I hesitate to recommend this; 90% of the value in this course is in the labs and assignments, so it's difficult to do on one's own, but I would at least go through the slides and try to work through exams. https://www.cs.cmu.edu/~213/schedule.html

Theoretical:

15-251: Great Ideas in Theoretical Computer Science. Used to be Discrete Math with a heavy CS lean; it may have evolved. https://www.cs.cmu.edu/~15251/schedule.html

15-451: Algorithms. Here's a decade worth of lectures, exams and assignments - take your pick: https://www.cs.cmu.edu/~15451/ The 2013 course looks pretty complete: https://www.cs.cmu.edu/afs/cs.cmu.edu/academic/class/15451-f...

Next steps:

Since you are interested in VR, etc, you should probably look into the Computer Graphics courses. Note that the undergrad and grad courses are combined; the only difference is the expectations:

15-462: Computer Graphics http://15462.courses.cs.cmu.edu/fall2020/ Exam problems and solutions are gold: http://15462.courses.cs.cmu.edu/fall2020content/exams/finals...

15-463: Computational Photography http://graphics.cs.cmu.edu/courses/15-463/

15-464: Technical Animation http://graphics.cs.cmu.edu/nsp/course/15464-s21/www/syllabus... http://graphics.cs.cmu.edu/nsp/course/15464-s21/www/assignme...

Hope this helps. Good luck!
Tim Cook, Jony Ive, and Laurene Powell Jobs
Most people create little mental boxes to imprison themselves in.

Try more crazy things, you'd be surprised how often it can work out.
> I don't get the case against monorepos, and why it's so polarizing.

Because bad monorepos ala monolithic apps tend toward no separation of concerns, and with a large enough team everyone is stepping on each other's toes in conflicts, tests, etc. Some tech like Rails makes this even harder to enforce boundaries.

I get that a good team can manage a monorepo that's not one big ball of code, and a bad one wouldn't necessarily be better with microsystems either.

But it's super frustrating to hear teams blobbing everything together with no layering or separation and defending it as "but we're a monorepo"
I know HN hates Facebook (I don't like them either), but isn't a simpler explanation that:

A lot of people are working from home, so there's less use of office facilities so there's less janitorial work needed, and whoever Facebook contracts this cleaning work to, decided to cut some staff.

I just don't see Facebook's savings as significant enough for Zuck to think about this.
> it's the hand-wringing of environmentalists that caused them to side with fossil fuel companies

I'mma stop you right there. It's a safe bet all that noise was sponsored and amplified by fossil fuel companies.

MANY environmentalists are pro nuclear. They don't get as much time on the fossil-fuel sponsored airwaves though.

Blaming "the green movement" as if it's a monolith, unanimously or even majorly anti-nuclear, means you swallowed the fossil fuel propaganda. Spit it out.
Everybody knows this is an attempt to deal with platform immunity. Take away the immunity. Make the platforms responsible for what they publish.
Break up Alloc<T> in to templated and (mostly) non-templated parts? Without seeing the code its hard to know.
A fairly new and big C++ codebase: https://github.com/SerenityOS/serenity
But definitely not the right to secondary strikes! /s
Thank you. This is indeed interesting... Currently, I use the `CancellationTokenSource` / `Task` concept of C# and I'm pretty happy with it, but this is definitely worth reading.
If you burn it at utility scale, like in most eastern european towns, then you can add co2 scrubbers effectively making it carbon negative.
I personally consider code generation an anti-pattern in Python. With its dynamic nature and the two-step execution model, Python is essentially its own macro language, and any generation can be done at runtime.
Nah... It is just the ISO committee and its members mucking about.

Many of us don't agree with the way the committee has been "evolving" the language and then mandating "the one true way to do Modern C++". At least with this "syntax 2" thing they will leave the language alone.
I was called by Cade Metz well after Siskind pulled the blog - I didn't seek him out - which is why I'm asking how precisely I cancelled him.

(There were arguments for revealing his name in the NYT (mostly that it was already very public, entirely by Siskind's own hand, as directly linked to SSC) and arguments against it (mostly that the NYT is a different scale of publicising it).)

Direct question: do you know what this claim of me cancelling Siskind could mean, since OP doesn't seem able to answer? Also, wtf it has to do with Buterin. Siskind is certainly one of the "There are a million of these guys, and they all have long and wordy blogs" reasoners from first principles rather than knowing things that I was talking about in the linked post, but there are (as I say) a heck of a lot of them.
The bacteria, fungi etc. emit CO2 as part of their metabolic process, just like you and I do.