RedNifre

19 ms·

181.
by RedNifre 6y ago
If your language supports it you could do function FuncName(Bound<float, 0, 1> Accuracy) ...or if it doesn't function FuncName(BoundFloat0_1 Accuracy) ...or if it's dynamically typed function FuncName(Accur
182.
by RedNifre 6y ago
Interesting!
183.
by RedNifre 6y ago
Do you mean like Node-RED, or something different? https://nodered.org/
184.
by RedNifre 7y ago
Oh, yeah, I wrote a Brainfuck interpreter for those https://steemit.com/programming/@michaelzinn/babbage-s-diffe... I also did a C64 BASIC compiler in Idris for it, if you have a copy with over 800 lines of progra
185.
by RedNifre 7y ago
Nice! If you decide to add NFC sticker capability (scanning a sticker opens a checklist directly) please coordinate with the other person in this thread who might also create an app. I think the NFC data should be the equivalent of "ch
186.
by RedNifre 7y ago
Nice! If you decide to add NFC sticker capability (scanning a sticker opens a checklist directly) please coordinate with the other person in this thread who might also create an app. I think the NFC data should be the equivalent of "ch
187.
by RedNifre 7y ago
It's a bit weird that all the example websites are "hosted" on tinyurl.
188.
by RedNifre 7y ago
Just laziness on my part, when you are done with the checklist, get interrupted and start 15 minutes later you might want to still see all the check marks still there, but on the next day, you might be doing a different task. This needs to
189.
by RedNifre 7y ago
Can anybody recommend a good checklist app for Android? When I search for "checklist" I only find ToDo-List apps that call themselves "checklist" app. What I'd like is something where you can set a per-checklist tim
190.
by RedNifre 7y ago
I used a Raspberry Pi to solve the problem that the trash can in front of the building where I lived was often overflowing when I tried to take out the trash: I connected a 20x4 character LCD to the Pi and put it next to the bathroom mirror
191.
by RedNifre 7y ago
Kinda, I'm currently learning Idris and compilers by writing a CommodoreBASIC compiler that targets the HP 15-C calculator: https://gitlab.com/michaelzinn/voyc Compiler output looks like this: 227 IF Q>0 TH
192.
by RedNifre 8y ago
I meant that when banks open direct lightning channels between each other they can transfer bitcoins without any fees (because there are no intermediate nodes to pay).
193.
by RedNifre 8y ago
Bitcoin's lightning network is currently maturing (it allows instant free transfer of Bitcoins off-chain). That should work perfectly for banks, given that unlike regular customers, banks don't transfer money only in one direction
194.
Difference Engine implemented in Brainfuck running on HP15C calculator from 1982(steemit.com)
2 points by RedNifre 8y ago|0 comments
195.
Store UTF-8 in Playing Card Permutations(steemit.com)
3 points by RedNifre 9y ago|0 comments
196.
Programming on the HP 11C calculator(steemit.com)
1 points by RedNifre 9y ago|0 comments
197.
by RedNifre 9y ago
I share garbage cans with too many other apartments which means that the cans are often full when I take out the trash. My solution to this was to enter the garbage schedule into a raspberry pi, together with an estimated garbage can capaci
198.
by RedNifre 9y ago
I couldn't find something like Ramda.js for Java so I wrote my own. It's far from complete but it already contains useful features like parameter placeholders, curried functions and composition via compose and pipe. Lenses are a b
199.
Show HN: Ravr brings Ramda-style parameter placeholders to vavr/java(github.com)
2 points by RedNifre 9y ago|1 comments
200.
by RedNifre 10y ago
This is meant as an illustration of functional programming concepts: It's a Sokoban game that you can play on the command line, it uses emoji for graphics, uses currying, mapping, monads/promises and zero variables or loops. It&#
201.
Show HN: Functional Emoji CLI Sokoban in Node.js(github.com)
3 points by RedNifre 10y ago|1 comments
202.
by RedNifre 11y ago
Totally, the Starcraft editor got a lot of things right: - It looked like text but you were actually working with a statically typed AST -> Syntax errors were impossible. - Commands were sentences with the parameters where you would exce
203.
by RedNifre 11y ago
Haskell for large things Ruby for small things Java to earn a living (with a bit of Ruby here and there) (I'm currently evaluating Kotlin and Javascript as well) . OpenBSD on the server Ubuntu for developing . Android Studio (IntelliJ)
204.
by RedNifre 11y ago
What? How does it make sense to spread DST adjustments over a long time?
205.
by RedNifre 11y ago
Maybe, one day, we'll find a PGP signed "I am Satoshi Nakamoto" in someone's last will. If he/she/they won't do this or if PGP is broken by then we will never know for sure.
206.
by RedNifre 12y ago
How feasible is it to radically refactor an operating system? Would it be possible to gradually incorporate all the insights of operating system research into Linux/BSD/$otherProductionReadyOS or is it always necessary to start ag
207.
by RedNifre 12y ago
No, you code to get the job done in an optimal way which usually means for the minimum amount of cost. Given that the cost for a developer is roughly constant while computation time gets cheaper, this means that nowadays it's best to w