Top all-time · #3857
Stack Builders
Company blog · stackbuilders.com/news · on HN as jslprogrammingwebai
Stack Builders is the company blog at stackbuilders.com, writing about programming, web and ai. Since 2012, 20 different Hacker News readers have linked it 82 times, most often “GHC optimization and fusion”. No feed was found, so read it on the site itself.
Too few sampled comments (6) to say how often HN recommends it.?
Why HN links it
HN commenters link Stack Builders posts as examples or background for points on Idris proofs, ATS verification, GHC fusion and Haskell in WebAssembly. The comments cite the posts without judging their writing.
Summarised by Claude from a sample of 6 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Stack Builders delivers custom AI software, legacy modernization, and technology consulting. 200+ projects. 2-week guarantee.
Most-linked posts?
- GHC optimization and fusion2 people · 2 mentions · first linked 2016-11-29
- A tutorial on connecting a Haskell back end to a PureScript front end2 people · 2 mentions · first linked 2017-07-20
- Welcome Deno Does this mean goodbye to Node.js?2 people · 2 mentions · first linked 2020-10-27
- The Hidden Costs of Microservices2 people · 2 mentions · first linked 2015-04-23
What Hacker News says?
> For example I can prove my my string reverse works in Idris ( https://www.stackbuilders.com/news/reverse-reverse-theorem-p... ). This article basically demonstrates GP point, though. It proves that `reverse` is self-inverse, but there are lots and lots of functions that are self-inverse (for example, `x -> x` is self-inverse. As would be the function that swaps any odd-index element with the one following it). The…
Comment linking /news/reverse-reverse-theorem-p...
on “Diminishing returns of static typing”Submitted Concurrent Haskell in the real world as a story · 99 points
HN discussionIt depends on your type system. In new languages like Idris or F* you can encode in the type the correctness of an algorithm and it will not compile if the compiler can not prove that correctness. For example I can prove my my string reverse works in Idris ( https://www.stackbuilders.com/news/reverse-reverse-theorem-p... ). Or I could prove that my function squares all elements in a list. Etc. Now a big part of the…
Comment linking /news/reverse-reverse-theorem-proving-with-idris
on “Diminishing returns of static typing”Submitted Maintainable web endpoints with Haskell and ATS as a story · 36 points
HN discussionNew York, NY / Colombia (South America) - Stack Builders FULLTIME Stack Builders is a consulting company primarily focused on building large applications for our clients in Ruby on Rails. We're also experimenting with languages like Clojure for future projects. We have teams in both New York and Colombia and are looking for top developers in both areas. We're looking for engineers who can not only build applications…
Comment linking /careers
on “Ask HN: Who is Hiring? (April 2012)”Submitted The Uncommon Advantage from Training in Unpopular Programming Languages as a story · 32 points
HN discussionStack Builders is hiring Ruby and Clojure developers in NYC and Colombia, South America. http://stackbuilders.com
Comment linking /
on “Ask HN: Who is hiring? (December 2012) ”Submitted Can Haskell power the next Ruby on Rails? as a story · 29 points
HN discussionI wrote some things a few years ago on ATS. Its introductory but real world: https://www.stackbuilders.com/news/specific-endpoints . Generally ATS is good for verifying pure algorithms. It has code generators which can compile ATS to C and JS and the like. So if you have a very crucial piece of code and you want to do some formal verification of the process then you can try to use ATS. Other than that its completely…
Comment linking /news/specific-endpoints
on “The ATS Programming Language”Submitted From Type Theory to Haskell in 10 Minutes as a story · 24 points
HN discussionThere are a lot of people claiming they did it with Haskell (e.g. https://www.stackbuilders.com/blog/wasm-and-cloudflare-worke... ). But the compilers don't claim to support it. I am still to make sense of it.
Comment linking /blog/wasm-and-cloudflare-workers/
on “From a WebAssembly Perspective”Submitted GHC Generics Explained as a story · 8 points
HN discussionLuckily for haskellers, GHC does a thing called fusion, which is an optimization that pipes together different operations on data, and avoids allocating intermediate results. ( https://www.stackbuilders.com/tutorials/haskell/ghc-optimiza... )
Comment linking /tutorials/haskell/ghc-optimization-and-fusion/
on “Fast software is a discipline, not a purpose”Submitted GHC optimization and fusion as a story · 8 points
HN discussionJust an idea: this or something similar could be utilized to generate test vectors, for property based testing [0]. Also for model-based testing, if you consider the model to be a vector of actions [1] Currently, AFAIK, property based testing relies on mostly random generation of input vectors. It's possible to "shape" those vectors into other data structures such as trees [2] and it's the way it's usually done, but…
Comment linking /blog/a-quickcheck-tutorial-generators/
on “Show HN: MarkovJunior, PPL based on pattern matching and constraint propagation”Submitted A tutorial on connecting a Haskell back end to a PureScript front end as a story · 6 points
HN discussionSubmitted Dr. Hakyll: Create a GitHub Page with Hakyll and CircleCI as a story · 6 points
HN discussionSubmitted The Rise of the ETA Stack as a story · 5 points
HN discussionSubmitted Having fun with Emacs in Haskell as a story · 5 points
HN discussionSubmitted Stack Builders' Haskell Hangout with Eric Jones Part 1 as a story · 5 points
HN discussionSubmitted Hasktorch: LibTorch Haskell bindings for deep learning using FFI as a story · 4 points
HN discussionSubmitted Increasing confidence in WebAssembly code with formal verification as a story · 4 points
HN discussionSubmitted Creating a GUI Application in Haskell as a story · 4 points
HN discussionSubmitted Bring your Haskell types to Reason as a story · 4 points
HN discussionSubmitted Hapistrano, a deployment tool for Haskell Projects (improved) as a story · 4 points
HN discussionSubmitted BEM and maintainable CSS as a story · 4 points
HN discussionSubmitted How to Create a GUI Application in Haskell (with GTK+ and Glade) as a story · 4 points
HN discussionSubmitted Reverse, Reverse: Theorem Proving with Idris as a story · 4 points
HN discussionSubmitted A QuickCheck Tutorial: Generators as a story · 4 points
HN discussionSubmitted The Hang of Elm: Hangman and Functional Programming with Elm as a story · 4 points
HN discussion
