-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathfree-ideas.html
71 lines (68 loc) · 3.89 KB
/
free-ideas.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
<!DOCTYPE html>
<html>
<head>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link href="old.css" rel="stylesheet">
</head>
<body>
<main>
<header>
<nav>
<h2>
<marquee>
<a href="index.html">← Max Bo</a>
</marquee>
</h2>
</nav>
<h1>Free ideas</h1>
</header>
Inspired by Will Crichton's <a href="https://willcrichton.net/#good-ideas-for-free">Good Ideas for Free</a> and YCombinator's <a href="https://www.ycombinator.com/rfs">Requests for Startups</a>.
<ul>
<li>
CI verification platform for AI-powered robot simulations. Think 1 part <a href="https://silogy.io/">Silogy</a>, 1 part <a href="https://github.com/Farama-Foundation/Gymnasium">OpenAI Gymnasium</a>, 1 part <a href="https://www.elodin.systems/">Elodin</a>.
</li>
<li>
Publicly hosted Slack-clone where people use it to follow microblogs. Similar to Gitter.
</li>
<li>
<a href="https://www.youtube.com/watch?app=desktop&v=dCuZkaaou0Q">Computer Science Metanotation</a> as a programming language. Kinda already done by <a href="https://shen-language.github.io/">Shen</a>.
</li>
<li>
Autocreated servers from an uploaded/drag-and-dropped Jupyter notebook with
<a href="https://jupyter-kernel-gateway.readthedocs.io/en/latest/http-mode.html">notebook-http</a>
mode.
</li>
<li>
It's an IDL language (like Protocol Buffers) that has:
<ul>
<li>
Something like the <code>asymmetric</code> safe schema evolution extensions from <a href="https://github.com/stepchowfun/typical">typical</a>. I think they may have screwed up its implementation for <code>choice</code> - it should have prevented the production of a <code>choice</code> member rather than requiring a fallback.
</li>
<li>
Something like the inbuilt type-checker and refinement types from <a
href="https://cuelang.org/docs/concepts/logic/">CUE</a>
</li>
<li>
Something like the language-agnostic data validation runtime of <a href="https://github.com/google/cel-spec">CEL</a> (with schema substitutability checked by the type-checker)
</li>
<li>
Some binary encoding format (like the <a href="https://protobuf.dev/programming-guides/encoding">Protocol Buffers encoding format</a> or <a href="https://flatbuffers.dev/">Flat Buffers</a>) AND JSON encoding format that share similar semantics, so that you can use the same schema for both binary and JSON encoding.
</li>
<li>
No deserialization defaults.
</li>
<li>
Support for closed unions (abstract base class with a sealed set of subclasses), and open unions (TypeScript style). You'd be able to move fields between the abstract base class and the subclasses in closed unions, but not in open unions.
</li>
<li>
Enforced "semantic IDs" - e.g. fields with different names have to have different IDs in a closed union context.
</li>
<li>
Some stuff from <a href="https://trpc.io/">tRPC</a>. I dunno how that's going to work, but they've really nailed RPCs for TypeScript. It would be cool to have the rich tRPC-style schema modelling across any language.
</li>
</ul>
</li>
</ul>
</main>
</body>
</html>