geokon

73 ms·

931.
by geokon 9y ago
What I liked about this book is that it's very upfront about how messed up C is. I read about half of it and it made me never want to write any C ever again. An especially memorable part for me was how it took 3 pages of language lawye
932.
by geokon 9y ago
Thanks for writing this series. I'm really interested in this stuff and I'm sorta writing my own version where I'm implementing the algorithms in lisp: http://geokon-gh.github.io/linearsystems/ (I'm
933.
by geokon 9y ago
That's a valid counterexample! :) The first implies ownership and the other just designates folders with information about 'pritam'. `~/Documents/taxes/pritam` could be a folder on your accountant's comput
934.
by geokon 9y ago
Man, even a guy on the team felt like WinFS wasn't a great idea... I still think it's potentially revolutionary and that the POSIX filesystem is just old and clunky I think most people would expect /home/geokon/prog
935.
by geokon 9y ago
Now you've got me curious :) Could you give some examples? I've never come across regular expressions outside of string handling
936.
by geokon 9y ago
What's a good language to try this out? From the first few pages it seems to be really workable. I could see a good chunk of tailrecursive algorithms map neatly to constraints like nocopy and nodestroy I'm no programming language
937.
by geokon 9y ago
Well humans reading your bit of code is not the only end goal. My intuition tells me that when I've refactored something to be simple-but-hard it ends up making more maintainable code. There is less state being maintained, less lines o
938.
by geokon 9y ago
The second link is fascinating. I've never come across this algorithm. What a clever solution! I'm a bit unclear on how the "quads" are chosen (ie. which 4 stars are grouped together). I assume your image and the sky-sur
939.
by geokon 9y ago
Note that raco doesn't make static binaries unfortunately (b/c Racket is LGPL.. which is a bit unusual for programming language)
940.
by geokon 9y ago
why?
941.
by geokon 9y ago
I think this would be pretty easy to do in eshell. Emacs gives you frames already and supports interacting with output buffers (like compilations errors) Its been on my to-do list for a while. I wrote a rough outline and its similar to what
942.
by geokon 9y ago
It's been quite a few years since my college networking class, but am I wrong to expect this to just kinda work out of the box? The ESPs can already act as routers and the MAC/IP protocols should already insure packets get routed
943.
by geokon 9y ago
I saw it can give you notifications over Signal. Does anyone have any info about how it sends messages without a phone number? I thought you need a phonenumber to have an account. If I can send messages without a number then I'd like t
944.
by geokon 9y ago
Doesn't this clause seems not backwards compatible with GPLv2? At face value GPLv3 seems more constrained - so it's easy to relicense an existing v2 project. You just tell everyone working on it, okay, now every addition we make h
945.
by geokon 9y ago
You can get a Khadas Vim Pro which has very similar hardware. And like the C2 it's one of the few ARM dev boards that has partial mainline Linux kernel support. It has opensource Mali drivers thanks to BayLibre, but some outstanding is
946.
by geokon 9y ago
But as the article states, compile time is (or can be) at runtime.. so it's a bit difficult for me to wrap my head around its practical effect :)
947.
by geokon 9y ago
maybe someone can help me understand. I now get homoiconisity but the example he uses doesn't seem to explain why the macro is needed. He explains a problem that can be solved by writing a function. Instead he presents what seems to be
948.
by geokon 9y ago
I've got to admit, I'm really clueless about these things But don't we already have a universal byte code with JVM bytecode? Why did the wheel need to be reinvented here? Are there fundamental issues with JVM bytecode that ma
949.
by geokon 9y ago
I've only have a pretty basic understanding of how it works, but I thought the checks didn't rely on the compiler. They're special templates that fail when their conditions aren't met And when I say it didn't take o
950.
by geokon 9y ago
That's what the GSL was supposed to be https://github.com/Microsoft/GSL It seemed really cool. All compile time checks. I have no idea why it didn't take off
951.
by geokon 9y ago
right, that's very true - it's in a lot of ways just a mental block. Though it's not likely, I still want to keep the option to reuse my code in a different context and a DSL precludes that
952.
by geokon 9y ago
I only really enjoyed Emacs once I learned some ELisp (I think I had tried is 2 or 3 times before that). Honestly I find these guides pretty useless b/c you can copy configs and hack together something without really understanding what
953.
by geokon 9y ago
Has anyone tried working with kirigami ? It seems really interesting, a clean looking way to make convergent (desktop+mobile) apps, but there is so little information around.
954.
by geokon 9y ago
And on FDroid
955.
by geokon 9y ago
and why SQLite and not something newer like datomic
956.
by geokon 9y ago
The weird thing that isn't supported is Signal on 2 Android devices. I tried to install in on my tablet, but if I put in my phone number it blocks the app on my phone... bewildering.. Kinda the Wechat model
957.
by geokon 9y ago
I hadn't reflected on it before, but it seems an unintended consequence of power users like this is that it has created a de facto wikipedia math illustration "style". Not sure if that's a good thing or a bad thing
958.
by geokon 9y ago
You should try the readability mode in Firefox
959.
by geokon 9y ago
I think talking about a sweet spot is correct I've been thinking about the trajectory of C++ language development recently and the emphasis has definitely been on making generics more and powerful. You watch CppCon talks and see all th
960.
by geokon 9y ago
I get that it's cleaner that it's an AST but when would you ever want to generate markup? Seems like a weird use-case

More ›