solomonb

23 ms·

421.
by solomonb 5y ago
According to your link that was a limited production run from 2013 to 2016 and $31,000 is a far cry from the Chery QQ's $5000 price tag. You may be technically correct about the previous poster's claims, but that says nothing to t
422.
by solomonb 5y ago
its not just that they are physical objects. They are physical objects in a physical space in which you are a part. Yes you can "walk around" in VR but that isn't remotely the same as walking around in real life. Beyond that,
423.
by solomonb 5y ago
Not for me. Paintings are so much more the just images. They are physical objects in dialog with space and culture. This generates a tremendous amount of context that cannot be captured in a photograph. In other words, no camera will ever c
424.
by solomonb 5y ago
Ok so this video is fun but it is showing the very standardized process for edible mushroom cultivation. There really isn't much automation going on here.
425.
by solomonb 5y ago
This is literally what the book being reviewed in the linked article (and summarized in the linked article) is about.
426.
by solomonb 5y ago
I'm sorry but I fail to see what reality you are pointing out. Yes there are homeless in LA. Same with many places. You are commenting on a post about the _experience_ of living in Los Angeles without--by your own admission--having vis
427.
by solomonb 5y ago
I grew up in Hollywood and have lived in Los Angeles most of my life. I hated it growing up but upon returning had an experience of rediscovering my home town and finding I love it. My favorite part of LA is something that is sadly gone wit
428.
by solomonb 5y ago
No offense, but your comment sounds like you only know LA from what you read in your social media bubble online. The "Hollywood" you are referencing is not geographic. Yes the film studios are in Los Angeles but hollywood celebrit
429.
by solomonb 5y ago
I grew up in Hollywood. The secret is to not try to do multiple outings across town in one day. You have to treat all the different neighborhoods as individual cities and just go somewhere for the day. Once rush hour hits, just expect to st
430.
by solomonb 5y ago
oh lol. I attempted to submit this myself and HN redirects to the pre-existing post without a notification. My mistake.
431.
by solomonb 5y ago
Title was changed upon submission. Should be "How Free Monads Yield Extensible Effects."
432.
That One Cool Reader Trick(blog.cofree.coffee)
1 points by solomonb 5y ago|0 comments
433.
A Brief Intro to Monad Transformers(blog.cofree.coffee)
1 points by solomonb 5y ago|0 comments
434.
by solomonb 5y ago
There will certainly be less developers in the Haskell vs Go vs Javascript communities. However, you probably only need to find a few developers regardless of the language you are using. :) That said, hiring Haskell engineers has its pros a
435.
by solomonb 5y ago
Lenses are definitely not necessary to do what you want here. In haskell, you typically keep the JSON data to the very periphery of your program. You would probably have some Request with a ToJSON instance and Token types such as: dat
436.
by solomonb 5y ago
I can't speak for F#, but in Haskell we typically use the Aeson library for working with JSON data. You define a custom type to represent your JSON data and then you write a parser to go from JSON data serialized as `ByteStrings` into
437.
by solomonb 5y ago
I seperate my compostables as well. I don't even use a trash bag in my bin anymore. My trash bin fill up so slowly that I go months without taking it to the street.
438.
by solomonb 5y ago
I thought Haskell Wingman would be an interesting counterpoint to Github's Copilot. Wingman uses a Tactics engine to synthesize code for the developer in a way that is perhaps a lot more controlled and meaningful then using some deep l
439.
Wingman for Haskell: Focus on the important stuff; delegate the rest(haskellwingman.dev)
6 points by solomonb 5y ago|2 comments
440.
by solomonb 5y ago
Yeah I agree that Idris itself would be much too large, however you could write a much smaller Lambda Pi that could still enable a lot of nice features.
441.
by solomonb 5y ago
Ok I did a really shallow search of the smart contract space and it looks like the trend is towards creating simple languages that are easy to reason about and formalize their semantics. Simplicity seems to be the best example of this. With
442.
by solomonb 5y ago
yes this is what I was implying. I am curious how else the previous commenter would interpret my statement.
443.
by solomonb 5y ago
I get where you are coming from but this is a highly adversarial environment where huge amounts of other people's money is at stake with a history of very clever hacks. This looks like precisely the sorts of systems where you ought to
444.
by solomonb 5y ago
Are there even any dependently typed smart contract languages that would allow you to encode and carry proofs in your contracts? Without that I think the best you could do is model your program in some other formal verification system and t
445.
by solomonb 5y ago
Because you presumably want to find bugs in applications that are not smart contracts.
446.
by solomonb 5y ago
This sounds like a fallacy of the inverse. Those contracts not being hacked yet is no proof that they are resistant to hacks.
447.
by solomonb 5y ago
I do a lot of home gardening. In my front yard I have four 10x5' raised beds for annuals. I setup drip tape on a timer and mulch with straw. Beyond that I do almost zero work to maintain the plants. Occasional weeding when I see weeds
448.
by solomonb 5y ago
I've always found Arrowized FRP to be really nice to work with.
449.
by solomonb 5y ago
There are anerobic composting methods that are even more passive then what is described in the article. For example, in Bokashi composting you innoculate your organic matter with a blend of anerobic microbes (primarily Lacto Bacillus) store
450.
by solomonb 5y ago
I read this series a while back as it was being written. It is absolutely fantastic! As a ham radio person and a lifelong tinkerer, it is very exciting to read such a well thought out history computing as it relates to the telegraph, the te

More ›