type-lambda

4 ms·

1. 1.▲
   Self Hosting Coding LLMs(blog.samibadawi.com)

   5 points by type-lambda 2mo ago|0 comments
2. 2.▲
   by type-lambda 9mo ago

   Yes I was surprised how capable Lean 4 is for general programming. I know, I have written about Idris before, but I have not used it for a while. Glean is getting a lot of buzz, it is on my to do list. :D
3. 3.▲
   Competitive Pure Functional Languages(blog.samibadawi.com)

   4 points by type-lambda 9mo ago|2 comments
4. 4.▲
   Many Languages Should You Program In(blog.samibadawi.com)

   2 points by type-lambda 7y ago|0 comments
5. 5.▲
   Haskell IDE 2020(blog.samibadawi.com)

   4 points by type-lambda 7y ago|0 comments
6. 6.▲
   Haskell and Hadoop the Aftermath(blog.samibadawi.com)

   4 points by type-lambda 7y ago|0 comments
7. 7.▲
   F# vs. Scala(blog.samibadawi.com)

   1 points by type-lambda 7y ago|0 comments
8. 8.▲
   Typed Functional Languages 2019(blog.samibadawi.com)

   4 points by type-lambda 7y ago|0 comments
9. 9.▲
   Starter Project for TensorFlow.js in TypeScript for Node.js(github.com)

   2 points by type-lambda 8y ago|0 comments
10. 10.▲
    VM, Lambda, Kubernetes and Terraform Best Practice(blog.samibadawi.com)

    3 points by type-lambda 8y ago|0 comments
11. 11.▲
    ML and Data in AWS, Azure and GCP(blog.samibadawi.com)

    2 points by type-lambda 8y ago|0 comments