I think this commits the same sin many other new HDLs do -- it just tries to awkwardly smush the paradigm of clocked logic into a sequential software language. The abstractions just don't match, which means you lose the mental connection between the code and the generated Verilog, which makes debugging stuff like timing awkward.
I'm a big Bluespec booster, and beyond the nice typing and functional programming you get I think the big advance it brings to the table is the Guarded Atomic Action paradigm, which simplifies reasoning about what the code is doing and means that it's usually not too painful to poke at the generated HDL too since there's a clear connection between the two halves. At $WORK$ we've been using Bluespec very successfully in a small team to quickly iterate on hardware designs.
I don't want to denigrate the Spade developers since it's clearly a labor of love and nicely done, but I feel that unless the underlying mental model changes there's not much benefit to any of these neo-HDLs compared to SV or VHDL.
Trump is a famous teetotaler so I'd be skeptical there.
When I started getting worried about Elon around 2018 the drugs were part of it but also the persistent sleep deprivation. But there's also the way his father went a bit crazy in his 40s which I only learned about recently.
Along with his ultra rich but antisocial upbringing and the exploitation he was exposed to from a young age with the mines, apartheid and everything I’d say there is no hope for him.
Yeah. Basically, his horrid, abusive father drove Don’s older brother, Freddie, to alcoholism. I read Mary Trump’s “Too Much and Never Enough” and it actually made me sympathetic toward Donald. That's not to say I forgive him or that he gets a free pass. But wow, I'm not sure how he could've ended up any different.
The world would be better if Fred Trump Sr were emotionally capable of saying “I love you, son.”
He doesn't drink alcohol or do recreational drugs, but it's surprising that he's aligned with RFK because Trump seems to love fast food and refined sugar. His terrain must look pretty rough!
He doesn't care about a person's beliefs as much as he cares about their loyalty. RFK gave up his presidential run and endorsed Trump, so he proved his worth to get him into power and is rewarded with getting to do his dream job of dismantling agencies that have kept us safe for decades. His father must be spinning like a yo-yo in his grave.
There are a lot of dimensions to what you could call performance. The FPGA here is only clocked at 100 MHz and there's no way you're going to get the same throughput with it as you would on a conventional processor, especially if you add a JIT to optimize things. What you do get here is very low latency.
Yes, `&` (reverse apply) is equivalent to `|>`, but it is interesting that there is no common operator for reversed compose `.`, so function compositions are still read right-to-left.
In my programming language, I added `.>` as a reverse-compose operator, so pipelines of function compositions can also be read uniformly left-to-right, e.g.
process = map validate .> catMaybes .> mapM persist
Elm (written in Haskell) uses |> and <| for pipelining forwards and backwards, and function composition is >> and <<. These have made it into Haskell via nri-prelude https://hackage.haskell.org/package/nri-prelude (written by a company that uses a lot of Elm in order to make writing Haskell look more like writing Elm).
EDIT: in no way do I want to claim the originality of these things in Elm or the Haskell package inspired by it. AFAIK |> came from F# but it could be miles earlier.
Relatively early but there was at least 500 million and perhaps over a billion years separating the first life and the first photosynthesis. At least as much time as between us and the Cambrian Explosion.
There has been a long time from the first photosynthesis until the appearance of cyanobacteria, which can oxidize water.
The first phototrophs have been able to oxidize only easier to oxidize substances, at first sulfur, then iron(II) ions, and eventually also manganese ions. The last of these, the oxidation of manganese ions, has evolved into the oxidation of water, which produces free dioxygen. The immediate ancestors of cyanobacteria had 2 different light capturing systems, presumably because one was specialized for oxidizing sulfur and the other was specialized for oxidizing manganese. After the development of the water-oxidizing capability, the 2 photo-systems have become connected in series in the modern oxygenic phototrophs, to accommodate a wider range in energy levels between that corresponding to the oxidation of the oxygen in water and that corresponding to the reducing of carbon into organic substances (and also to the reducing of nitrogen and sulfur).
Cyanobacteria have appeared only about half time from the appearance of life on Earth until today. They may have appeared only after up to a couple of billion years after the appearance of life.
Moreover, some of the signs that are considered as the earliest evidence for the activity of cyanobacteria are inconclusive, because deposits of oxidized iron can be produced not only by the appearance of free oxygen in the atmosphere, but also by direct oxidation of iron(II) ions by bacteria that are unable to produce free oxygen.
Another interesting thing is that it seems that cyanobacteria have appeared on the continents, not in the ocean, and they have invaded oceans only later.
In fresh water, the ability to oxidize water would have been critical, because fresh water did not contain abundant sulfide, iron(II) and manganese(II) ions, like the ocean, which were good enough for the earlier phototrophs.
reply