Search: github.com/mit-pdos | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

1.

Ask HN: Examples of Microkernels?

80 points

4 years ago

2.

Xv6 for RISC-V (github.com/mit-pdos)

114 points

7 years ago

3.

Dynamically changing, partially-stateful data-flow database written in Rust (github.com/mit-pdos)

87 points

6 years ago

4.

Biscuit operating system written in Go (github.com/mit-pdos)

8 points

5 years ago

5.

Xv6 for RISC-V (github.com/mit-pdos)

5 points

4 years ago

6.

Noria: data-flow for high-performance web applications (github.com/mit-pdos)

5 points

8 years ago

7.

Biscuit: monolithic, Posix-subset operating system kernel in Go for x86-64 CPUs (github.com/mit-pdos)

4 points

8 years ago

8.

Noria: data-flow for high-performance web applications, with mysql compatibility (github.com/mit-pdos)

4 points

8 years ago

9.

Noria: Data-flow for high-performance web applications (github.com/mit-pdos)

3 points

2 years ago

10.

Biscuit Research OS in Go (github.com/mit-pdos)

3 points

7 years ago

11.

Xv6: MIT's Re-Implementation of Unix Version 6 (github.com/mit-pdos)

3 points

10 years ago

12.

DaisyNFS is a formally verified NFS server (github.com/mit-pdos)

2 points

4 years ago

13.

Noria: Data-flow for high-performance web applications (github.com/mit-pdos)

2 points

5 years ago

14.

Noria: Dynamically changing, partially-stateful data-flow for web back ends (github.com/mit-pdos)

2 points

7 years ago

15.

Noria: Data-flow for high-performance web applications (github.com/mit-pdos)

2 points

7 years ago

16.

Noria: SQL based dataflow materialized views for web applications (github.com/mit-pdos)

2 points

7 years ago

17.

Biscuit Research OS in Go (github.com/mit-pdos)

2 points

8 years ago

18.

Biscuit: Monolithic, POSIX-Subset OS Kernel in Go for X86-64 CPUs (github.com/mit-pdos)

2 points

8 years ago

19.

Tell HN: PR GitHub Actions don't run over your commit by default

3 points

3 years ago

20.

Show HN: Srclight – Deep code indexing MCP server (FTS5 and Tree-sitter)

1 point

3 months ago