Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by theaeolist

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

“Abductive” functional programming for machine learning

3 pointsby theaeolistover 7 years ago

2

Can we machine-learn a programming language semantics?

3 pointsby theaeolistalmost 8 years ago

3

Deduction is types. Induction is testing. Abduction is program analysis

2 pointsby theaeolistalmost 8 years ago

4

Reasoning about digital circuits using string diagrams

2 pointsby theaeolistabout 8 years ago

5

OCaml vs. Java in teaching

6 pointsby theaeolistover 8 years ago

6

The void left by Apple

68 pointsby theaeolistover 8 years ago

7

What else are we getting wrong about programming languages?

61 pointsby theaeolistover 8 years ago

8

Categorical semantics for digital circuits

2 pointsby theaeolistover 8 years ago

9

Dana Scott tells the real story of why the lambda in the lambda-calculus

3 pointsby theaeolistabout 9 years ago

10

A short fable of software engineering vs. regular engineering

111 pointsby theaeolistover 9 years ago

11

Quantum mechanics is undecidable ()

1 pointsby theaeolistover 9 years ago

12

Computability: The Greatest Law of Physics

48 pointsby theaeolistover 9 years ago

13

What things compute?

50 pointsby theaeolistover 9 years ago

14

Inventing an algebraic knot theory for eight year olds, part 4: Equations

9 pointsby theaeolistabout 10 years ago

15

Inventing an algebraic knot theory for eight year olds (III)

46 pointsby theaeolistabout 10 years ago

← Previous Next →