kdb
dex-lang
Our great sponsors
kdb | dex-lang | |
---|---|---|
7 | 25 | |
402 | 1,535 | |
1.5% | 0.1% | |
4.0 | 8.8 | |
18 days ago | 4 days ago | |
HTML | Haskell | |
Apache License 2.0 | BSD 3-clause "New" or "Revised" License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
kdb
-
Function Composition in Programming Languages – Conor Hoekstra – CppNorth 2023 [video]
> And later array languages have mostly abandonned the crazy names in favour of actual words
Sharing this without comments:
https://github.com/KxSystems/kdb/blob/master/c/c/k.h
- Want cleaner code? Use the rule of six
-
If risc-v is successful, no need of those backdoor injectors which are compilers anymore (and absurd and grotesque bloats). Just write risc-v assembly without abusing the macro preprocessor.
ah, I see you too are a disciple of the kdb school
-
if you code in J for 6 months, you will no longer think in loops, and if you stay with it for 2 years, you will see that looping code was an artifact of early programming languages, ready to be displayed in museums along with vacuum tubes
Ah, after all these years, you've finally found it: a worthy opponent for kdb source code.
- An oral history of Bank Python
-
Breaking into q/kdb+
I am an experienced developer with 10+ years in various other languages (c++/python/ some scala). I am interested in getting into q/kdb+ after a recommendation from a friend in the industry. Does anyone out there have any suggestions on how to break into the industry Ive done the courses on https://code.kx.com/ and read a few suggested books but cant find any officially recognised certs I could get, and practical experience is limited ! Im not sure even id hire myself into such a role
-
Are you interested in learning about low latency zero allocation programming?
For the curious, when I first ran into it it looked like this. That is not minified code, it's how people who write K write Java code. It was expected you would take that file and include it in your sources somewhere. The KDB protocol is actually very simple, basically writes out the types with a type tag, length and then the data in binary.
dex-lang
-
Thinking in an Array Language
A really nice approach to this I've seen recently is Google's research on [Dex](https://github.com/google-research/dex-lang).
- Function Composition in Programming Languages – Conor Hoekstra – CppNorth 2023 [video]
- Dex Lang: Research language for array processing in the Haskell/ML family
-
[D] Have their been any attempts to create a programming language specifically for machine learning?
Dex
-
[D] PyTorch 2.0 Announcement
Have you tried Dex? https://github.com/google-research/dex-lang It is in a relatively early stage, but it is exploring some interesting parts of the design space.
- Mangle, a programming language for deductive database programming
-
Looking for languages that combine algebraic effects with parallel execution
I think [Dex](https://github.com/google-research/dex-lang) might be along the lines of what you're looking for, although its focus is on SIMD GPU-style parallelism rather than thread-level parallelism.
-
“Why I still recommend Julia”
Dex proves indexing correctness without a full dependent type system, including loops.
See: https://github.com/google-research/dex-lang/pull/969
-
Haskell for Artificial Intelligence?
In case you want to see one research direction that's combining practical machine learning and functional programming, one of the authors of JAX (and the main author of its predecessor, Autograd) is writing Dex (https://github.com/google-research/dex-lang), a functional language for array processing. The compiler itself is written in Haskell. JAX is one of the most popular libraries for doing a lot of machine learning these days, along with Tensorflow and PyTorch. You might also want to see the bug in the JAX repo about adding Haskell support, for some context: https://github.com/google/jax/issues/185
What are some alternatives?
arctic - High performance datastore for time series and tick data
jax - Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
sqlite_http_csv - simulation kdb+ http behavior for sqlite.
futhark - :boom::computer::boom: A data-parallel functional programming language
Agrona - High Performance data structures and utility methods for Java
julia - The Julia Programming Language
cinder - Cinder is Meta's internal performance-oriented production version of CPython.
Pytorch - Tensors and Dynamic neural networks in Python with strong GPU acceleration
jsource - J engine source mirror
hasktorch - Tensors and neural networks in Haskell
javakdb - Using Java with kdb+
CIPs