dharmaturtle

18 ms·

151.
by dharmaturtle 5y ago
Nice. Just checking, did you not go with firebase/couchdb/pouchdb due to pricing?
152.
by dharmaturtle 5y ago
It's open source so you can just copy the spec. The community's built a syncing server here: https://github.com/ankicommunity/anki-sync-server There's also a really interesting templating library that ge
153.
by dharmaturtle 5y ago
Hah - you're describing "event sourcing" and it's the technique I'm using: https://flpvsk.com/blog/2019-07-20-offline-first-apps-event-... Unfortunately event sourcing means distributed systems
154.
by dharmaturtle 5y ago
I'm building an open source Anki clone, and lemme tell you shit's surprisingly hard. Getting syncing working without resorting to uploading entire SQLite databases is nontrivial. You're basically doing multi-master database r
155.
by dharmaturtle 5y ago
They don't produce beef yet: > At this point, the facility is already able to produce lamb, chicken, and pork products without using genetic modification or animal serum. Future Meat says that it will soon also be able to start prod
156.
by dharmaturtle 5y ago
Here's a Lisp that's statically typed with macros: https://github.com/lexi-lambda/hackett
157.
by dharmaturtle 5y ago
Saving someone a click > When a measure becomes a target, it ceases to be a good measure
158.
by dharmaturtle 5y ago
> Dark Patterns are tricks used in websites and apps that make you do things that you didn't mean to, like buying or signing up for something . https://www.darkpatterns.org/
159.
by dharmaturtle 5y ago
I'm reminded of gradualism vs punctuated equilibrium in evolution. https://necsi.edu/gradualism-and-punctuated-equilibrium > Gradualism is selection and variation that happens more gradually. Over a short period of
160.
by dharmaturtle 5y ago
> How would you have created a new Windows desktop application in 2015? 2018? Xamarin worked in 2016, as did UWP itself. Failing those Win32. Funny that you're arbitrarily throwing in a year, given that your OP didn't mention i
161.
by dharmaturtle 5y ago
> How could they be? They could be EoLed. > There’s simply no alternative. Are you seriously saying there are no alternatives to WPF or Winforms? >However, they sure aren’t alive either. Development has been stalled for many year
162.
by dharmaturtle 5y ago
Possibly what you're looking for, though less browser-dependent: https://coil.com/
163.
by dharmaturtle 5y ago
https://github.com/dotnet/wpf https://github.com/xamarin/Xamarin.Forms https://github.com/dotnet/winforms >There isn't a single first-party desktop GUI framework left
164.
by dharmaturtle 5y ago
FWIW Silverlight is _still_ being supported. EOL is October 12, 2021. https://docs.microsoft.com/en-us/lifecycle/announcements/sil... As context, AngularJS EOL's December 31st 2021. Silverlight debuted 2
165.
by dharmaturtle 5y ago
IIRC I wrote about 30 custom cover letters to Triplebyte companies... about 2-3 responded. My response rate to cold emailing/applying to ~10 F# companies is literally 100%. To be fair though, the TB applications occurred right at the s
166.
by dharmaturtle 5y ago
PG has a related essay: Why Startups Condense in America http://www.paulgraham.com/america.html He actually has several essays on how to try to create a Silicon Valley in other geographic areas, but this seemed the most rel
167.
by dharmaturtle 5y ago
As with any metaphor, one can take it too far. I agree with you that life doesn't come with symmetric information, but to argue that "Chess is a well-defined form of computation" is a bit much. Go/Weiqi is also a computa
168.
by dharmaturtle 5y ago
If I were to use a language like this, I'd use AutoHotKey to map certain strings to symbols. I already have several, e.g. α = qalpha β = qbeta ↑ = qup ∀ = qall ¬ = qnot Since you read code more often than you write it, I think it is ac
169.
by dharmaturtle 5y ago
Eh. I don't really expect every single YC company to be a bastion of moral integrity. Startups/hackers trying to disrupt industry are gonna do unconventional shit, and that might be more morally grey than usual. Also, given that Y
170.
by dharmaturtle 5y ago
Hey dude. I understand things might be running a bit emotional for everyone right now. You might find it interesting that PG has written tangentially on this topic a few years ago. Might be an interesting take, given the distance in space&#
171.
by dharmaturtle 5y ago
Here's an alternative window manager in AutoHotKey. I consider it essential as I use a 4k screen at 100% scale. It's entirely keyboard-shortcut driven. NB: it doesn't support multiple monitors, though it'll work fine for
172.
by dharmaturtle 5y ago
As someone who prefers static types, I agree with you that claiming dynamic languages are "unityped" is stupid. Javascript/Python/Clojure all literally have types.
173.
by dharmaturtle 5y ago
Sorry, I don't understand >Most static type systems that can do what clojure.spec can do tend to include runtime assertion and type checks and do not erase type data from runtime (what some static type zealots call "uni-type&qu
174.
by dharmaturtle 5y ago
>which can be much more sophisticated than what is commonly used in static systems, even with refinement types Can you elaborate on this? I have some experience with Clojure, and have been relatively unimpressed with spec. Everything it
175.
by dharmaturtle 5y ago
IMO the sentence is incorrect. Static type systems would "enforce the stronger constraint" at run time... same as the dynamic type system. Perhaps the dynamic type system can have a fancy linter that does something crazy like runn
176.
by dharmaturtle 5y ago
Linking stuff cause the book (and author) are awesome: http://momtestbook.com https://www.youtube.com/watch?v=FG1Fa-t4AEQ
177.
by dharmaturtle 5y ago
Screenshot of deleted tweet: https://i.imgur.com/ai6ntjt.png
178.
by dharmaturtle 5y ago
Are we blaming listicles on Google now? There's plenty of shit to throw at Google (Timnit Gebru). Let's not dilute concrete criticisms with bland whatevers like "turned much of the internet into a cesspit".