andreypopp

5 ms·

1.
by andreypopp 4mo ago
Cmd+Tab works on iOS on iPad, when keyboard is connected, not sure about iPhones
2.
by andreypopp 1y ago
try clickhouse-local, it's amazing how it can crunch JSON/TSV or whatever at great speed
3.
by andreypopp 1y ago
> this also seems a way to declare types for your own code in an external file, thus keeping your code as runnable Lua and benefiting from type checking too The declaration file isn't used to typecheck the code the declaration is fo
4.
by andreypopp 2y ago
checkout http://docopt.org then
5.
by andreypopp 3y ago
Would be interesting to know what’s the plan regarding supporting effects in melange. IIRC jsoo (the another OCaml to JS compiler) is doing some whole program analysis to compile to efficient CPS.
6.
by andreypopp 3y ago
Does it (Dart, C#) support exhaustivity checking for such matching over subclasses?
7.
by andreypopp 3y ago
Agreed here, it's impressive how easy it is to use and how performant it is. Would be nice to add a seamless ability to call executable UDFs from clickhouse-local, last time I checked clickhouse-local required executables to be in a sp
8.
by andreypopp 3y ago
OCaml has a similar thing but purely on syntactic level — http://jobjo.github.io//2019/04/24/ocaml-has-some-new-shiny-...
9.
by andreypopp 4y ago
BQN brings back joy of programming for me — I was using it for Advent Of Code 2021 and it was so much fun. Also check out BQNPAD[1], the online BQN REPL built with codemirror (syntax highlighting, history). [1]: https://bqnpad.me
10.
by andreypopp 4y ago
To be honest it seems vim/neovim ticks all those points already.
11.
by andreypopp 4y ago
CodeMirror 6 is an awesome piece of software and very flexible — I was even able to build a notebook UI with it — https://bqnpad.mechanize.systems/notebook — this is a notebook (WIP) for BQN[1]. The nice thing is that the w
12.
by andreypopp 4y ago
It's very cool to see ngn/k on the HN front page. After the recent AoC which I've attempted to solve with BQN[1] (another array language) I've got interested in array languages and now exploring K too. K seems like a nic
13.
by andreypopp 4y ago
It's impressive that the entire thing is in pl/pgsql (apart from parsing). Have you considered any other implementation strategies (C native extension, any other pl/* or maybe running an out of PostgreSQL process which does G
14.
by andreypopp 5y ago
Lua in nginx can you get very far in my experience.
15.
by andreypopp 5y ago
> What’s wrong with opam? I'd say the main problem is that local switches and lock files are still not the default mode of operation. Also opam lacks a global cache of built packages which esy provides (esy's cache is modelled
16.
by andreypopp 5y ago
Specification isn't being followed is of course useless. But yeah, tests are definitely useless and in the absence of the spec is the only sane way to approach such rewrite.
17.
by andreypopp 5y ago
Well... How many paid work hours spent on tsc? Then does TypeScript have a formal language specification? I'm pessimistic it's possible to rewrite tsc with full compat (bug-to-bug, otherwise it doesn't really make much sense)
18.
by andreypopp 5y ago
Given the recent posts about compile-to-SQL languages, I thought I'd post here a link to FunSQL.jl which is another interesting point in the design space and which, I think, has quite a few really useful design decisions. The library p
19.
FunSQL.jl – Julia library for compositional construction of SQL queries(github.com)
25 points by andreypopp 5y ago|1 comments
20.
by andreypopp 5y ago
FunSQL.jl requires Julia to run (obviously as it is a Julia library) but it produces standard SQL so Julia in this case is just an implementation language. I have re-implemented parts of FunSQL in Python and OCaml (the one I have ended up u
21.
by andreypopp 5y ago
I’m learning BQN while solving AoC puzzles. While this is my first array language and I cannot compare with others I like BQN very much: - excellent documentation - small but excellent community - context free grammar - good text editor sup
22.
by andreypopp 5y ago
See "Kindly Bent to Free Us" https://dl.acm.org/doi/pdf/10.1145/3408985
23.
by andreypopp 5y ago
Upcoming OCaml multicore won't expose effects at all. I believe the intention is to finish work on typed effects[1] and only then add it to the language. [1]: https://www.janestreet.com/tech-talks/effective-program
24.
by andreypopp 6y ago
:ALEHover
25.
PyPy Support for OS X arm64(mail.python.org)
1 points by andreypopp 6y ago|0 comments
26.
by andreypopp 6y ago
That’s a different thing. In some cases the whole table needs to be replaced. Then inserts into UNLOGGED tables are still much faster than into regular tables (even if there wasn’t a DELETE before).
27.
by andreypopp 6y ago
Yeah, transactional DDL is a good thing, the potential problem with this solution though — if you have views pointing to the old table they won’t be updated with the new table and you will have to deal with them as well.
28.
by andreypopp 6y ago
Such workflows with scheduled DELETE/INSERT often mean that the data is "derived", there's unlogged tables feature for that in PostgreSQL. Table configured with unlogged are not being written to WAL and thus generate muc
29.
by andreypopp 6y ago
What would be nice is to add to this a way to plug language specific semantic analysers. Then it could be possible to do queries like "which commits did changes to a specific function" and so on.
30.
by andreypopp 6y ago
Checkout https://github.com/prometheusresearch/baseline-codebase/tree... which does that. Very happy about how it works.

More ›