H_tec – Telegram

H_tec

2 subscribers

2 photos

1 file

65 links

Alltec info and news, crypto news, and interesting code-related thingies

Download Telegram

About

Blog

Apps

Platform

https://blog.ploeh.dk/2019/04/29/catamorphisms/

A catamorphism is a general abstraction that enables you to handle multiple values, for example in order to reduce them to a single value.

4 views01:42

https://stackoverflow.com/questions/841696/please-explain-in-the-simplest-most-jargon-free-english-possible-the-universa

Please explain in the simplest, most jargon-free English possible, the "universal property of fold"?

I am working through "Real World Haskell", which led to to a free PDF called "A tutorial on the universality and expressiveness of fold". It makes the point that a "fold" is "universal". I am wrest...

4 views16:57

https://stackoverflow.com/questions/6941904/recursion-schemes-for-dummies

Recursion schemes for dummies?

I'm looking for some really simple, easy-to-grasp explanations of recursion schemes and corecursion schemes (catamorphisms, anamorphisms, hylomorphisms etc.) which do not require following lots of ...

5 views21:00

https://jtobin.io/time-traveling-recursion

5 views21:03

https://stackoverflow.com/questions/39628510/sml-folding-a-tree

Sml folding a tree

I am trying to get the product of a tree by using the fold function so far this is what I have. I am confused on how to use the fold method while transversing the tree

datatype 'a bin_tree = Leaf...

5 views21:14

http://www.cs.ox.ac.uk/people/nicolas.wu/publications/Histomorphisms.pdf

5 views21:26

https://www.youtube.com/watch?v=cWAHpvkh8Vs

Why Elixir Matters: A Genealogy of Functional Programming

Members of the Elixir community often receive the question: “why should we use Elixir?” The answer to this nuanced question remains elusive, and this talk argues that the answer is not primarily technical. This talk argues that answering this question, as…

4 views23:54

https://exercism.io/

Learn, practice and get world-class mentoring in over 50 languages. 100% free.

4 views01:13

https://www.linkedin.com/pulse/myth-sufficiently-smart-engineer-aaron-blohowiak/

The Myth of the Sufficiently Smart Engineer

Through my career writing software and observing people in companies large and small I have come to recognize a myth shared by many software engineers and managers; the Myth of the Sufficiently Smart Engineer. This myth is a misguided belief that engineers…

6 views04:43

https://www.youtube.com/watch?v=PVDKhxLTGzc

An Introduction to Category Theory

5 views13:41

https://www.youtube.com/watch?v=JH_Ou17_zyU

A Crash Course in Category Theory - Bartosz Milewski

Bartosz Milewski (http://twitter.com/@bartoszmilewski)

Programming is math and math is programming. But the kind of math that's useful in programming is not what they teach you in school. In fact it's much more interesting. Category theory seems to be esoteric…

3 views13:42

https://www.youtube.com/watch?v=eis11j_iGMs

Lambda Calculus - Computerphile

The basis of almost all functional programming, Professor Graham Hutton explains Lambda Calculus.

http://www.facebook.com/computerphile
https://twitter.com/computer_phile

This video was filmed and edited by Sean Riley.

Computer Science at the University…

3 views15:05

https://www.youtube.com/watch?v=ZhuHCtR3xq8

Brian Beckman: Don't fear the Monad

Cross posted from msdn's channel 9.

Functional programming is increasing in popularity these days given the inherent problems with shared mutable state that is rife in the imperative world. As we march on to a world of multi and many-core chipsets, software…

4 views15:05

https://www.youtube.com/watch?v=3VQ382QG-y4

Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript

Fullstack Academy was recently ranked the #1 coding bootcamp in the U.S. Learn more at https://www.fullstackacademy.com

The Lambda Calculus is a symbol manipulation system which suffices to calculate anything calculable. This branch of pure mathematics forms…

5 views20:24

https://www.youtube.com/watch?v=9T8A89jgeTI

Essentials: Functional Programming's Y Combinator - Computerphile

Encoding recursion in the Lambda calculus, one of Professor Graham Hutton's favourite functions.

Lambda Calculus: https://youtu.be/eis11j_iGMs
Professor Brailsford on 'Pointers': Coming Soon!

Many thanks to Microsoft Research UK for their support with…

5 views20:25

Esta señora aprendió a programar a los 81 años
https://www.linkedin.com/posts/activity-6714884623140306944-pUfv

Pascal BORNET on LinkedIn: #inspiration #Technology | 139 comments

There is no age to start coding!

Masako Wakamiya is 84 years old. She wanted to create fun apps for senior people of her age. So she learnt how to code... 139 comments on LinkedIn

10 views16:31

https://imgs.xkcd.com/comics/git_commit.png

12 views16:58

https://www.theatlantic.com/technology/archive/2017/03/aristotle-computer/518697/

How Aristotle Created the Computer

The philosophers he influenced set the stage for the technological revolution that remade our world.

15 views18:01

https://bitcoinmagazine.com/articles/the-great-plague-of-shitcoinery

Bitcoin Magazine: Bitcoin News, Articles, Charts, and Guides

The Great Plague Of Shitcoinery

Bitcoin is not only the only genuine possibility of divorcing money from the State, but it is a paradigm shift that is already quite advanced and inevitable.

17 views00:37

https://www.filo.news/actualidad/La-UNLP-desarrollara-una-mega-impresora-3D-para-construir-viviendas-sociales-20201017-0016.html

La UNLP desarrollará una mega impresora 3D para construir viviendas sociales

La Facultad de Ingeniería de la Universidad Nacional de La Plata, trabajará en el diseño y será fabricada por primera vez en el país por el Astillero Río Santiago.

20 views02:10

“Unbelievably there are still some financial ‘experts’ and financial watchdogs who believe that cryptocurrencies are not the future of money. The decision by one of the biggest payment companies in the world to allow customers to buy, sell and hold Bitcoin is yet another example that exposes Bitcoin deniers and cryptocurrency cynics as being on the wrong side of history”

19 views16:16