agbell

6 ms·

1.
by agbell 5y ago
When the typical economist tells me about his latest research, my standard reaction is 'Eh, maybe.' Then I forget about it. When Robin Hanson tells me about his latest research, my standard reaction is 'No way! Impossible!&#x
2.
by agbell 5y ago
This. Also try contacting a lawyer who knows this area and asking to pay for a legal opinion brief so that you can post it online to be debated by legions of software developers. Lawyers I know would politely decline that.
3.
by agbell 5y ago
For those want to learn Elm, or to learn strongly typed functional programming in very well thought out order @rtfeldman's book "Elm In Action" is super good. His experience working at a teaching company made his book very we
4.
by agbell 5y ago
This book was ahead of its time. Millionaires who live like college kids. Overworked and stressed out devs working for a faceless corporation. I read it a long time ago, but I recall it was super good.
5.
by agbell 5y ago
Yeah, functions returning types based on computations in Zig can look a lot like Idris if you squint
6.
by agbell 5y ago
I know very little Zig, but I agree with the post, that comptime seems simple, obvious and powerful. It is interesting that it bears some surface level similarities to type constructors in languages with higher kinded types.
7.
by agbell 5y ago
Thanks!
8.
by agbell 5y ago
Thanks for reading. Interesting idea! I did have this thought myself at some point and went and checked on some other narrated podcasts and found they kept it all under one label, but I can see how that could be confusing. Maybe I'll t
9.
by agbell 5y ago
I tried machine translation but it just isn't there for technical content. I use rev.com, which is a human transcription service. I supply them with a thesaurus of terms used and then proof read it and correct it myself after. The head
10.
by agbell 5y ago
Thanks for listening and thanks for supporting me! Yeah, the further you go back into the back catalog the more you are listening to my learning-to-podcast phase. Hopefully they aren't too bad... I am a slow but persistent learner.
11.
by agbell 5y ago
Podcast host here. I left this comment in a different submission but will repost here since front page and all. Andrew shared the backstory behind why he created Zig, why he decided to leave his job to work on it full time and why he is con
12.
by agbell 5y ago
Podcast host here. Andrew Kelly, creator of Zig shares the back story behind the creation of Zig: Why he created it, how he created it, leaving his job to work on it full time and why he is confident he can build a language that is better a
13.
Full-Time Open Source: How Andrew Kelly Built Zig(corecursive.com)
3 points by agbell 5y ago|1 comments
14.
by agbell 5y ago
Podcast host here. Andrew Kelly, creator of Zig shares the back story behind the creation of Zig: Why he created it, how he created it, leaving his job to work on it full time and why he is confident he can build a language that is better a
15.
by agbell 5y ago
Oh, I've not seen ranger before. Looks pretty useful.
16.
by agbell 5y ago
Are you a bot?
17.
by agbell 5y ago
Hi, Interviewer here! Thanks for sharing! Brian is super modest and claims to be a horrible programmer but he is comparing himself to Ken Thompson, who he thinks is just incredible. One thing that was interesting to me about Unix at Bell La
18.
by agbell 5y ago
Very cool! I use zoxide as a alias for cd to do this. But it only really works if you have cded using the full path in the past. But usually I have.
19.
by agbell 5y ago
Author here, thanks for reading. I totally agree that non-determinism is tricky. The big thing that got me to try McFly was the suggestions are path specific. I hear fish shell has this feature built in, but I havn't tried it out. I ma
20.
by agbell 5y ago
Author here. Thanks for sharing! Have you seen gron[1]? It can't do everything that jq can, but it is much more in the unix philosophy than jq. It simply flattens and unflattens json out into lines so you can use standard unix tools on
21.
by agbell 5y ago
Thanks for reading the article. broot does more than just piping tree to less, it gives you a TUI version of tree that you can navigate along around it. The fuzzy finder in it works like FZF but it keeps everything in a nice compact tree vi
22.
by agbell 5y ago
That is great! I think there is a lot of room for innovation with dual use keys like this.
23.
by agbell 5y ago
I'm sure the answer is you need to check, but would the cost of checking if you can gallop hurt performance in other cases. I'm wondering if this removing the branch idea and the galloping idea can coexist.
24.
by agbell 5y ago
Would this benefit from the galloping optimization Tim Peter's was talking about on Hn recently? If one side is bigger than the other, try to find how many elements you can add from that side and advance that far.
25.
by agbell 5y ago
I'd like to more about this. Can I use this?
26.
by agbell 5y ago
I love this. One suggestion, instead of dedicated keys for ctrl, option and other modifier keys you can use 'permissive hold' in QMK to put modifier keys in your home row. Hold down F or J for F Lock, D or K for Ctrl and so on. M
27.
by agbell 5y ago
If I get it working, it can be TimMerge.
28.
by agbell 5y ago
Very Cool! Edit: Ok, I get it now. Don't just pop, binary search into it, so you can fast forward through. I'm not sure I'll get around to implementing that, at least not in the immediate future, but that makes total sense.
29.
by agbell 5y ago
Yeah, good point. I think you are right about it being incorrect. Updating...
30.
by agbell 5y ago
Wow. Thanks for writing it. I believe this is the part you are referring to: https://github.com/python/cpython/blob/main/Objects/listobje...

More ›