Home 24h Top Newest Best Ask Show Jobs

Back to Profile

Submissions by formalsystem

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

How to Build Robots at Home

2 pointsby formalsystemover 5 years ago

2

Can Deep Learning solve my problem? A type theoretic heuristic

2 pointsby formalsystemover 5 years ago

3

How to Build Robots at Home

3 pointsby formalsystemover 5 years ago

4

How to Build Robots at Home

2 pointsby formalsystemover 5 years ago

5

A Brief Visual History of Mathematics

2 pointsby formalsystemover 5 years ago

6

Roguelike Tutorial – In Rust

2 pointsby formalsystemover 5 years ago

7

A Brief Visual History of Mathematics

6 pointsby formalsystemover 5 years ago

8

A history of the mathematical theory of probability

2 pointsby formalsystemover 5 years ago

9

On the Phenomenon of Bullshit Jobs: A Work Rant by David Graeber

2 pointsby formalsystemover 5 years ago

10

Ask HN: Good long form presentation of the history of probability theory

1 pointsby formalsystemover 5 years ago

11

A layered grammar of graphics [pdf]

2 pointsby formalsystemover 5 years ago

12

Visualizing complex analytic functions using domain coloring

3 pointsby formalsystemover 5 years ago

13

Isaac SDK

2 pointsby formalsystemover 5 years ago

14

The Moral Character of Cryptographic Work [pdf]

2 pointsby formalsystemover 5 years ago

15

What have we learned from market design (2007) [pdf]

2 pointsby formalsystemalmost 6 years ago

16

Open-Sourced Blueprints for Civilization

6 pointsby formalsystemalmost 6 years ago

17

Modia3d.jl: Modeling and Simulation of 3D Systems

2 pointsby formalsystemalmost 6 years ago

18

Rustarok: Multiplayer, fast-paced Moba style game

1 pointsby formalsystemalmost 6 years ago

19

LSTM Patent

1 pointsby formalsystemalmost 6 years ago

← Previous Next →