isaac21259

5 ms·

1.
Data Types with Negation(bentnib.org)
8 points by isaac21259 4y ago|1 comments
2.
Teaching GHC to Play Minesweeper(github.com)
1 points by isaac21259 4y ago|0 comments
3.
Switching to the meow modal editing system(esrh.me)
2 points by isaac21259 4y ago|0 comments
4.
by isaac21259 4y ago
I was considering this for my programming language but I will most likely not use it because it makes optimisations and garbage collection harder, and the C would not be human readable (just look at the output of the chicken compiler for an
5.
by isaac21259 4y ago
Exponentials come up quite naturally from differential equations because it's often suprisingly useful to talk about something's rate of change in terms of itself. As far as I know there's no similar connection with tetration
6.
by isaac21259 4y ago
To clarify where I live limits are introduced in high school, irrational numbers just much earlier.
7.
by isaac21259 4y ago
That's a pretty far departure from the original "multiplication is just repeated addition". Regardless, I don't think any student would find it helpful to hear "Multiplying two real numbers is simply taking the limi
8.
by isaac21259 4y ago
What about irrational numbers? There's no neat way to view multiplication of two irrational numbers as repeated addition. And even if there were a way I don't think it's a useful way to think or teach after the first couple y
9.
Profunctor Optics: The Categorical View(golem.ph.utexas.edu)
1 points by isaac21259 4y ago|0 comments
10.
How to lie using visual proofs(youtube.com)
4 points by isaac21259 4y ago|0 comments
11.
Löb and möb: strange loops in Haskell(github.com)
4 points by isaac21259 4y ago|0 comments
12.
Löb's Theorem(ncatlab.org)
2 points by isaac21259 4y ago|0 comments
13.
Can one explain schemes to biologists(dam.brown.edu)
1 points by isaac21259 4y ago|0 comments
14.
by isaac21259 4y ago
Dependent type systems don't deal well with non termination. In general you can't prove a program will or won't terminate. The solution is to disallow recursion except through a few eliminators which do recursion in a well fo
15.
(call/cc call/cc) and friends(pavpanchekha.com)
15 points by isaac21259 4y ago|1 comments
16.
Swift type checking is undecidable(forums.swift.org)
3 points by isaac21259 4y ago|0 comments
17.
Surprises in Logic(math.ucr.edu)
51 points by isaac21259 4y ago|5 comments
18.
Base 2048(github.com)
96 points by isaac21259 4y ago|39 comments
19.
by isaac21259 4y ago
The Little Typer by Daniel P. Friedman and David Thrane Christianse. It's basically one long book of examples building on each other to show the semantics of a dependently typed programming language. It inspired me to learn some type t
20.
Renormalizing the Mandelbrot Escape(linas.org)
2 points by isaac21259 4y ago|0 comments
21.
by isaac21259 4y ago
Se also: https://tech-blog.capital-match.com/posts/5-the-reverse-stat...
22.
The Tardis Monad(hackage.haskell.org)
45 points by isaac21259 4y ago|9 comments
23.
by isaac21259 4y ago
Everyone here has been talking about how blog comments add little value. On many blogs they are right. But John D Cook's blog regularly has interesting comments, some of which he'll make posts addressing later. Maybe it's bec
24.
by isaac21259 4y ago
I was also considering writing some introductory stuff about HoTT but I don't think it's possible to avoid talking about topology, homotopy theory, and category theory in depth like you can with, say Haskell and category theory. T
25.
Hexagonal Grids(redblobgames.com)
48 points by isaac21259 4y ago|0 comments
26.
by isaac21259 4y ago
Curious how approachable you think homotopy type theory is to people who think they know better than researchers? Simple type systems would be understandable (Haskell has type systems similar to System F and rust has an affine your system)
27.
by isaac21259 5y ago
[1] Is what (I believe) they were talking about. Rather than configuring these in a sane way you just scan configuration barcodes. I didn't see anything on the list that was too dangerous but you could change the maximum input length o
28.
The Email Servers and Superseeker(oeis.org)
5 points by isaac21259 5y ago|1 comments
29.
I gave a worksheet that was “critique these bad 'disproofs' on Hacker News”(twitter.com)
6 points by isaac21259 5y ago|0 comments
30.
by isaac21259 5y ago
Do you think a significant amount of people who want to run Linux will want it preinstalled for them?

More ›