cosmic_quanta

7 ms·

61.
by cosmic_quanta 1y ago
I learned using the Haskell Programming from First Principles book (haskellbook.com). I don't think it goes into web development, but it certainly goes through the basic project setup. Do you think you would have benefitted from a reso
62.
by cosmic_quanta 1y ago
The discussion on the PR linked in this post, about upstreaming lazy trees to Nix proper, seems to indicate that some of the benefits also require changing the semantics of the Nix language. I'm not familiar enough with Nix to understa
63.
by cosmic_quanta 1y ago
Interesting, thanks for posting. I share the author's frustration with the lack of non-compiler-related examples of GADT uses. It seems like such a powerful idea, but I haven't been able to get a feel for when to reach for GADTs i
64.
by cosmic_quanta 2y ago
I'm not going to sell you on anything. All of the things you've mentioned are true. Loosely, the multitude of string types and the state of the standard library come from the same place: the language is 30+ years old! There are ma
65.
by cosmic_quanta 2y ago
There's no time like the present. Feel free to reach out if I can help you along your journey
66.
by cosmic_quanta 2y ago
My favourite thing about Haskell concurrency is that there are no colored functions [0]. Writing code in IO, or Async, or the next big thing (asychronous higher-order effect system of the future??), doesn't require language support lik
67.
by cosmic_quanta 2y ago
> sounds like it would be hard to implement a web server handling 10k+ concurrent requests on commodity hardware? In practice, it is not. The canonical Haskell compiler, GHC, is excellent at transforming operations on immutable data, as
68.
by cosmic_quanta 2y ago
The author is thinking of updating the book to a second edition as well. Looking forward to it
69.
by cosmic_quanta 2y ago
> (...) the apparent legitimacy is enhanced by the fact that I used a complicated computer program to make the fit. I understand this is the same process by which the top quark was discovered. This is both hilarious and more common than
70.
by cosmic_quanta 2y ago
Right I get it backwards all the time. I meant firm power
71.
by cosmic_quanta 2y ago
Indeed, the inelasticity is because of the physics. Nonetheless, common terminology in the industry is that the market is inelastic. Regarding nuclear power: it is a great technology for the base load (edit: I mean firm power), but there&#x
72.
by cosmic_quanta 2y ago
Electricity markets are completely inelastic in the absence of storage ability. Negative prices are an indication that the grid needs the ability to absorb surpluses from sources with effectively free fuel (solar, wind). Note that "abs
73.
by cosmic_quanta 2y ago
Best of luck (not being sarcastic). Hacker News celebrates the risk-taking of startups for a reason -- great leaps often requires taking a risky jump. What you're doing is similar. Please post about your experience! I'l love to re
74.
by cosmic_quanta 2y ago
Chicago remains the hub for commodities
75.
by cosmic_quanta 2y ago
While tariffs are on everyone's mind, the key reason is: > Amazon critics are also calling for a boycott following the closure of seven warehouses in Quebec Amazon warehouses in the provice had started unionizing. Incredible coincid
76.
by cosmic_quanta 2y ago
I created a Pandoc filter to render some code blocks into figures for my PhD thesis. This is nice because one does not have to manage text and figures separately. https://github.com/LaurentRDC/pandoc-plot
77.
by cosmic_quanta 2y ago
I always feel warm inside when I hear of concepts in separate fields connecting in some way. Very cool
78.
Modeling dataframes in Haskell using higher-kinded types(laurentrdc.xyz)
2 points by cosmic_quanta 2y ago|0 comments
79.
by cosmic_quanta 2y ago
I'd love to read about your experience doing this!
80.
by cosmic_quanta 2y ago
> The Misty Programming Language is a dynamic, (...), secure, distributed actor language In this day-and-age, dynamic programs should be considered insecure (in the broad sense) by design. There have been lots of efforts in the past ~15
81.
by cosmic_quanta 2y ago
This award is well-deserved! I was inspired by her work in the 2010s and have since used the wavelets to denoise time-series with great success [0]. I believe that learning about wavelet transforms is both beneficial in itself, but also ben
82.
by cosmic_quanta 2y ago
The thing about congestion is that reducing the number of drivers slightly (e.g. 10-20%) could eliminate congestion by 100%! This is the same way it works for electrical congestion. So you need pricing which will make a few people reconside
83.
by cosmic_quanta 2y ago
This work was discussed by the author in the Haskell Interlude podcast as well [0]. Highly recommended and probably easier to digest than a whole dissertation. [0]: https://haskell.foundation/podcast/59/
84.
by cosmic_quanta 2y ago
Edit: I have accepted a new job offer. Thanks HN! --------- Location: Montréal, Canada Remote: Yes, I can do remote, but prefer on-site when possible Willing to relocate: Yes. I speak French and English. Easy to get visa for the US, Europe,
85.
by cosmic_quanta 2y ago
You seem to know quite a bit about Bayesian statistics; anywhere recommendations of reading material specifically about Bayesian inference applied on time series?
86.
by cosmic_quanta 2y ago
I'm currently going through the Statistical Rethinking [0] class on Bayesian statistics, and it reminded me that Bayesian statistics' renaissance was basically thanks to Monte Carlo methods. Such methods can approximate posterior
87.
by cosmic_quanta 2y ago
I recall hearing about this a while back, and how the team at Meta had implemented hotswapping to deploy new rules, without redeploying the entire executable, even though the rules were expressed in a Haskell DSL. Unfortunately, I have neve
88.
by cosmic_quanta 2y ago
I'm not familiar with GPUs specifically, but I have seen this for ORMs that support multiple SQL dialects (e.g. [0]). A great technique is called 'tagless final encoding' [1]. Using this technique, you can specify capabilitie
89.
by cosmic_quanta 2y ago
Nowadays there are "language editions" (e.g. GHC2024) packing many stable language extensions together. It's definitely safe to turn those on, from a maintenance point of view. Edit: Link to docs: https://ghc.gitla
90.
by cosmic_quanta 2y ago
Location: Montréal, Canada Remote: I can, but prefer on-site Willing to relocate: Yes. Easy to get visa for US + Commonwealth countries (NZ, UK, Aus, etc) Technologies: Haskell, Python, Rust (been a while though), SQL, Git. Résumé/CV:

More ›