sternenseemann

5 ms·

1.
by sternenseemann 10y ago
I really hate the kind of “Privacy made in Germany” way of marketing, especially since I am german. Mailbox.org seems decent from what I've heard but products advertised like this are mostly sheer bullshit. I don't know why transf
2.
Remind(1) – a sophisticated reminder service(linux.die.net)
2 points by sternenseemann 10y ago|0 comments
3.
by sternenseemann 10y ago
Well, not exactly.
4.
by sternenseemann 10y ago
Very sad.
5.
Isabelle2016 released – Generic proof assistant(isabelle.in.tum.de)
1 points by sternenseemann 11y ago|0 comments
6.
Announcing a new set of high-level SDL2 bindings(ocharles.org.uk)
1 points by sternenseemann 11y ago|0 comments
7.
Combining Rust and Haskell(tab.snarc.org)
1 points by sternenseemann 11y ago|0 comments
8.
by sternenseemann 11y ago
That is very nice! I guess that will be a filesystem interface?
9.
by sternenseemann 11y ago
One thing thing I dislike about GitHub's student/teaching services is that they are all in a centralized manner and seem like half-commercial.
10.
by sternenseemann 11y ago
Do you already support the Raspberry's GPIOs or do you plan to do so?
11.
by sternenseemann 11y ago
Creating the RPi 2 SD card is really not hard, you can just download the .tgz from the website. I do not think that the RPi ships with a default OS anyways?!
12.
by sternenseemann 11y ago
yeah, he is kinda awesome indeed :)
13.
by sternenseemann 11y ago
You're right. It is rendering your Browsing history as Tree basically.
14.
Show HN: Go's defer in Haskell(lukasepple.de)
3 points by sternenseemann 12y ago|0 comments
15.
Spotlight does appear to send live keystrokes to Apple(twitter.com)
1 points by sternenseemann 12y ago|0 comments
16.
USB armory – a open hardware flash drive sized computer(inversepath.com)
4 points by sternenseemann 12y ago|0 comments
17.
Manfred Memorial Moon Mission (4M)(moon.luxspace.lu)
1 points by sternenseemann 12y ago|0 comments
18.
by sternenseemann 12y ago
also this works via rawgit: https://cdn.rawgit.com/yogthos/yogthos.github.com/master/Clo...
19.
Show HN: Sternenblog – a file based blog written in C(github.com)
2 points by sternenseemann 12y ago|0 comments
20.
A Python Script Controlled via Twitter(zulko.github.io)
2 points by sternenseemann 12y ago|0 comments
21.
by sternenseemann 12y ago
Being popular on HN is not the best thing for Webservers...
22.
by sternenseemann 12y ago
yep, checksums
23.
by sternenseemann 12y ago
bugger codes is the AGC term for checksums. (see "Playing with Colossus" on this page: http://www.ibiblio.org/apollo/ )
24.
Data Central – Tools for generating portable data portals(github.com)
2 points by sternenseemann 12y ago|0 comments