huahaiy

4 ms·

1.
by huahaiy 18d ago
81%is nothing. It is not hard to be more than 3x better than Postgres [1]. And you don’t need a model to do that, let alone a 4B model. How much additional compute is needed to just run that model? [1] https://github.com/dat
2.
Datalevin 1.1.0: Top Performance Across Data Models(yyhh.org)
1 points by huahaiy 27d ago|0 comments
3.
by huahaiy 1mo ago
Thank you for the interest and support.
4.
by huahaiy 1mo ago
Datalevin seems to fit the bill https://datalevin.org/docs First paragraph of preface: “SQL has been the default language of application databases for half a century. That default is now holding application state back. Data
5.
by huahaiy 1mo ago
Datalog exists and there are so many implementations.
6.
by huahaiy 1mo ago
Agree. Especially when Datalog queries are simpler to write and faster to run than SQL, there is a strong reason to at least try it.
7.
by huahaiy 2mo ago
Why not?
8.
by huahaiy 2mo ago
So this really is a NL to query translation problem. That exactly is why the target language matters. Simpler target languages makes AI’s work easier, as it saves tokens and context, so it is less likely for AI to make mistakes.
9.
by huahaiy 2mo ago
AI programming using English makes the database query language choice more important than before. Different languages require different context sizes. A better language is one requires less tokens and context.
10.
by huahaiy 2mo ago
I am the author of Datalevin, a Datalog database. In addition to using it in production personally, I am aware of other people using it. So, the answer is yes.
11.
by huahaiy 2mo ago
It is older than C. It is based on COBOL era idea of structured English as a computer language. There are better alternatives, e.g. Datalog.
12.
by huahaiy 2mo ago
Agree. Datalog could be a better alternative: https://datalevin.org/docs/preface
13.
AI Coding Has Erased the Supposed Advantage of Statically Typed Languages(yyhh.org)
4 points by huahaiy 2mo ago|2 comments
14.
by huahaiy 2mo ago
Doesn’t seem to work on code, where there is often little choices
15.
by huahaiy 2mo ago
Writing about Postgres internals and managing a Postgres cluster is the extent of your database expertise? You are not self aware enough to know that doesn’t earn any trust?
16.
Show HN: Datalevin – a simple, fast, and versatile Datalog database(github.com)
8 points by huahaiy 3mo ago|0 comments
17.
by huahaiy 6mo ago
I am glad you enjoyed it. I am happy to report that the next release will have many new features: Raft consensus based high availability (comes with an extensive Jepsen test suite); built-in MCP server; built-in llama.cpp for in DB embeddin
18.
by huahaiy 6mo ago
I have been using AI to write Clojure code this past half year. The frontline LLM has no problem with writing idiomatic Clojure code. Both Codex and Claude Code fix their missing closing parentheses quickly. So I won't say "Writin
19.
SQLite in Production? Not So Fast for Complex Queries(yyhh.org)
5 points by huahaiy 8mo ago|0 comments
20.
Triple Store, Triple Progress: Datalevin Posited for the Future(yyhh.org)
1 points by huahaiy 9mo ago|0 comments
21.
by huahaiy 9mo ago
https://yyhh.org
22.
by huahaiy 10mo ago
Wonderful. Looking forward to it.
23.
by huahaiy 10mo ago
Very nice. Is there a plan to have an EDN writer in C as well?
24.
by huahaiy 2y ago
I wrote my library this way for both performance AND type checking reasons. You cannot tell me the reasons why I wrote my code my way. That is just absurd. In any case, it is possible to write Clojure in a way that is type checked at comp
25.
by huahaiy 2y ago
But if you add type hint in the signature, it does check the type. Basically, if you specify the type, it will check type. Just like any language that is not automatically inferring types, e.g. Java. So it is the same as Java. You guys m
26.
by huahaiy 2y ago
That has nothing to do with types. You are now talking about when a compiler is run. Clojure gives you the option to run the compiler at runtime, so that's what people normally do. However, you can also run the compiler at compile time
27.
by huahaiy 2y ago
deftype IS a Java class, it's not compiled into something else. What is a Clojure function? A Clojure function is a Java class. Clojure is a compiled language, so it does check types, just like Java check types. So if you use defproto
28.
by huahaiy 2y ago
Then you are not writing in defprotocol everywhere style. The keyword is everywhere. All the domain objects are deftype or defrecord. Try that. It is the same as Java, basically. It is not an anti pattern, it is the way most low level libra
29.
by huahaiy 2y ago
No, defprotocol and deftype have the same properties as Java interface and Java classes, and the types are checked at compile time. This is static typing. Period. Clojure is a compiled language, it does check typing during compilation.
30.
by huahaiy 2y ago
Nobody would argue that Java is not statically typed. That's my point. Clojure offers the same as what Java offers. If you write code in a defprotocol everywhere style, as many Clojure libraries do, your code won't compile if you

More ›