edit: Unsupported features: 1, journal: log-based operations, external journal 2, EA (extended attributes), ACL support
310 karma · joined September 12, 2014
edit: Unsupported features: 1, journal: log-based operations, external journal 2, EA (extended attributes), ACL support
Though the thing with the TERES-I is, it just doesn't seem to be made for daily use. There is only 1GB of RAM, no (m)SATA, the eMMC is rather small and the only expansion seems to be a uSD card. Even something like the eMMC modules the people from hardkernel put on their boards would up the usability quite a bit. I'd love to like it, but I'll have to continue searching for something 64Bit ARM I can just toss into my backpack to play and tinker with on the go.
edit: cell search example https://github.com/srsLTE/srsLTE/blob/master/srslte/examples...
(At least that's what two separate people working on the analog part have confirmed)
Kaspy OS runs on a switch, and they're talking about popular operating systems, so in the same vein, OpenBSD wouldn't be a popular secure OS for e.g. routers?
But hey, I'd be really happy if they based it on seL4 and formally verified their security concepts. That would be a real game-changer. OTOH I'm really sceptical until they provide any relevant details.
The standard: https://tools.ietf.org/html/rfc6330
Also: SPARK is another one I forgot. I guess I'll have to think of a nice example and just implement it in a Ada, F* and with RDL to get a hang of the differences and features.
Piggybacking on this: apart from F*, does someone know of a language or support for existing ones for contracts, loop-invariants and possibly verification?
Dafny and Spec# aren't very general-purpose and apart from those nothing much comes to my mind.
edit: The Pixel C runs on Coreboot of course.
I guess that's not intended...
If not, then you're mostly out of luck, but you can try if you manage to source it. And find some datasheets. And have a driver for it. And...
On a more serious note: It would be very nice, if it was possible to design a board with components like this, but it is way to hard and needs way too much equipment and experience to do right.
It's also available from F-Droid, though i recently became aware, that somehow I only had the ARM version and not AArch64, so keep that in mind. And it also works flawlessly on N.
edit: spelling
My only real problem with Cygwin is, that it misses a command-line package manager. If they could adopt pacman for package management like MSYS2 does, I'd be a happy camper.
edit: To deploy Cygwin based applications you need to get a commercial license from RedHat (if it's not FOSS). Which could be a deal-breaker.
"In technical terms, DROWN is a new form of cross-protocol Bleichenbacher padding oracle attack. It allows an attacker to decrypt intercepted TLS connections by making specially crafted connections to an SSLv2 server that uses the same private key."
E.g.: Would you rather go to space now, or wait until it's easy and comfy? For me, curiosity wins.
As to YT over ham radio: there's ATV (amateur television) and you can/could? (check your regional regulations for audio broadcasts) send radio streams on some bands. As long as it stays true to the ham-spirit, you should be ok.
(I can't speak for what the ARRL allows on what bands and so on, i have an old yearbook stashed away somewhere, but i'm not american, so...)
vy 73
If you really want to use CNC for a one-off you should get in contact with your nearest FabLab or Hackerspace. They usually have something around (though hackerspaces often not and if rather small machines)
My advice would be to ask a carpenter to help you out, if you are comfortable with using the tools, or you bring by the (exact) drawings and a block of wood of your choosing. Once again, if you need special kinds of wood, talk to those guys, the should have some nice dry maple and mahagony around.