Cells may generate their own electrical signals through microscopic membrane motions. Researchers show that active molecular processes can create voltage spikes similar to those used by neurons. These signals could help drive ion transport and explain key biological functions. The work may also guide the design of intelligent, bio-inspired materials.
Readit Newsrkrzr commented on Living cells may generate electricity from motion sciencedaily.com/releases... · Posted by u/rkrzr
Lots of interesting points here, e.g.
> We should distinguish between infrastructure code and application code. Often, the two areas need different languages, tools, and techniques. Sometimes, that’s the case even when we use the same language for both infrastructure and applications. The role of static typing should be increased.
rkrzr commented on Denmark to charge $100 per cow in first carbon tax on farming cnn.com/2024/06/26/busine... · Posted by u/voisin
From where does the (extra) greenhouse gas emission come? The cow itself consume renewable feed (of course [1]). Is it the transportation of feed, production of clean water, random diesel tractor stuff? Maybe deforestation due to feed production?
[1]: Or is there feed where the carbon is taken from e.g petroleum somehow? Sugar is a hydrocarbon after all...
The extra emissions come from several factors:
- cows need a lot of land. If you used that land for e.g. efficient crops instead (and if people ate that instead of all that beef) you would free up a lot of land which you could use for other things (say, plant trees for example)
- cows need to eat a lot of feed to produce 1 calorie of beef. It is much more efficient to produce 1 calorie of vegetables and let people eat those vegetables directly instead of having it go through a cow first
- cows emit a lot of methane
- deforestation to produce more feed (like e.g. soy) is indeed also a factor
A while back was musing if it was possible to come up with something resembling the instruction set for a CPU for an abstract relational-engine. Is this basically what SQLite is doing with bytecodes?
No. The SQLite bytecode is much higher-level than the instruction set of a CPU.
rkrzr commented on Church's λ-Calculus (2023) [pdf] cs.cmu.edu/~rwh/pfpl/supp... · Posted by u/jstrieb
Can you read Harpers book without knowing lambda calculus?
You can learn the lambda calculus in a few hours.
If you read just the first page of the linked paper and work through a few examples, you will likely already know enough about it to read the book. It's really just like equational reasoning in mathematics.
Rebuild cost: $600m [0]
I do hope We the People have zealous advocates.
[0]https://news.sky.com/story/baltimore-trade-implications-from...
I suspect that the actual cost to rebuild the bridge will be far higher than that. Initial estimates of large public works projects are virtually always too low, and actual costs can easily be 5-10 times higher.
There is a great book about this phenomenon (and how to avoid it) by Brent Flyvbjerg called "How Big Things Get Done".
Out of curiosity, does ghostty do the Quake terminal thing - I use yakuake for this, but it feels a bit long in the tooth.
This works on MacOS, and on Linux sometimes:
> On Linux, the quick terminal is only supported on Wayland and not X11, and only on Wayland compositors that support the wlr-layer-shell-v1 protocol. In practice, this means that only GNOME users would not be able to use this feature.