Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by rwosync

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

Home

Home Newest Best Ask Show Jobs

Resources

HackerNews API Original HackerNews Next.js

© 2025 TechEcho. All rights reserved.

1

What I Wish I Knew When Learning Haskell 2.0

11 pointsby rwosyncabout 11 years ago

2

Reverse Engineering Machines with the Yoneda Lemma (2006)

7 pointsby rwosyncabout 11 years ago

3

JSON validation combinators

3 pointsby rwosyncabout 11 years ago

4

Formally Verified Mathematics

4 pointsby rwosyncabout 11 years ago

5

General Purpose Programming with Dependent Types [video]

3 pointsby rwosyncabout 11 years ago

6

Brutal Introduction to Dependent Types

2 pointsby rwosyncabout 11 years ago

7

CLaSH: A functional hardware description language

87 pointsby rwosyncabout 11 years ago

8

AngularJS integration with Haskell

46 pointsby rwosyncabout 11 years ago

9

Implementing a JIT Compiled Language with Haskell and LLVM

207 pointsby rwosyncover 11 years ago

10

Implementing a JIT Compiled Language with Haskell and LLVM

3 pointsby rwosyncover 11 years ago

11

Clang 3.4 Release Notes

64 pointsby rwosyncover 11 years ago

12

Odd Odd Even Proof in Agda

41 pointsby rwosyncalmost 12 years ago

13

Haskell for Web Developers

128 pointsby rwosyncalmost 12 years ago

14

Monads Made Difficult

139 pointsby rwosyncalmost 12 years ago

15

Zen - A new Python graph theory library

3 pointsby rwosyncalmost 12 years ago

16

Understanding the Yoneda Lemma

8 pointsby rwosyncalmost 12 years ago

← Previous Next →