dons

4 ms·

1.
by dons 5y ago
I think the point in the space Glean hits well is efficiency/latency (enough to power real time editing, like in IDE autocomplete or navigation), while having a schema and query language generic enough to do multiple languages and code
2.
by dons 5y ago
Most clients hit the Glean server via the network (thrift/JSON) and then mostly via language bindings to the Glean query language, Angle. The shell is more for debugging/exploration. Imagine an IDE plugin that queries Glean over t
3.
by dons 5y ago
A bit of both I think.
4.
by dons 5y ago
We use this to power things like find-references or jump-to-def, "symbol search" and autocomplete, or more complicated code queries and analysis (even across languages). Imagine rich LSPs without a local checkout, web-based code q
5.
Glean – System for collecting, deriving and querying facts about source code(glean.software)
213 points by dons 5y ago|81 comments
6.
Scaling Static Analyses at Facebook(m-cacm.acm.org)
126 points by dons 7y ago|25 comments
7.
by dons 8y ago
Solving NP hard problems efficiently.
8.
by dons 8y ago
And "eradicate" for Java... http://fbinfer.com/docs/eradicate.html we love types. They help us ship stuff faster.
9.
Facebook open-sources RacerD: Fast static race detection at scale(code.facebook.com)
32 points by dons 9y ago|0 comments
10.
by dons 9y ago
Lumping state with some functions that implicitly have R/W access to that state is not possible in Haskell s/not possible/possible, but highly discouraged/
11.
by dons 9y ago
Facebook | C++/OCaml static analysis | | London, UK | Onsite | Full time Work extending the open source Infer static analysis suite support for C++. We use Clang for the front-end and have an open role to work on this in general. The c
12.
If Your Boss Could Do Your Job, You’re More Likely to Be Happy at Work(hbr.org)
3 points by dons 10y ago|0 comments
13.
by dons 10y ago
Standard Chartered | London and Singapore | Full-time and Contracting 10+ open positions for Haskell developers in the Strats team at Standard Chartered. 1 open position in the developer efficiency team working on our build system and tooli
14.
Haskell/HalVM EC2 Unikernel: One Step Haskell Unikernels(devel.unikernel.org)
4 points by dons 10y ago|0 comments
15.
by dons 10y ago
Standard Chartered | London and Singapore | Full-time and Contracting 10+ open positions for Haskell developers in the Strats team at Standard Chartered. 2 open positions in the developer efficiency team working on our build system and tool
16.
by dons 10y ago
We have a typed version now - it's awesome
17.
by dons 11y ago
Standard Chartered | ONSITE | Software Engineers (full time) https://donsbot.wordpress.com/2016/02/25/haskell-developer-r... 7+ roles for Haskell developers in London and Singapore working on a large Haskell
18.
by dons 11y ago
Yes, the tech is eating the rest of the business. You need less people after you've turned a lot of the business into an API. I've got four open positions at the moment.
19.
by dons 11y ago
How much is your time worth?
20.
by dons 11y ago
Habitually rewriting things in applicative and/or pointfree is a sure sign of a junior Haskell dev. One who has never had to maintain someone else's code. There are cases where it helps (e.g. structured parsing), but all too often
21.
by dons 11y ago
git was first released in April 2005. We (Haskell community) were using dvcs through darcs for about 2 years prior to that. dvcs made a lot of sense to the Haskell open source world back then, as we didn't have servers, so central repo
22.
by dons 11y ago
Yeah, it could well be that you just care about latency hiding on e.g. network services. For that raw compute and memory is much less important than having a reasonable thread scheduler and cheap threads.
23.
by dons 11y ago
It was fun creating 3M threads on my laptop back in the day. http://www.reddit.com/r/programming/comments/a4n7s/stackless... :) memories!
24.
by dons 11y ago
Faster and less memory intensive[1] and has a type system. [1]: http://benchmarksgame.alioth.debian.org/u64q/compare.php?lan...
25.
China’s stock market bubble: A goring concern(economist.com)
91 points by dons 11y ago|61 comments
26.
by dons 11y ago
> It is very hard to construct a DSL and once established it is cast in stone Not if you're using embedded DSLs, which are basically rich APIs supporting variables and control structures. They can be as fluid as simpler APIs, yet ha
27.
by dons 11y ago
Actually computers can solve many instances of the halting problem. http://en.wikipedia.org/wiki/Microsoft_Terminator
28.
by dons 11y ago
Maybe look at cryptol or kansas-lava as more practically-focused alternatives?
29.
by dons 11y ago
> First let us switch to Haskell for pseudocode as I don’t want to show you the C++ that is required for this. Hehe, but that's actual code. > we may go back to our C++14 code base and implement the ideas there. I’m not going to
30.
by dons 11y ago
Actually wouldn't be a fork. It's just an alternative Prelude library. People do this occasionally. The result tends to be idiosyncratic.

More ›