morganstanley/hobbes on Hacker News

…of type class constraints (so no runtime penalty for overloading) and uses LLVM for the back-end: http://github.com/morgan-stanley/hobbes/ We used it for processing and analyzing billions of events per day. Using structural algebraic types…

comment by kthielen · 2024-09-14 · in Haskell Postgres Stored Procedures

…for qualified types in ML. I made this project ~10 years ago after making similar observations: https://github.com/morganstanley/hobbes Things like structural equality and ordering are user functions here rather than magic internal…

comment by kthielen · 2023-04-25 · in My thoughts on OCaml

…catch on, I think. I built a similar typed PL and compiler for Morgan Stanley back in 2013: https://github.com/morganstanley/hobbes

comment by kthielen · 2022-07-09 · in APL and Array Programming

…into stage-1 programs that compile down to stage-2 programs (so a similar kind of stratification): https://github.com/morganstanley/hobbes It looks like this method is aimed at doing user pattern-matching on expressions in the first stage,…

comment by kthielen · 2022-05-10 · in Show HN: Peridot – A functional language based on two-level type theory

…trading systems where a significant fraction of US equity trades execute every day: https://github.com/Morgan-Stanley/hobbes/

comment by kthielen · 2020-11-11 · in InfluxDB is betting on Rust and Apache Arrow for next-gen data store

Shameless plug, I made hobbes and used it in high volume trading systems at Morgan Stanley: https://github.com/Morgan-Stanley/hobbes It’s kind of a structurally-typed variant of Haskell, integrates closely with C++, produces very fast code.

comment by kthielen · 2020-05-19 · in Fast high-level programming languages

…a lot of mileage out of deriving the schema from code. Shameless plug, I have this little project ( https://github.com/Morgan-Stanley/hobbes/ ) where we have a self-contained header-only library to push structured data out of process with…

comment by kthielen · 2020-03-16 · in How to Evangelize a Programming Language

…maps to C++ data well, and built a Haskell-like PL (and JIT compiler built on LLVM) to process it: https://github.com/Morgan-Stanley/hobbes/ The logging part is just a single self-contained header-only lib, so very easy to incorporate in…

comment by kthielen · 2020-03-14 · in Do not log

…types and an embedded JIT compiler!), checkout the excellent Hobbes project from Morgan Stanley: https://github.com/Morgan-Stanley/hobbes

comment by willtim · 2020-03-13 · in K Language (2011)

…sacrificing performance, but I eventually hit the same issues with exchanging structured data: https://github.com/Morgan-Stanley/hobbes I split out structured logging into a single header-only lib, structured RPC into a single header-only…

comment by kthielen · 2020-02-19 · in Programmer's critique of missing structure of operating systems

…setting we can have any structured types (rather than just primitives). That’s why I built hobbes: https://github.com/Morgan-Stanley/hobbes

comment by kthielen · 2020-02-11 · in Is a Dataframe Just a Table? (2019) [pdf]

The language is quite interesting https://github.com/Morgan-Stanley/hobbes#evaluation : e. g. anonymous variants, isorecursive types.

comment by lelf · 2019-12-27 · in Hobbes – A Language and an Embedded JIT Compiler

Morgan Stanley in recent years has used this where they’d previously used kdb: https://github.com/Morgan-Stanley/hobbes From the article, it sounds like the Kx folks are working on the issues that led to the development of hobbes in the…

comment by kthielen · 2019-12-01 · in Shakti, the new data platform from Arthur Whitney

…header-only views from C/C++ (for native access to files, network IPC, shared mem structures, ...): https://github.com/Morgan-Stanley/hobbes

comment by kthielen · 2019-11-12 · in The Next 50 Years of Databases (2015)

Hobbes is also a very interesting framework. [0] [0] https://github.com/Morgan-Stanley/hobbes

comment by codekilla · 2019-10-26 · in Dex: A research language for array processing in the Haskell/ML family

…a similar library for writing data into memory mapped files, also a self-contained header-only lib: https://github.com/Morgan-Stanley/hobbes/blob/master/include... This one also serializes a representation of the type structure of recorded…

comment by kthielen · 2018-10-20 · in Mio – Cross-platform header-only C++11 library for memory-mapped file IO

…and also with complex type/binding requirements (where a direct structural type system is needed): https://github.com/Morgan-Stanley/hobbes

comment by kthielen · 2018-08-21 · in Learn You a Haskell for Great Good

…reconstruct it. It's much easier to make sense of logs when we don't discard that type structure. https://github.com/Morgan-Stanley/hobbes#storage

comment by kthielen · 2018-07-11 · in DeepLog: Anomaly Detection and Diagnosis from System Logs (2017) [pdf]

…a small header-only lib to efficiently record "log data" with inferred schemas into shared memory: https://github.com/Morgan-Stanley/hobbes#storage Basically, in this view, the type for recorded log data is a variant over all possible log…

comment by kthielen · 2018-07-10 · in Ask HN: Have you ever chosen Postgres over Mongo and regretted it?

…with you on this. I have a bidirectional binding process in my hobbes project at Morgan Stanley ( https://github.com/Morgan-Stanley/hobbes ) such that C/C++ functions can be viewed as hobbes functions and hobbes functions can be viewed as…

comment by kthielen · 2018-05-30 · in Depressing and faintly terrifying days for the C standard [pdf]

…instead of having to mess around with text. That’s what we do here anyway, it’s worked well for us: https://github.com/Morgan-Stanley/hobbes/blob/master/README....

comment by kthielen · 2018-03-17 · in Mute uninteresting log noise with machine learning

…in hobbes, it's free and open source, and we use it with some very large/complex data sets: https://github.com/Morgan-Stanley/hobbes The PL is a little different (very similar to Haskell), interoperation with C/C++ is much more direct, and…

comment by kthielen · 2018-03-03 · in K programming language (2005)

…data types and live querying out of them with Haskell-like comprehensions/pattern-matching/etc: https://github.com/Morgan-Stanley/hobbes

comment by kthielen · 2017-12-22 · in Building a Distributed Log from Scratch, Part 1: Storage Mechanics

…the fact that q is untyped has a severe impact on its safe use in large and complex projects. (ETA: https://github.com/Morgan-Stanley/hobbes )

comment by kthielen · 2017-11-18 · in Kdb+ and Python: EmbedPy and PyQ

https://github.com/Morgan-Stanley/hobbes

comment by kthielen · 2017-11-18 · in Kdb+ and Python: EmbedPy and PyQ

…Stanley and have a PL/compiler for real-time index construction and query processing on top ( https://github.com/Morgan-Stanley/hobbes ). In addition to the general model of log writing + reactive processing, I've also found that we spend…

comment by kthielen · 2017-09-01 · in LogDevice: a distributed data store for logs