skysight-inc/HackerNews huggingface dataset:
Look can we stop this idiotic greenwashing? I get it, you don't like crypto. But stop trying to act like it's an environmental imperative to stop using crypto. When mining crypto becomes an environmental imperative, that's when we'd have both removed emissions from our automobile usage _and_ switched to hydrogen based factory processes and _then some_. We're not even close to those goals.

Stop it. Hijack some other cause for your anti-crypto views. You don't get to make people feel good about emissions by writing anti crypto blog posts; you do it by actually advocating for lower emissions in activities that are in regular use that are _actually polluting_.

Someone is going to say something about incremental emissions reduction and to that I say, be my guest. The world is full of people selling magical products and ideas that claim to be green. The truth is, decreasing emissions is hard. Stop distracting people from the hard work needed to actually decrease emissions. If you want to help emissions out, go advocate for more buses and fewer automobiles in your community. Advocate for hydrogen subsidies for factories. Advocate for raising the gas tax. Advocate for tax rebates on weatherproofing houses. Advocate for heat pump installation. PoW cryptocurrencies are table stakes.

EDIT: The score on my post is fluctuating wildly and I'm flagged now lol. I've obviously touched a nerve here.
there are a lot of buzzwords here but how exactly would this work?
Doesn't SMT require a second register file to keep the "other logical CPU" context in?
Ranch is a pretty well optimized and battle hardened tcp acceptor. It powers the Cowboy/Phoenix server which scales to extreme level of concurrency and low latency. Cowboy uses ranch to pool and accept connections and I believe it uses {active,once}.

https://github.com/ninenines/cowboy

https://github.com/ninenines/ranch
> anything I'm missing here or if there's something I should be looking into?

No, its bullshit.
Then the writer should have used “fanaticism”, a negative term, not “idealism”.
So what's your intent in calling out machine learning?
Or you could use the only independent search engine that actually has its own index, and search result quality comparable to that of Google: https://search.brave.com/
And... can each browser tab run as a different user? (or more likely, there's a way to have the browser opt in to some security policy that would effectively do the same thing).
That's one of several possible fuels. What all of those have in common is that they are more expensive than kerosine, which in turn is more expensive than electric.

The big advantage of battery electric is cost. Wherever you can fly them, it will be the cheapest way to do it, by far.
> Actually, even in the world we live in, no one is expected to read a literate program like this (Knuth has comments to that effect somewhere), and everyone is "supposed" to read the typeset program (today that would be tex.pdf or whatever).

Sorry if it wasn't clear, but that was the point that I was making. The file that susam has linked to here is nominally "plain" "text", but no reader is expected to consume it in this form, or really interact with it in this form at all. This form serves exactly one set of humans: Knuth, et al, and only while they are actively editing it.

To reiterate my earlier claim: a more perfect LP system would be designed in such a way that the plain text input format would be a suitable way to read programs written in that system. (And when I say "suitable", I don't merely mean "possible". I mean designed expressly for that purpose, like how Markdown was _intended_ to be used before the GitHub contingency got their hands on it.)

> LP-related markup or whatever in the comments

That's sort of the opposite of what I'm after! Please do check the Raskin article I linked to.
If you are going that route, you might as well just use git instead of latex. Why add the complexity of latex if you can just use plain text and version control?
what if you carried the batteries on your person?
The increased interactivity appears to be due to your particular framework, which you have built using Lisp but which is not the same as just "Lisp". Similar frameworks have, I believe, been built using Python.
Look up any programming language popularity survey. Pure FP languages are substantially less popular, therefore less commonly understood and harder for the average dev to work with.

If FP was the norm, then you could make the same argument for OO.
CPUs lie to you.

AMD Zen 2 has 180 registers in its 64-bit register file (an additional set of registers, also nearly 200ish, is also for the 256-bit vector YMM registers). The 16 architectural registers (RAX, RBX, etc. etc.) are mapped to these 180 registers for out-of-order execution.

SMT is simply two threads splitting this 180-register file between each other.

---------

That's how out-of-order execution is accomplished. The "older registers" are remembered so that future code can be executed.

In practice, instructions like "xor rax, rax" are implemented as "malloc-new-register from the file, then set new register to zero".

As such, all you need is the "architectural file", saying "Thread#0's RAX instruction-pointer #0x80084412 is really RegisterFile[25]", and "Thread#0's RAX instruction pointer #0x80084418 is RegisterFile[26]", and finally "Thread#1's RAX instruction pointer #9001beef is RegisterFile[27]".

That allows all 3 contexts to execute out-of-order and concurrently. (In this case, the decoder has decided that Thread#0 has two things to execute in parallel for some reason, while Thread#1 only has one RAX allocated in its stream)

The retirement queue puts everything back into the original, programmer intended order before anyone notices whats up. Different threads on different sections of code will in practice use up a different number of registers.

A "linked-list" loop, like "while(node) node = node->next;" will be sequential and use almost none of the register file (impossible to extract parallelism, even with all of our Out-Of-Order tricks we have today), meaning Thread#2 can SMT and maybe use all 180-registers in the file for itself.

-----

Side note: this is why I think Apple's M1 design is kind of insane/terrible. Apple's register file is something like 380+ registers or somewhere there-abouts (on an ARM architecture only showing 31 registers to the assembly language), but does NOT in fact use SMT.

That is to say: Apple expects a singular thread to actually use those 380+ registers (!!!), and not really benefit from additional threads splitting up that absurdly huge register file. I'm sure Apple has done their research / simulations or whatever, and maybe it works out for the programs they've benchmarked / studied. But... I have to imagine that implementing SMT onto the Apple chips would be one of the easier ways to improve multithreaded performance.
Interesting question. I had a scan of the articles in other languages, on Wikipedia.

Almost all the Latin alphabet languages use a variant of 'imaginary'. Icelandic appears to be an exception, where it means cross-number. https://en.wiktionary.org/wiki/þvertala#Etymology

(I don't know non-Latin alphabets I can't tell you anything about them.)
But what's Zulip going to do about global warming?

No idea who Zulip are, nor why should I care what they won't do.
It does not matter that some don't. Most do, especially the biggest one, so the shitcoin economy as a whole does.
So, if I were to be, theoretically, adverse to a technology that has no benefits, then I lost?
It's convenient but too low on insights and synthesis to justify the asking price. Bringing it to half the length would increase its value. For $2k I can get an expert on a Zoom call to explain it in detail, answer my questions, and get more color on the topic.
This is my biggest problem with crypto. It is all about how in the future all these problems will be solved. I've been hearing about how it is the future 'of micro payments', or 'the future gold', or 'the future of legal contracts'. You are saying the energy usage problem will be solved by 'moving towards a layer2', in the future.

https://www.businessinsider.com/marc-andreessen-tells-us-why...
Yes, because with Nintendo you'd expect it to be fun instead of just about targeting ads to you. It will be interesting to see (a) if there is anything more to this than just selling ads and (b) if the scepticism that tech folk have extends to the real world or if people will happily participate on a Facebook vr environment
The fact that you're trying to make anyone think that the two are comparable is ridiculous.
Given blockchain transaction fees, pretty much any way up to and including just buying flights, taking cash and bribing everyone along the way.
Law enforcement absolutely does care about scams via wire transfers, as a search for mail and wire fraud on justice.gov will confirm.
No, put the energy stuff aside - I'm only concerned with learning what you mean by saying it's migrating to the first-world.
Wait, is blockchain now web3?
That's super light for that kind of range!
Almost been through a very very similar situation twice. What I learnt from the first time (a year into my first job out of college) was to have written commitments - and put things in writing. I had a project manager who played very dumb and on a day I was out of the office went upto my manager complaining about work not having been done. My manager set up an "urgent meeting" even though she knew I was on a day off. Almost as a way to stage it up. This was when my senior colleagues had educated me in the values of putting status/commitments/questions in email so there is a trail of your effort!
MBA Programs Need an Update for the Digital Era
How many people? How are they affected?

I am sure many people feel bad after the time change, but they may also just feel bad anyway.
I have a modified ebike with an unlocked controller.

Without commenting on safety, let me just say that 40mph is a fantasy, unless you're going down a VERY steep and long hill. It also requires you to be in a road racing bike position, or air resistance will flat out not let you go that fast (people are quite wide)

But my bike is otherwise stock. There is no extra power added to the stock Yamaha motor (250W rated, ~400W peak power). The only thing that is removed is the 28mph limiter.

The DIY conversions that let you go 40mph (I've seen the videos just as well) are more in the realm of electric mopeds and motorcycles than bikes, IMO.
I would check on cobol first.
So I guess they're getting on the anti-bandwagon instead? Really transparent way to try to drive attention to themselves.
Care to share some data with us?
They are exempt. It's "2g" rules (geimpft, genesen), so you can have had it or be vaccinated. For clubs and similar they're introducing 2g+ which means you also need a PCR test.
When it comes to git I blame the lack of simple visual interface. All the GUIs I have seen are either horribly designed and unintuitive (often because they just duplicate git's syntax), or are unnecessarily complex and could do with a basic/advanced split UI.

For most document versioning and redlining needs, only the basic concepts are needed and correspond to common concepts: new document (init), save document (eh... commit? push?), save as (branch), open for editing (clone?), open for read-only (fetch?), and compare to other document (diff). Tracking and merging changes should be separate from those overall document actions, but are similarly congruent with git concepts. Again, the problem is presentation.

I want to jump on the hate bandwagon for MS Word, but in all honesty as long as you stay clear of "the cloud" and deal with documents locally and/or via email, it does all of these things quite well visually. It's fairly intuitive in its track changes interface. Virtually all of the complaints about numbering and formatting and pagination are due to user error -- which admittedly is often because of UI obscurity. The main thing missing is better and more visible built-in version control, but MS had SharePoint already queued up for that purpose so it makes business sense to try vendor lock in and upsell on that.

My only real pain points with Word are the severely limited reference manager, dismal attempts at a templating engine, and the crippled mail merge functionality. All of these can be scripted away or fixed with shady extensions, at the cost of IT freaking out about "dangerous macros".

Word 365 on the other hand... burn it in the fires of the hells from which it spawned.
> I’d indeed put more stock into the specific interventions I listed than modelling estimates. We know certain things move the needle and can evaluate their cost.

I don't really want to get into this debate, but at least some of what you listed falls under the category of "things people 'know', but which are unsupported by evidence".

Not the best example from the list, but to avoid the ones that are now hopelessly mired in political infighting, "saline rinse in the nose" is almost completely without supporting evidence. Lots of people say things about moistening the mucous membranes and whatnot, but it's basically superstition.

Take this letter, which cites a number of weak/equivocal studies on different viruses, then brings up an actual RCT which showed that a combination gargling / ultrasonic lavage treatment (i.e. not your standard neti pot) within 48 hours of symptom onset (good luck with that), had a ~mediocre effect on symptom duration (-1.9 days) and intra-household transmission (-35%) of unspecified "upper respiratory tract infections".

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7436790/

Based on this evidence, if someone asked me if daily saline rinse made any difference for Covid, the only answer I could possibly give is "we don't know".
Yes, I am in the California Bay Area so we have probably the best selection in the world for weed products.

And I do know whenever someone offers me street weed I suggest they don't, because the indica effects will make me extremely sluggish, i'll get major munchies and eat so much I get a stomach ache, and I can't really do anything productive.

I guess I made my comment to highlight this distinction that it is not true that marijuana makes you unproductive full stop, but that certain strains of marijuana and/or too high of a dose will have that effect.

You are right that this is hard to avoid in places without the selection I have, but that is only an argument for more legalization, not an argument that marijuana has few positive effects.
The fact that slavery was part of their state charters does not show that the war was started over slavery.

The fact is that Lincoln upheld the rights of the Southern states with regards to slavery, both before and after the start of the civil war. This is a quote from Lincoln on the campaign trail immediately before his election and the start of the war [1]:

I will say then that I am not, nor ever have been, in favor of bringing about in any way the social and political equality of the white and black races, [applause]-that I am not nor ever have been in favor of making voters or jurors of negroes, nor of qualifying them to hold office, nor to intermarry with white people; and I will say in addition to this that there is a physical difference between the white and black races which I believe will forever forbid the two races living together on terms of social and political equality. (He goes on like this at length)

From Lincoln's inaugural address, after secession and war had started [2]:

I have no purpose, directly or indirectly, to interfere with the institution of slavery in the States where it exists. I believe I have no lawful right to do so, and I have no inclination to do so.

Lincoln also prohibited a policy of promising freedom for slaves that would support the Union in the early stages of the war (several states that were part of the Union were also slave states).

It was only well into the war that the tune was changed, at a politically opportune time, and, as we know, not always with great concern or a great outcome for the former slaves.

I am surprised that people would be taken aback by this. These are well established historical facts, and well known, I guess outside the U.S. educational system.

[1] https://www.nps.gov/liho/learn/historyculture/debate4.htm

[2] https://avalon.law.yale.edu/19th_century/lincoln1.asp
thank you for sharing the link to Herbie, that looks like a useful tool.

If I follow at high level, it looks like Herbie is trying to rewrite expressions to minimise error without runtime performance constraints.

Are there alternative tools that focus on rewriting code to maximise performance while keeping error below some configurable bound?

i guess compilers are generally focused on the latter problem, perhaps without giving the user much control over the degree of error they are willing to tolerate.
I don’t understand though, most if not all modern blockchain technologies are pretty green.
No its not a dumb comparison. Most of the folks who peddle this bitcoin is bad for the environment narrative don't understand what exactly bitcoin mining is.

The mining process is what makes bitcoin valuable, the energy is what's used to secure btc, there is "USE" to the energy used.
> I can generally write something quickly to re-create the necessary parts of the state automatically.

I think this is where the trip up is. In a game, for example, that state is often exceptionally complex and getting everything right back to where you came from is usually only possible running the full game and recreating the same state.
So many rhetorical questions and arguments about such a fate so soon after such a life experience...

Was his brief trip to "space" worth it to himself, others, and humankind, in the grand scheme of things?
The difference is that CPU cycles that go to CI have value in that they expose defects in software before users run into them, where they would cause more economic damage. If CI didn't exist, then the overall utility of software would decrease, so in effect CI pays for itself. This is not so with cryptocurrency.
How much resources we spend on adds and tracking? What is the footprint of all the extra code that gets downloaded each time we load some website? Could we do better?
If the latest Windows 11 wants to use Edge, it will use Edge no matter what
That article contains many false claims so I wouldn’t be so sure about the good technical decisions.
Ask HN: I want to make an electric skateboard for heavy shopping. How to start?
Hey HN.

I got rid of my car almost 10 years ago, and I live 15 minutes from Walmart. I sometimes have to go and get a crate of beer, milk, some coke-zero and this is a major pain in the ass to trek home. Tears my hands to ribbons.

For years I have wanted a box on wheels that I can control. I am a software guy. Think of a radio controlled car, but a bit more meat.

I know there are weird boards that look almost like lego with holes, and things like Raspberry PIs or Arduinos.

Would anyone be able to point me to a single starting point for my electronic journey towards this goal so I can spend 2022 with a new hobby?

Thanks for reading.
That's not what he said. Lightning network is now and has been. Proof of stake is now. ETH2 has $5+ billion staked on it. Many ETH competitors are out there that are pure PoS. It's an outplayed talking point that gets more irrelevant with each passing day.

To the topic of Zulip, I find it funny they aren't on the crypto bandwagon but they are on the talking point bandwagon of crypto must be for criminals, anti-environmentalists, or scammers. Those are the only 3 points. Whew, you'd think it was 2010.
You will generally want at least -funsafe-math-optimizations for performance-critical loops. Otherwise you won't get vectorization at all with ARM Neon, for instance. You also won't get some simple loops vectorized (like products) or generally(?) loop nest optimizations. You just may not be able to afford the maybe order of magnitude cost if your code is bottlenecked on such things (although HPC code actually may well not be).

In my experience much scientific Fortran code, at least, is OK with something like -ffast-math, at least because it's likely to have been used with ifort at some stage, and even with non-754-compliant hardware if it's old enough. Obviously you should check, though, and perhaps confine such optimizations to where they're needed.

BLIS turned on -funsafe-math-optimizations (if I recall correctly) to provide extra vectorization, and still passed its extensive test suite. (The GEMM implementation is possibly the ultimate loop nest restructuring.)
> Also get tired of the aspirational rants of how it is going to fix supply chains and offer banking to the underserved communities. And yes, I understand banking, supply chains, and crypto enough to know that that will never happen.

agreed. have you heard of hREA [1] and http://valueflo.ws, led by Bob and Lynn from http://mikorizal.org, and others? it's sort of an open source SAP alternative designed as local-first networked software. "Radically distributed supply chain systems". it uses the REA accounting method [2] to implement LETS and mutual credit type economic networks for cooperatives / small business ecosystems / commons based peer production / any transitional/solidarity economies.

Bonfire is also implementing the Valueflows vocabulary on ActivityPub [3].

[1] https://github.com/holo-rea/holo-rea

[2] http://www.jeffsutherland.org/oopsla97/haugen.html

[3] https://bonfirenetworks.org/
You seem to be implying that daily use is too much. However your observation is also consistent with marijuana users simply making light conversation about their fluctuating habits. We all say things like "I think I need to cut down a bit on the coffee" from time to time, but that can mean cutting back from 3 cups of coffee a day to 2. We don't usually consider that evidence that daily use is bad.
> It is all about how in the future all these problems will be solved.

Is this not all of technology in entirety?
‘Play-to-Earn’ Gaming and How Work Is Evolving in Web3
Or they're simply running Blender. I had a tonne of BSoDs when running Blender back when I ran Windows. It probably exposed some bug in the NVIDIA driver or something
> Just like crypto's mentioned impact on climate or lack of regulation ML often has negative impact on privacy, data ownership/collection, bias and so on.

Yeah, except you are specifically calling out why their "we refuse to do crypto" post is just a virtue signal and a stupid one at that.

Think of this way: If someone made a post saying their company refuses to use ML because Facebook has unethical machine-learning algorithms, they would get laughed to another planet.

It's a straw-man opinion. It would be a far more reasonable blog post if they had said: "We don't need a blockchain or crypto tie-in because that has nothing to do with the problem we are solving nor will it solve it better".

If they wanted to, they could do crypto and completely reject the current paradigm. They could easily create their own blockchain, create their own ecosystem in the hopes of changing the industry and status quo... or they could just not do anything because they aren't interested in crypto.

Instead they made a virtue signal post to get kudos and back pats from crypto FUDs for the fact of crypto FUD-ing rather than the fact it's a reasonable and sound technical decision.
First [modded] USB-C iPhone sells on eBay for $86,001
No but see, they really need to take a stand.