Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
jamii
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
jamii
2mo ago
> The AI built-out is by far the fastest growing energy consumer in the world, and they’re being built with fossil fuels, or drawing green energy demand away from replacing the fossil fuels depended on by other industries. This paragraph
2.
▲
Artificial Adventures
(scattered-thoughts.net)
25 points
by
jamii
3mo ago
|
2 comments
3.
▲
I'm Not a Cat
(scattered-thoughts.net)
5 points
by
jamii
3mo ago
|
1 comments
4.
▲
by
jamii
5mo ago
> It seems like either one evaluates the contents of the `box`, and would only make a difference if you tried to use `x` afterwards? More or less. x^ moves the whole box whereas x* copies the contents of the box. > Awkwardly, it also
5.
▲
by
jamii
5mo ago
> The goal is that most of your code can have the assurances of static typing, but you can still opt in to dynamically-typed glue code to handle repls, live code reloading, runtime code generation, malleable software etc.
6.
▲
Borrow-checking without type-checking
(scattered-thoughts.net)
91 points
by
jamii
5mo ago
|
32 comments
7.
▲
Borrow-Checking Surprises
(scattered-thoughts.net)
1 points
by
jamii
5mo ago
|
0 comments
8.
▲
by
jamii
9mo ago
Wasm-mvp is very simple, especially if you drop the floating point instructions. But WAMR supports a lot of extensions - https://github.com/bytecodealliance/wasm-micro-runtime?tab=r... . There is a garbage collector, ji
9.
▲
Do We Understand SQL?
(youtube.com)
2 points
by
jamii
10mo ago
|
0 comments
10.
▲
by
jamii
1y ago
My bad :)
11.
▲
by
jamii
1y ago
EDIT I totally missed the context
12.
▲
by
jamii
1y ago
I've tried using binaryen, and I've also tried emitting raw wasm by hand, and the latter was far easier. It only took ~200 lines of wasm-specific code.
13.
▲
by
jamii
1y ago
Yeah, json is annoying because of the limited types, but postgres arrays/rows are annoying because of the lack of sum/union types (if your UI has a heterogenous list of elements). The OLAP world has much nicer type systems eg htt
14.
▲
by
jamii
1y ago
One of the dynamics is that people get older so they move into different buckets. We can make the model way simpler to make it clearer. Say in 2020 we hired 1000 20-24yo, 1000 25-29yo etc and then we didn't hire anyone since then. That
15.
▲
by
jamii
1y ago
I made a stupid simple model where hiring in all age brackets rose slowly until 2021 and then fell slowly. That produces very similar looking graphs, because the many engineers that were hired at the peak move up the demographic curve over
16.
▲
by
jamii
1y ago
The ... is the useful part. We actually want that string, so we can't avoid allocating it. But the &str at the end is an additional heap allocation and causes an additional pointer hop when using the string. The only reason the fun
17.
▲
Store Tags After Payloads
(scattered-thoughts.net)
3 points
by
jamii
1y ago
|
0 comments
18.
▲
by
jamii
1y ago
I'm curious if any languages other than swift do this.
19.
▲
by
jamii
1y ago
I don't think Austral uses second-class references. Even the page you linked says: > But is it worth it? Again, the tradeoff is expressivity vs. simplicity... Austral’s linear types and borrowing is already so simple. Austral’s equi
20.
▲
by
jamii
2y ago
> it solves the actual problem perfectly The whole post was about how that doesn't solve the problem perfectly - there is no way to interactively edit the output. > by embracing LISP principles directly This could just as easily
21.
▲
by
jamii
2y ago
This is an old prototype. I ended up making a language for it from scratch so that I could attach provenance metadata to values, making them directly editable even when far removed from their original source. https://www.scattere
22.
▲
by
jamii
2y ago
Worth mentioning that all the talks are published at https://www.hytradboi.com/2025/#program .
23.
▲
HYTRADBOI 2025 post-mortem
(scattered-thoughts.net)
4 points
by
jamii
2y ago
|
2 comments
24.
▲
by
jamii
2y ago
Worth mentioning that all the talks are published at https://www.hytradboi.com/2025/#program .
25.
▲
"Enough with All the Raft" by Alex Miller
(hytradboi.com)
5 points
by
jamii
2y ago
|
0 comments
26.
▲
A quick ramp-up on ramping up quickly in SpiderMonkey
(hytradboi.com)
3 points
by
jamii
2y ago
|
0 comments
27.
▲
Programming Without Pointers
(hytradboi.com)
8 points
by
jamii
2y ago
|
0 comments
28.
▲
by
jamii
2y ago
Here's the program ( https://www.hytradboi.com/2025/#program ): 0900-1000: Compilers "Database query compilation: our journey" by Thomas Neumann & Viktor Leis "A YJIT interview" by Max
29.
▲
Show HN: Hytradboi DB/PL conference starts tomorrow
(bsky.app)
2 points
by
jamii
2y ago
|
1 comments
30.
▲
Other Kinds of Talks
(scattered-thoughts.net)
2 points
by
jamii
2y ago
|
0 comments
More ›