solution 

@PINE64 Hmm.... specs of the nRF52832 should be enough to port micropython to it.

Not particularly useful, but probably fun.

Joe boosted

Wow, we did not expect the level of interest you all have had in the #PineTime!

More info:
- Cost will be approximately 25USD
- Charging dock included in price
- Built-in heartbeat monitor
- Case built of Zinc alloy and plastic
- Battery life measured in days
- Sorry, can't run Linux itself. SoC is nRF52832, which uses a Cortex-M4 core. That's why we need FreeRTOS :)

Joe boosted

This is the PineTime. A companion for your Linux smartphone, and new side-project of ours. More news coming in the future...

(If you have experience with FreeRTOS or mbed, and are interested, please get in touch!)

@irl Yeah apmd (if enabled) only checks the battery level every 10 minutes by default. This can be changed via the -t flag.

Ugh. Library online fee payment system works in but not .

Joe boosted

Hey Fediverse! What's your favorite #BSD? (I only have 4 options here so I picked the most popular ones :/) #FreeBSD #OpenBSD #NetBSD #DragonflyBSD #Unix

@velartrill Honestly "the Spaniard" just makes me think of the princess bride. C'est inconcebible!

@JordiGH Honestly the worst thing about maths books from 50 years ago is that they tend to assume that the reader doesn't understand linear algebra all that well.

CS books from 50 years ago tend to hold up, as they tend to deal with discrete maths.

IMO, if one understands both Knuth's "Concrete Mathematics" and V.I. Arnol'd's "Mathematical Methods of Classical Mechanics", one has a sufficiently wide background to be consider mathematically mature

(sprinkle in a few algebra textbooks to taste)

@cks Ugh. That's painful. I foresee a lot of refreshing in your future.

@11011110 Thanks, I saw that earlier. I've been looking into setting up an offline backup of wikipedia for myself, I guess now's a good as time as any to start.

@nm0i The linux version sadly doesn't have persist, which makes it painful to use on desktops.

@dolfsquare pandoc markdown + citeproc? It can output pdf via latex (and use whatever latex packages you want). Can still be a pain though.

@IceWolf The BSDs have plenty of desktops in ports/packages/pkgsrc. No idea why you think otherwise.

@ParadeGrotesque I don't believe it's purely license issues for OpenBSD (although that it is a part of it), it's also the fact that ZFS is *big*, and would require implementing a sizeable solaris/illumos-translation layer to be properly ported.

@ParadeGrotesque @henrikjohansen I was under the impression that ZFS on Linux has been fairly stable recently, especially given that freebsd is rebasing its ZFS implementation on Linux's, moving from away illumos'

@strikersan 16MB should be enough. You might need to get a pre-steam version. At the very least you'll definitely be able to run it with software rendering (which was removed in later versions IIRC)

Joe boosted

Please stop reporting bugs against #OpenBSD 6.6-beta (GENERIC.MP) kernel #262

kernel #262 breaks your wifi :flan_aw:

kernel #262 breaks your USB :flan_awe:

kernel #262 breaks your ACPI :flan_heckk:

kernel #262 panics in unpredictable ways :flan_blender:

:flan_sign:​​ Do Not Run Kernel #262 :flan_sign:

Show more
Mathstodon

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.

Use \( and \) for inline LaTeX, and \[ and \] for display mode.