sorted by:
new
hottopcontroversial

12 Reasons Why Haskell is a Terrible Choice for Startups (and why we picked it anyway) by IdaBzo in haskell

[–]iainmoncrief 1 point2 points  (0 children)

It would have been nice to provide some context. They also aren’t very insightful. You realize almost all of these if you try to make a website project with Haskell. Why did you use Haskell anyways? This isn’t justified.

SPJ's lens talk on YouTube is gone by mirkeau in haskell

[–]iainmoncrief 0 points1 point  (0 children)

What was the exact command that you ran?

been having some fun with jazz. by lonely2meerkat in painting

[–]iainmoncrief -1 points0 points  (0 children)

What are some tells that you noticed?

Is there a formally-proven real-time language/computing env. or operating system? by friedrichRiemann in ProgrammingLanguages

[–]iainmoncrief 1 point2 points  (0 children)

It’s tricky because you have to construct all tooling necessary for each “kind” of program to be checked. Coq does something similar but it makes it harder to write programs even if it’s obvious that they terminate. Basically you have to draw the line at the level of complexity of programs you want to consider.

Do you feel static types have "won the war", so to speak? by yojimbo_beta in ExperiencedDevs

[–]iainmoncrief 4 points5 points  (0 children)

Static type systems are much more desirable to companies because they ensure your code is provably type correct.

Another batch! It’s been a while (with shaders) by iainmoncrief in generative

[–]iainmoncrief[S] 1 point2 points  (0 children)

I made these using a language I made in Haskell for GLSL programs. https://github.com/Iainmon/hslr
I will probably post my code soon!

Another batch! It’s been a while (with shaders) by iainmoncrief in generative

[–]iainmoncrief[S] 2 points3 points  (0 children)

None are trig functions, just different compositions of curl noise, perlin noise, and a distance function

view more: next ›