Readit Newsself commented on Solarpunk is happening in Africa climatedrift.substack.com... · Posted by u/JoiDegn
How and why did it implode? I always have a feeling of wanting to go back to basic chat rooms for linux and all but today it´s more like a chore than anything else.
self commented on Getting syntax highlighting wrong tonsky.me/blog/syntax-hig... · Posted by u/robenkleene
The best book I know on subject of how to best display computer programs is:
Human Factors and Typography for More Readable Programs https://www.amazon.com/-/he/Ronald-M-Baecker/dp/0201107457
On the archive at https://archive.org/details/humanfactorstypo0000baec
self commented on ProofOfThought: LLM-based reasoning using Z3 theorem proving github.com/DebarghaG/proo... · Posted by u/barthelomew
This is somewhat unusual: 28% on the Tomatometer, but 7 out of 10 on IMDb.
Beyond its relevancy to the parent comment, would you consider it a good movie yourself? (for a random/average HN commenter to watch)
Three movies with overlapping themes came out in mid-1999: The Matrix, The Thirteenth Floor, and eXistenZ (probably in that order of box office revenue).
self commented on Orange Pi RV2 $40 RISC-V SBC: Friendly Gateway to IoT and AI Projects riscv.org/ecosystem-news/... · Posted by u/warrenm
Anyone have openssl benchmarks? I.e. run "openssl speed" and post the output. Thanks!
I don't know if it uses the vector instructions.
https://gist.github.com/faried/6955a992c6d68362fd1e07a1cd575...
self commented on Orange Pi RV2 $40 RISC-V SBC: Friendly Gateway to IoT and AI Projects riscv.org/ecosystem-news/... · Posted by u/warrenm
No SATA :(
I bought the 32 GB emmc module for it, for the root filesystem. I have a 500 GB nvme drive for everything else. I believe an nvme-to-sata riser will work, but I don't have one to test with (plus you'd need to power the sata drive with something else).
self commented on Orange Pi RV2 $40 RISC-V SBC: Friendly Gateway to IoT and AI Projects riscv.org/ecosystem-news/... · Posted by u/warrenm
Don't suppose there's actually documentation for the CPU anywhere?
(I mean more than a tiny "datasheet" with a very high level overview and/or a pile of random Linux/uboot patches)
Spacemit's website is a pain to use, but the processor appears to work almost exactly like the K1, so:
- go to https://developer.spacemit.com/
- click on documentation
- click on Keystone
- click on K1
self commented on Why Elixir? Common misconceptions matthewsinclair.com/blog/... · Posted by u/ahamez
Elixir won't allow you to do that:
iex(2)> "/home/cess11" * 9
** (ArithmeticError) bad argument in arithmetic expression: "/home/cess11" * 9
:erlang.*("/home/cess11", 9)
iex:2: (file)
I think their point is that Elixir lets you write
defmodule Multiply do
def m9(m1), do: m1 * 9
end
# elsewhere...
defmodule Caller do
def doit() do
Multiply.m9(2)
Multiply.m9("hi")
end
end
@spec m9(integer()) :: integer()
I understand that Mastodon has a "local feed", and even if you're its sole user, if you don't block anonymous readers from access, that means someone could technically see a message by someone else that you're subscribed to, take umbrage at it, and sue you for making it available on your server, even temporarily.
From what I've seen of Mastodon, it does seem possible to block access to the server's local feed, but I don't know that for sure.
In addition to the local feed, there's also what you personally boost. I'm not sure how one strikes a balance, and if the software is still usable, if you were to hide the main URL for your feed (at least, the URL so that visitors from the web can read your feed on your server). Would it still be possible to participate in conversations, would people still be able to subscribe to you?
Yes. I follow several remote users who default to "unlisted" posts. (To be honest, I don't know if they're unlisted or follower-only posts -- I can't tell.)