Hacker News: dons

New comment by dons in "Glean – System for collecting, deriving and querying facts about source code"

dons — Tue, 31 Aug 2021 14:10:57 +0000

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-like things. You can accurately query JavaScript or Rust or PHP or Python or C++ with a common interface, which is a bit nuts :D

New comment by dons in "Glean – System for collecting, deriving and querying facts about source code"

dons — Tue, 31 Aug 2021 11:39:13 +0000

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 the network for symbol information about the current file, then shows that on hover. That sort of thing.

New comment by dons in "Glean – System for collecting, deriving and querying facts about source code"

dons — Tue, 31 Aug 2021 11:28:38 +0000

A bit of both I think.

New comment by dons in "Glean – System for collecting, deriving and querying facts about source code"

dons — Tue, 31 Aug 2021 11:18:40 +0000

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 queries, or seeding fuzzers and static analyzers with entry points in code.

Our focus has been on very large scale, multi-language code indexing, and then low latency (e.g. hundreds of micros) query times, to drive highly interactive developer workflows.

Glean – System for collecting, deriving and querying facts about source code

dons — Tue, 31 Aug 2021 09:56:44 +0000

Article URL: https://glean.software/?open

Comments URL: https://news.ycombinator.com/item?id=28365880

Points: 213

# Comments: 81

Scaling Static Analyses at Facebook

dons — Sat, 27 Jul 2019 05:08:46 +0000

Article URL: https://m-cacm.acm.org/magazines/2019/8/238344-scaling-static-analyses-at-facebook/

Comments URL: https://news.ycombinator.com/item?id=20540493

Points: 126

# Comments: 25

New comment by dons in "Programming the Z3 SMT solver"

dons — Wed, 06 Feb 2019 05:07:04 +0000

Solving NP hard problems efficiently.

New comment by dons in "Pyre: Fast Type Checking for Python"

dons — Fri, 11 May 2018 17:26:55 +0000

And "eradicate" for Java... http://fbinfer.com/docs/eradicate.html

we love types. They help us ship stuff faster.

Facebook open-sources RacerD: Fast static race detection at scale

dons — Thu, 19 Oct 2017 16:06:35 +0000

Article URL: https://code.facebook.com/posts/293371094514305

Comments URL: https://news.ycombinator.com/item?id=15509100

Points: 32

# Comments: 0

New comment by dons in "Haskell Typeclasses vs. C++ Classes"

dons — Tue, 17 Oct 2017 15:08:34 +0000

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/

New comment by dons in "Ask HN: Who is hiring? (August 2017)"

dons — Tue, 01 Aug 2017 15:42:54 +0000

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 code is all OCaml. Expertise in C++ is highly desirable. The requirements are roughtly C++ AND (OCaml OR Haskell OR Static Analysis OR Formal Methods).

The work will be mostly open source.

https://www.facebook.com/careers/jobs/a0I1200000LT8aAEAT/

If Your Boss Could Do Your Job, You’re More Likely to Be Happy at Work

dons — Sun, 08 Jan 2017 01:13:01 +0000

Article URL: https://hbr.org/2016/12/if-your-boss-could-do-your-job-youre-more-likely-to-be-happy-at-work

Comments URL: https://news.ycombinator.com/item?id=13347639

Points: 3

# Comments: 0

New comment by dons in "Ask HN: Who is hiring? (August 2016)"

dons — Tue, 02 Aug 2016 08:56:47 +0000

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 tooling.

https://donsbot.wordpress.com/2016/06/03/multiple-haskell-de...

Haskell/HalVM EC2 Unikernel: One Step Haskell Unikernels

dons — Fri, 01 Jul 2016 08:27:35 +0000

Article URL: https://devel.unikernel.org/t/ec2-unikernel-one-step-unikernel-amazon-ec2-ami/167

Comments URL: https://news.ycombinator.com/item?id=12014604

Points: 4

# Comments: 0

New comment by dons in "Ask HN: Who is hiring? (June 2016)"

dons — Fri, 03 Jun 2016 13:56:54 +0000

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 tooling.

https://donsbot.wordpress.com/2016/06/03/multiple-haskell-de...

New comment by dons in "Related: Pure Ruby Relational Algebra Engine"

dons — Tue, 24 May 2016 06:37:19 +0000

We have a typed version now - it's awesome

New comment by dons in "Ask HN: Who is hiring? (March 2016)"

dons — Tue, 01 Mar 2016 15:31:34 +0000

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 code base for trading and risk management. Join a growing team.

New comment by dons in "The category design pattern"

dons — Sun, 08 Nov 2015 14:13:19 +0000

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.

New comment by dons in "Haskell for Mac"

dons — Tue, 25 Aug 2015 10:32:27 +0000

How much is your time worth?

New comment by dons in "How it feels to join an all-Haskell startup"

dons — Fri, 12 Jun 2015 08:47:24 +0000

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 this is simply obfuscation. Even if motivation is good -- learning new structures -- you still have to focus on cost/benefit of each change in structure.

Keep it simple, folks.